 would follow from the consequence
of his precipitate explanation.  Thus, he now reflects on the
Case just assumed,

(Case)   C =&gt; B,   &quot;the Current situation is just Before it rains&quot;.

He looks up to scan the sky, perhaps in a random search for further
information, but since the sky is a logical place to look for details
of an imminent rainstorm, symbolized in our story by the letter B,
we may safely suppose that our reasoner has already detached the
consequence of the abductive Case, C =&gt; 