The cow chases the mouse. The cow eats the lion. The cow is rough. The cow sees the lion. The lion chases the cow. The lion eats the cow. The mouse sees the cow. If someone eats the mouse then they are rough. If the mouse chases the lion then the lion eats the mouse. If someone sees the cow and the cow eats the lion then they chase the lion.
The cow does not chase the lion.
@0: The cow chases the mouse.[(triple1)] The cow eats the lion.[(triple2)] The cow is rough.[(triple3)] The cow sees the lion.[(triple4)] The lion chases the cow.[(triple5)] The lion eats the cow.[(triple6)] The mouse sees the cow.[(triple7)] @1: The mouse chases the lion.[(((triple7 triple2) -> rule3))] @2: The lion eats the mouse.[(((((triple7 triple2) -> rule3)) -> rule2))] @3: The lion is rough.[(((((((triple7 triple2) -> rule3)) -> rule2)) -> rule1))]