The cow eats the dog. The cow eats the lion. The cow is big. The cow is nice. The dog is nice. The dog likes the tiger. The dog needs the cow. The lion likes the dog. The tiger is kind. The tiger needs the cow. If someone is nice then they like the tiger. If someone eats the tiger then they like the cow. If someone eats the tiger then the tiger likes the dog.
The lion does not like the cow.
@0: The cow eats the dog.[(triple1)] The cow eats the lion.[(triple2)] The cow is big.[(triple3)] The cow is nice.[(triple4)] The dog is nice.[(triple5)] The dog likes the tiger.[(triple6 OR ((triple5) -> rule1))] The dog needs the cow.[(triple7)] The lion likes the dog.[(triple8)] The tiger is kind.[(triple9)] The tiger needs the cow.[(triple10)] @1: The cow likes the tiger.[(((triple4) -> rule1))]