The bear sees the cow. The cat needs the mouse. The cat sees the cow. The cat visits the bear. The cat visits the mouse. The cow needs the bear. The mouse sees the cow. If the cat visits the bear then the bear is big.
The cat does not need the mouse.
@0: The bear sees the cow.[(triple1)] The cat needs the mouse.[(triple2)] The cat sees the cow.[(triple3)] The cat visits the bear.[(triple4)] The cat visits the mouse.[(triple5)] The cow needs the bear.[(triple6)] The mouse sees the cow.[(triple7)] @1: The bear is big.[(((triple4) -> rule1))]