The cow eats the lion. The cow is big. The cow sees the dog. The dog eats the lion. The dog does not like the lion. The lion eats the cow. The lion is not big. The lion likes the cow. The lion does not like the tiger. The tiger does not see the dog. If something likes the cow then it is nice. If the dog eats the cow and the dog is not nice then the dog does not see the lion.
The cow eats the lion.
@0: The cow eats the lion.[(triple1)] The cow is big.[(triple2)] The cow sees the dog.[(triple3)] The dog does not like the lion.[(triple5)] The dog eats the lion.[(triple4)] The lion does not like the tiger.[(triple9)] The lion eats the cow.[(triple6)] The lion is not big.[(triple7)] The lion likes the cow.[(triple8)] The tiger does not see the dog.[(triple10)] @1: The lion is nice.[(((triple8) -> rule1))]