The cow is nice. The cow likes the lion. The cow does not see the lion. The cow sees the tiger. The lion eats the cow. The lion eats the tiger. The lion is big. The lion is not young. The lion likes the cow. The lion does not see the cow. The tiger does not eat the cow. The tiger eats the lion. The tiger is nice. The tiger likes the lion. The tiger does not see the cow. The tiger sees the lion. If the lion is big and the lion sees the cow then the lion eats the tiger. If the cow sees the lion and the lion is blue then the cow is green. If the tiger is young then the tiger likes the lion. If the lion eats the cow then the lion likes the tiger. If someone sees the tiger and they do not like the cow then they like the tiger. If the cow sees the tiger and the cow does not like the tiger then the cow likes the lion.
The cow eats the lion.
@0: The cow does not see the lion.[(triple3)] The cow is nice.[(triple1)] The cow likes the lion.[(triple2)] The cow sees the tiger.[(triple4)] The lion does not see the cow.[(triple10)] The lion eats the cow.[(triple5)] The lion eats the tiger.[(triple6)] The lion is big.[(triple7)] The lion is not young.[(triple8)] The lion likes the cow.[(triple9)] The tiger does not eat the cow.[(triple11)] The tiger does not see the cow.[(triple15)] The tiger eats the lion.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the lion.[(triple14)] The tiger sees the lion.[(triple16)] @1: The lion likes the tiger.[(((triple5) -> rule4))]