The lion eats the tiger. The lion is big. The lion is young. The lion visits the tiger. The tiger is big. The tiger is kind. The tiger needs the lion. If the tiger is kind and the tiger needs the lion then the tiger is blue.
The lion is kind.
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is young.[(triple3)] The lion visits the tiger.[(triple4)] The tiger is big.[(triple5)] The tiger is kind.[(triple6)] The tiger needs the lion.[(triple7)] @1: The tiger is blue.[(((triple6 triple7) -> rule1))]