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