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