Dialogue rules
Implication:
If P claims ? ? ?, O can attack by claiming ?.
P must then claim ? or attack ?.
Negation:
If P claims ?, O can attack by claiming ? ?.
P has no answer.
? There are many possible variations, resulting in different notions of logical consequence.