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