The cow does not chase the rabbit. The cow chases the squirrel. The cow is blue. The cow is red. The cow is round. The cow needs the dog. The cow needs the squirrel. The cow visits the dog. The cow does not visit the squirrel. The dog does not need the squirrel. The dog visits the rabbit. The rabbit needs the dog. The squirrel is big. The squirrel is rough. The squirrel visits the dog. If something chases the cow then the cow visits the rabbit. If something needs the cow then the cow chases the squirrel. If something needs the rabbit then the rabbit needs the dog. If something needs the rabbit and the rabbit chases the dog then it visits the squirrel. All big things are blue. If something is rough then it does not chase the squirrel. If something is blue then it visits the cow. If something visits the dog and it does not need the squirrel then the squirrel does not chase the rabbit.
The squirrel needs the rabbit.
@0: The cow chases the squirrel.[(triple2)] The cow does not chase the rabbit.[(triple1)] The cow does not visit the squirrel.[(triple9)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow needs the dog.[(triple6)] The cow needs the squirrel.[(triple7)] The cow visits the dog.[(triple8)] The dog does not need the squirrel.[(triple10)] The dog visits the rabbit.[(triple11)] The rabbit needs the dog.[(triple12)] The squirrel is big.[(triple13)] The squirrel is rough.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The cow visits the cow.[(((triple3) -> rule7))] The squirrel does not chase the squirrel.[(((triple14) -> rule6))] The squirrel is blue.[(((triple13) -> rule5))] @2: The squirrel visits the cow.[(((((triple13) -> rule5)) -> rule7))]