uction that abstracts a Rule
     from a Case and a Fact.

(Case)   D =&gt; B,   Thebes vs Phocis is a battle between neighbors.

(Fact)   D =&gt; A,   Thebes vs Phocis is adverse to all.

(Rule)   B =&gt; A,   A battle between neighbors is adverse to all.

2.   The final step is a Deduction that applies this Rule
     to a Case to arrive at a Fact.

(Case)   C =&gt; B,   Athens vs Thebes is a battle between neighbors.

(Rule)   B =&gt; A,   A battle between neighbors is adverse to all.

(Fact)   C =&gt; A,