The cow needs the dog. The cow needs the tiger. The cow sees the dog. The cow visits the dog. The cow visits the lion. The cow visits the tiger. The dog is round. The dog visits the cow. The lion is green. The lion needs the dog. The lion needs the tiger. The lion sees the cow. The lion sees the dog. The tiger needs the cow. The tiger visits the cow. If the tiger sees the cow and the cow is red then the cow is round. If someone visits the tiger then the tiger is green.
The cow does not visit the tiger.
@0: The cow needs the dog.[(triple1)] The cow needs the tiger.[(triple2)] The cow sees the dog.[(triple3)] The cow visits the dog.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the tiger.[(triple6)] The dog is round.[(triple7)] The dog visits the cow.[(triple8)] The lion is green.[(triple9)] The lion needs the dog.[(triple10)] The lion needs the tiger.[(triple11)] The lion sees the cow.[(triple12)] The lion sees the dog.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the cow.[(triple15)] @1: The tiger is green.[(((triple6) -> rule2))]