The cow chases the mouse. The cow is cold. The cow needs the mouse. The cow does not visit the tiger. The mouse chases the cow. The mouse chases the rabbit. The rabbit needs the mouse. The tiger chases the cow. The tiger is nice. The tiger visits the cow. The tiger visits the mouse. The tiger visits the rabbit. If something is nice then it needs the rabbit. If the cow is nice and the cow does not need the mouse then the cow is big. If something needs the cow then the cow visits the mouse. If something chases the tiger then it visits the mouse. If something chases the rabbit then it chases the mouse. If something is big and it chases the tiger then it needs the cow. If something visits the tiger then it is cold. If something needs the rabbit then the rabbit needs the cow.
The cow does not need the mouse.
@0: The cow chases the mouse.[(triple1)] The cow does not visit the tiger.[(triple4)] The cow is cold.[(triple2)] The cow needs the mouse.[(triple3)] The mouse chases the cow.[(triple5)] The mouse chases the rabbit.[(triple6)] The rabbit needs the mouse.[(triple7)] The tiger chases the cow.[(triple8)] The tiger is nice.[(triple9)] The tiger visits the cow.[(triple10)] The tiger visits the mouse.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The mouse chases the mouse.[(((triple6) -> rule5))] The tiger needs the rabbit.[(((triple9) -> rule1))] @2: The rabbit needs the cow.[(((((triple9) -> rule1)) -> rule8))] @3: The cow visits the mouse.[(((((((triple9) -> rule1)) -> rule8)) -> rule3))]