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