The cow chases the dog. The cow is big. The cow is round. The cow needs the dog. The cow needs the squirrel. The dog chases the cow. The dog does not chase the squirrel. The dog is big. The dog is nice. The dog is round. The dog needs the squirrel. The squirrel is big. The squirrel is blue. The squirrel does not like the cow. The squirrel needs the dog. If something is young then it does not like the squirrel. If something chases the dog then it likes the squirrel. If something needs the cow then it chases the dog. If something needs the squirrel and it likes the dog then it chases the cow. If something likes the dog then it does not need the dog. If the cow is young then the cow likes the squirrel. If the squirrel is big then the squirrel needs the cow. If the cow chases the dog and the dog is big then the dog needs the cow.
The cow is not young.
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is round.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the squirrel.[(triple5)] The dog chases the cow.[(triple6)] The dog does not chase the squirrel.[(triple7)] The dog is big.[(triple8)] The dog is nice.[(triple9)] The dog is round.[(triple10)] The dog needs the squirrel.[(triple11)] The squirrel does not like the cow.[(triple14)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel needs the dog.[(triple15)] @1: The cow likes the squirrel.[(((triple1) -> rule2))] The dog needs the cow.[(((triple1 triple8) -> rule8))] The squirrel needs the cow.[(((triple12) -> rule7))] @2: The dog chases the dog.[(((((triple1 triple8) -> rule8)) -> rule3))] The squirrel chases the dog.[(((((triple12) -> rule7)) -> rule3))] @3: The dog likes the squirrel.[(((((((triple1 triple8) -> rule8)) -> rule3)) -> rule2))] The squirrel likes the squirrel.[(((((((triple12) -> rule7)) -> rule3)) -> rule2))]