The cat chases the cow. The cat chases the dog. The cat is nice. The cat is rough. The cat visits the dog. The cow chases the cat. The cow is kind. The cow is round. The cow visits the cat. The cow visits the dog. The dog chases the cat. The dog chases the cow. The dog is young. The dog sees the cat. The dog sees the cow. The dog does not visit the cow. If something is round then it sees the dog.
The cat is not nice.
@0: The cat chases the cow.[(triple1)] The cat chases the dog.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat visits the dog.[(triple5)] The cow chases the cat.[(triple6)] The cow is kind.[(triple7)] The cow is round.[(triple8)] The cow visits the cat.[(triple9)] The cow visits the dog.[(triple10)] The dog chases the cat.[(triple11)] The dog chases the cow.[(triple12)] The dog does not visit the cow.[(triple16)] The dog is young.[(triple13)] The dog sees the cat.[(triple14)] The dog sees the cow.[(triple15)] @1: The cow sees the dog.[(((triple8) -> rule1))]