 Z, to arrive at a Fact, the demonstrative
conclusion X =&gt; Z.

Contrasted with this pattern, induction takes a Fact of the form X =&gt; Z
and matches it with a Case of the form X =&gt; Y to guess that a Rule is
possibly in play, one of the form Y =&gt; Z.

Cast on the same template, abduction takes a Fact of the form X =&gt; Z
and matches it with a Rule of the form Y =&gt; Z to guess that a Case is
presently in view, one of the form X =&gt; Y.

In its original usage a statement of Fact has to do with
a d