The cow chases the squirrel. The cow eats the mouse. The cow is big. The cow is round. The cow needs the mouse. The mouse chases the rabbit. The mouse eats the cow. The rabbit chases the mouse. The squirrel chases the rabbit. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is round. The squirrel is young. The squirrel needs the cow. The squirrel needs the rabbit. If something chases the rabbit and it needs the rabbit then the rabbit chases the mouse. If the rabbit needs the mouse and the mouse eats the squirrel then the squirrel chases the rabbit.
The cow does not need the mouse.
@0: The cow chases the squirrel.[(triple1)] The cow eats the mouse.[(triple2)] The cow is big.[(triple3)] The cow is round.[(triple4)] The cow needs the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse eats the cow.[(triple7)] The rabbit chases the mouse.[(triple8 OR ((triple9 triple16) -> rule1))] The squirrel chases the rabbit.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel needs the rabbit.[(triple16)]