The cat eats the cow. The cat is young. The cow eats the mouse. The cow is cold. The cow is nice. The cow is rough. The cow needs the cat. The cow needs the mouse. The cow visits the mouse. The mouse needs the cat. The mouse needs the tiger. The mouse visits the cow. The tiger eats the cow. The tiger is cold. The tiger is young. The tiger needs the mouse. If someone visits the mouse then the mouse needs the cow. If the mouse is round then the mouse visits the cow. If someone needs the tiger and they eat the cow then they need the mouse. If someone needs the tiger then the tiger eats the mouse. If someone is young then they need the cat. If someone visits the mouse and the mouse needs the tiger then the tiger visits the cat.
The cat does not need the mouse.
@0: The cat eats the cow.[(triple1)] The cat is young.[(triple2)] The cow eats the mouse.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow needs the cat.[(triple7)] The cow needs the mouse.[(triple8)] The cow visits the mouse.[(triple9)] The mouse needs the cat.[(triple10)] The mouse needs the tiger.[(triple11)] The mouse visits the cow.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is cold.[(triple14)] The tiger is young.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The cat needs the cat.[(((triple2) -> rule5))] The mouse needs the cow.[(((triple9) -> rule1))] The tiger eats the mouse.[(((triple11) -> rule4))] The tiger needs the cat.[(((triple15) -> rule5))] The tiger visits the cat.[(((triple9 triple11) -> rule6))]