The lion is nice. The tiger needs the lion. Blue people are young. If someone eats the lion then the lion eats the tiger. Green people are blue. If someone eats the tiger then they are green. If someone likes the lion and the lion needs the tiger then the tiger needs the lion. If someone eats the lion and they are nice then they are rough. If someone eats the tiger and the tiger is nice then the tiger needs the lion. If someone is nice then they eat the tiger.
The tiger is rough.
@0: The lion is nice.[(triple1)] The tiger needs the lion.[(triple2)] @1: The lion eats the tiger.[(((triple1) -> rule8))] @2: The lion is green.[(((((triple1) -> rule8)) -> rule4))] @3: The lion is blue.[(((((((triple1) -> rule8)) -> rule4)) -> rule3))] @4: The lion is young.[(((((((((triple1) -> rule8)) -> rule4)) -> rule3)) -> rule1))]