The cat chases the cow. The cat is green. The cat sees the squirrel. The cat visits the cow. The cat visits the squirrel. The cow chases the cat. The cow chases the squirrel. The cow is blue. The cow is rough. The cow visits the cat. The squirrel chases the cat. The squirrel is blue. The squirrel is nice. The squirrel sees the cow. The squirrel visits the cow. If something is green then it is blue. If something visits the squirrel and it sees the cat then the squirrel sees the cat. If the cat sees the cow then the cat chases the squirrel. If something chases the cow and it chases the squirrel then the squirrel is rough. If something is nice then it visits the cow. If something visits the squirrel and the squirrel chases the cow then the squirrel is nice. If something chases the cat and the cat chases the squirrel then the cat is green. If something is nice and it chases the cow then it visits the squirrel.
The cat does not chase the cow.
@0: The cat chases the cow.[(triple1)] The cat is green.[(triple2)] The cat sees the squirrel.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the squirrel.[(triple5)] The cow chases the cat.[(triple6)] The cow chases the squirrel.[(triple7)] The cow is blue.[(triple8)] The cow is rough.[(triple9)] The cow visits the cat.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is nice.[(triple13)] The squirrel sees the cow.[(triple14)] The squirrel visits the cow.[(triple15 OR ((triple13) -> rule5))] @1: The cat is blue.[(((triple2) -> rule1))]