r against neighbors&quot;.

(Fact)   D =&gt; A,   &quot;Thebes vs Phocis is bad&quot;.

(Rule)   B =&gt; A,   &quot;War against neighbors is bad&quot;.

Next, the Fact to be proved is deduced from the application of
this Rule to the present Case.

(Case)   C =&gt; B,   &quot;Athens vs Thebes is war against neighbors&quot;.

(Rule)   B =&gt; A,   &quot;War against neighbors is bad&quot;.

(Fact)   C =&gt; A,   &quot;Athens vs Thebes is bad&quot;.

In practice, of course, it would probably take a mass of
comp