The cow eats the dog. The cow visits the squirrel. The dog chases the cow. The dog does not chase the squirrel. The dog does not eat the cow. The dog eats the squirrel. The dog is blue. The dog is cold. The dog is rough. The dog is young. The dog does not visit the cow. The dog visits the squirrel. The squirrel chases the cow. The squirrel eats the dog. The squirrel is young. The squirrel visits the cow. If the dog is cold then the dog visits the squirrel.
The squirrel eats the cow.
@0: The cow eats the dog.[(triple1)] The cow visits the squirrel.[(triple2)] The dog chases the cow.[(triple3)] The dog does not chase the squirrel.[(triple4)] The dog does not eat the cow.[(triple5)] The dog does not visit the cow.[(triple11)] The dog eats the squirrel.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog is rough.[(triple9)] The dog is young.[(triple10)] The dog visits the squirrel.[(triple12 OR ((triple8) -> rule1))] The squirrel chases the cow.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel is young.[(triple15)] The squirrel visits the cow.[(triple16)]