The lion needs the tiger. The tiger is blue. The tiger is green. If something needs the lion and the lion chases the tiger then it is not big. If the lion needs the tiger and the lion chases the tiger then the lion visits the tiger. If something is big and it does not visit the lion then the lion does not visit the tiger. If something is nice then it does not need the tiger. If the lion needs the tiger then the lion chases the tiger. If something visits the tiger then the tiger chases the lion.
The lion visits the lion.
@0: The lion needs the tiger.[(triple1)] The tiger is blue.[(triple2)] The tiger is green.[(triple3)] @1: The lion chases the tiger.[(((triple1) -> rule5))] @2: The lion visits the tiger.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: The tiger chases the lion.[(((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6))]