The cow chases the mouse. The cow is big. The cow needs the squirrel. The mouse is big. The mouse needs the squirrel. The squirrel is round. The squirrel needs the mouse. If the mouse needs the cow then the mouse chases the squirrel. If someone chases the cow and the cow visits the squirrel then they need the cow. If someone needs the cow then they need the mouse. If someone needs the mouse then the mouse needs the cow. If someone needs the squirrel and the squirrel is green then they chase the mouse. If the cow is rough and the cow visits the squirrel then the squirrel visits the mouse.
The mouse does not need the squirrel.
@0: The cow chases the mouse.[(triple1)] The cow is big.[(triple2)] The cow needs the squirrel.[(triple3)] The mouse is big.[(triple4)] The mouse needs the squirrel.[(triple5)] The squirrel is round.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The mouse needs the cow.[(((triple7) -> rule4))] @2: The mouse chases the squirrel.[(((((triple7) -> rule4)) -> rule1))] The mouse needs the mouse.[(((((triple7) -> rule4)) -> rule3))]