The bear likes the tiger. The rabbit is green. The tiger needs the rabbit. If someone is blue then they eat the rabbit. If someone needs the rabbit then they are blue.
The tiger eats the rabbit.
@0: The bear likes the tiger.[(triple1)] The rabbit is green.[(triple2)] The tiger needs the rabbit.[(triple3)] @1: The tiger is blue.[(((triple3) -> rule2))] @2: The tiger eats the rabbit.[(((((triple3) -> rule2)) -> rule1))]