The cow needs the dog. The cow visits the dog. The cow visits the rabbit. The dog does not eat the cow. The dog eats the rabbit. The dog eats the tiger. The dog is big. The dog is blue. The dog needs the tiger. The rabbit is nice. The rabbit needs the tiger. The rabbit visits the tiger. The tiger eats the cow. The tiger eats the rabbit. The tiger is big. The tiger does not visit the dog. If someone visits the tiger then the tiger does not need the cow.
The cow needs the rabbit.
@0: The cow needs the dog.[(triple1)] The cow visits the dog.[(triple2)] The cow visits the rabbit.[(triple3)] The dog does not eat the cow.[(triple4)] The dog eats the rabbit.[(triple5)] The dog eats the tiger.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog needs the tiger.[(triple9)] The rabbit is nice.[(triple10)] The rabbit needs the tiger.[(triple11)] The rabbit visits the tiger.[(triple12)] The tiger does not visit the dog.[(triple16)] The tiger eats the cow.[(triple13)] The tiger eats the rabbit.[(triple14)] The tiger is big.[(triple15)] @1: The tiger does not need the cow.[(((triple12) -> rule1))]