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