The bear chases the cow. The bear visits the cow. The cow chases the mouse. The cow is big. The cow is nice. The cow is rough. The cow is young. The mouse chases the cow. The mouse is blue. The mouse sees the cow. If the cow is big and the cow visits the mouse then the cow sees the mouse. If something is nice then it is young. If the bear visits the cow and the bear chases the mouse then the bear visits the mouse. If something chases the cow then it chases the bear. If something is blue and it sees the mouse then it is rough. If something chases the bear then it chases the mouse.
The bear visits the mouse.
@0: The bear chases the cow.[(triple1)] The bear visits the cow.[(triple2)] The cow chases the mouse.[(triple3)] The cow is big.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow is young.[(triple7 OR ((triple5) -> rule2))] The mouse chases the cow.[(triple8)] The mouse is blue.[(triple9)] The mouse sees the cow.[(triple10)] @1: The bear chases the bear.[(((triple1) -> rule4))] The mouse chases the bear.[(((triple8) -> rule4))] @2: The bear chases the mouse.[(((((triple1) -> rule4)) -> rule6))] The mouse chases the mouse.[(((((triple8) -> rule4)) -> rule6))] @3: The bear visits the mouse.[(((triple2 ((((triple1) -> rule4)) -> rule6)) -> rule3))]