The dog chases the lion. The dog eats the tiger. The dog is young. The dog sees the tiger. The lion eats the tiger. The lion is not blue. The lion is not young. The tiger does not chase the dog. The tiger is blue. The tiger sees the lion. If something sees the tiger and it chases the tiger then the tiger chases the lion. If something chases the lion and it eats the dog then it eats the lion. If something sees the lion then it eats the lion.
The tiger does not chase the lion.
@0: The dog chases the lion.[(triple1)] The dog eats the tiger.[(triple2)] The dog is young.[(triple3)] The dog sees the tiger.[(triple4)] The lion eats the tiger.[(triple5)] The lion is not blue.[(triple6)] The lion is not young.[(triple7)] The tiger does not chase the dog.[(triple8)] The tiger is blue.[(triple9)] The tiger sees the lion.[(triple10)] @1: The tiger eats the lion.[(((triple10) -> rule3))]