The cow is young. The cow needs the mouse. The mouse needs the cow. The squirrel visits the cow. The squirrel visits the tiger. The tiger is blue. The tiger is rough. The tiger needs the mouse. The tiger visits the mouse. The tiger visits the squirrel. If something is cold then it eats the squirrel. If something needs the tiger then it needs the cow. If something needs the tiger then it visits the tiger. If something is young and green then it visits the tiger. If something is blue then it eats the tiger. If something eats the cow then the cow is blue. If something visits the tiger then it needs the cow. If something eats the tiger then it is cold.
The tiger does not eat the squirrel.
@0: The cow is young.[(triple1)] The cow needs the mouse.[(triple2)] The mouse needs the cow.[(triple3)] The squirrel visits the cow.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger is blue.[(triple6)] The tiger is rough.[(triple7)] The tiger needs the mouse.[(triple8)] The tiger visits the mouse.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel needs the cow.[(((triple5) -> rule7))] The tiger eats the tiger.[(((triple6) -> rule5))] @2: The tiger is cold.[(((((triple6) -> rule5)) -> rule8))] @3: The tiger eats the squirrel.[(((((((triple6) -> rule5)) -> rule8)) -> rule1))]