n in schematic symbols and
in more verbose but descriptive phrases.

Abduction of a Case:

Fact:     C =&gt; (A),     In the current situation, the bus is not arriving.
Rule:     H =&gt; (A),     If it is a holiday, the bus would not be arriving.
----------------------------------------------------------------------------
-
Case:     C =&gt;  H ,     Perhaps the current situation is a holiday.

Once again, the validity of this abduction as a form of reasoning, in the
only way
that its form of non-demonstrat