The lion does not eat the tiger. The lion is blue. The lion likes the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is cold. The tiger does not see the lion. If someone sees the tiger and they see the lion then the tiger does not like the lion. If the lion sees the tiger then the tiger likes the lion. If someone is nice and they eat the tiger then the tiger is young. If someone eats the lion and the lion is young then they see the lion. If someone is green and they like the lion then they see the lion. If someone sees the lion then they are not cold. If someone is green and cold then they like the lion. If someone likes the lion and they see the lion then the lion does not like the tiger.
The lion does not eat the tiger.
@0: The lion does not eat the tiger.[(triple1)] The lion is blue.[(triple2)] The lion likes the tiger.[(triple3)] The lion sees the tiger.[(triple4)] The tiger does not see the lion.[(triple7)] The tiger eats the lion.[(triple5)] The tiger is cold.[(triple6)] @1: The tiger likes the lion.[(((triple4) -> rule2))]