The cow chases the squirrel. The cow eats the squirrel. The cow visits the dog. The dog chases the cow. The dog chases the squirrel. The dog eats the cow. The dog eats the squirrel. The dog is cold. The squirrel chases the cow. The squirrel chases the dog. The squirrel eats the cow. The squirrel eats the dog. The squirrel is big. The squirrel is cold. The squirrel is green. If the cow is green and the cow eats the squirrel then the cow chases the dog. If something eats the cow then the cow is nice. If something chases the squirrel then the squirrel visits the cow. If the dog chases the cow and the cow eats the dog then the cow eats the squirrel. If something is red and it chases the cow then it eats the cow. If something is red then it eats the cow.
The dog does not chase the cow.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow visits the dog.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the squirrel.[(triple5)] The dog eats the cow.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is cold.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel eats the dog.[(triple12)] The squirrel is big.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is green.[(triple15)] @1: The cow is nice.[(((triple11) -> rule2) OR ((triple6) -> rule2))] The squirrel visits the cow.[(((triple1) -> rule3) OR ((triple5) -> rule3))]