The cow chases the squirrel. The cow needs the squirrel. The dog chases the cow. The dog is red. The dog needs the squirrel. The dog sees the squirrel. The squirrel chases the dog. The squirrel is young. The squirrel needs the cow. The squirrel sees the cow. If someone chases the dog then they are nice. If someone chases the dog then the dog chases the squirrel. If the squirrel chases the dog and the squirrel needs the cow then the cow chases the squirrel. If the squirrel is rough then the squirrel sees the dog. If someone sees the cow then the cow needs the dog. If someone chases the squirrel and the squirrel sees the dog then the squirrel is nice.
The dog is not nice.
@0: The cow chases the squirrel.[(triple1 OR ((triple7 triple9) -> rule3))] The cow needs the squirrel.[(triple2)] The dog chases the cow.[(triple3)] The dog is red.[(triple4)] The dog needs the squirrel.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow needs the dog.[(((triple10) -> rule5))] The dog chases the squirrel.[(((triple7) -> rule2))] The squirrel is nice.[(((triple7) -> rule1))]