The lion is blue. The lion is red. The lion likes the tiger. The lion needs the tiger. The lion does not see the tiger. The tiger is cold. The tiger does not like the lion. If someone needs the lion then they are young. If someone needs the tiger and they are not red then they need the lion. If someone needs the tiger and they like the tiger then the tiger is green. If someone sees the tiger then they do not need the tiger. If someone likes the lion then they like the tiger. If someone needs the lion and they like the tiger then the lion sees the tiger. If the lion needs the tiger then the tiger needs the lion. If someone is cold and they need the lion then they see the tiger.
The tiger is not young.
@0: The lion does not see the tiger.[(triple5)] The lion is blue.[(triple1)] The lion is red.[(triple2)] The lion likes the tiger.[(triple3)] The lion needs the tiger.[(triple4)] The tiger does not like the lion.[(triple7)] The tiger is cold.[(triple6)] @1: The tiger is green.[(((triple4 triple3) -> rule3))] The tiger needs the lion.[(((triple4) -> rule7))] @2: The tiger is young.[(((((triple4) -> rule7)) -> rule1))] The tiger sees the tiger.[(((triple6 ((triple4) -> rule7)) -> rule8))] @3: The tiger does not need the tiger.[(((((triple6 ((triple4) -> rule7)) -> rule8)) -> rule4))]