The cow eats the lion. The cow is rough. The cow likes the lion. The cow sees the lion. The lion eats the tiger. The lion is green. The lion likes the cow. The lion likes the tiger. The lion sees the tiger. The tiger likes the cow. If someone sees the tiger and they are nice then they eat the tiger. If someone sees the tiger then the tiger eats the cow. If someone sees the lion then the lion sees the cow.
The lion eats the cow.
@0: The cow eats the lion.[(triple1)] The cow is rough.[(triple2)] The cow likes the lion.[(triple3)] The cow sees the lion.[(triple4)] The lion eats the tiger.[(triple5)] The lion is green.[(triple6)] The lion likes the cow.[(triple7)] The lion likes the tiger.[(triple8)] The lion sees the tiger.[(triple9)] The tiger likes the cow.[(triple10)] @1: The lion sees the cow.[(((triple4) -> rule3))] The tiger eats the cow.[(((triple9) -> rule2))]