The cow chases the squirrel. The cow eats the squirrel. The cow eats the tiger. The mouse is kind. The mouse needs the cow. The mouse does not need the squirrel. The squirrel eats the mouse. The tiger chases the mouse. The tiger is cold. The tiger is not young. If the squirrel needs the mouse then the squirrel eats the mouse. If something eats the tiger then it does not need the mouse. If the cow does not need the mouse then the cow does not eat the mouse.
The tiger does not eat the mouse.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow eats the tiger.[(triple3)] The mouse does not need the squirrel.[(triple6)] The mouse is kind.[(triple4)] The mouse needs the cow.[(triple5)] The squirrel eats the mouse.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger is not young.[(triple10)] @1: The cow does not need the mouse.[(((triple3) -> rule2))] @2: The cow does not eat the mouse.[(((((triple3) -> rule2)) -> rule3))]