The cat eats the cow. The cat eats the squirrel. The cat likes the cow. The cow is big. The cow likes the mouse. The cow needs the squirrel. The mouse needs the cow. The squirrel eats the cat. The squirrel is young. The squirrel needs the cow. If someone eats the cat then the cat needs the mouse. If the squirrel likes the mouse and the mouse is young then the squirrel eats the cow. If someone is young then they need the squirrel. If someone eats the cat then they need the squirrel. If someone eats the squirrel then they need the squirrel. If someone is big then they eat the squirrel. If someone is kind and they need the cow then the cow needs the squirrel. If someone is rough then they eat the cat.
The cow does not eat the cat.
@0: The cat eats the cow.[(triple1)] The cat eats the squirrel.[(triple2)] The cat likes the cow.[(triple3)] The cow is big.[(triple4)] The cow likes the mouse.[(triple5)] The cow needs the squirrel.[(triple6 OR ((((triple4) -> rule6)) -> rule5))] The mouse needs the cow.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cat needs the mouse.[(((triple8) -> rule1))] The cat needs the squirrel.[(((triple2) -> rule5))] The cow eats the squirrel.[(((triple4) -> rule6))] The squirrel needs the squirrel.[(((triple8) -> rule4) OR ((triple9) -> rule3))]