The bear chases the lion. The lion needs the rabbit. The rabbit is green. The tiger is blue. If something is green then it needs the tiger. If something needs the tiger then the tiger is round. If something is round then it needs the lion.
The tiger is not round.
@0: The bear chases the lion.[(triple1)] The lion needs the rabbit.[(triple2)] The rabbit is green.[(triple3)] The tiger is blue.[(triple4)] @1: The rabbit needs the tiger.[(((triple3) -> rule1))] @2: The tiger is round.[(((((triple3) -> rule1)) -> rule2))] @3: The tiger needs the lion.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]