cont.d - 2
Let's assume fact-1 to be known.
By means of the rule we can assert for sure fact-2.
Let's assume fact-2 to be known.
By means of the rule we can hypothesize fact-1.
Let's assume fact-1 and fact-2 to be known.
By means of the rule, we can provide a plausible explanation of the status of the two facts.