The cow chases the mouse. The cow eats the lion. The cow eats the mouse. The cow is young. The cow sees the lion. The cow sees the mouse. The lion eats the cow. The lion is not young. The mouse eats the cow. The mouse eats the lion. The mouse sees the cow. The mouse sees the lion. If something eats the mouse then the mouse does not chase the lion. If something chases the cow then it sees the mouse.
The cow sees the mouse.
@0: The cow chases the mouse.[(triple1)] The cow eats the lion.[(triple2)] The cow eats the mouse.[(triple3)] The cow is young.[(triple4)] The cow sees the lion.[(triple5)] The cow sees the mouse.[(triple6)] The lion eats the cow.[(triple7)] The lion is not young.[(triple8)] The mouse eats the cow.[(triple9)] The mouse eats the lion.[(triple10)] The mouse sees the cow.[(triple11)] The mouse sees the lion.[(triple12)] @1: The mouse does not chase the lion.[(((triple3) -> rule1))]