The rabbit is blue. The rabbit is rough. The rabbit needs the tiger. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is rough. The tiger needs the rabbit. If something sees the rabbit then the rabbit is red. If the rabbit needs the tiger then the rabbit eats the tiger. If something sees the tiger and it eats the tiger then the tiger sees the rabbit.
The rabbit eats the tiger.
@0: The rabbit is blue.[(triple1)] The rabbit is rough.[(triple2)] The rabbit needs the tiger.[(triple3)] The rabbit sees the tiger.[(triple4)] The tiger eats the rabbit.[(triple5)] The tiger is rough.[(triple6)] The tiger needs the rabbit.[(triple7)] @1: The rabbit eats the tiger.[(((triple3) -> rule2))] @2: The tiger sees the rabbit.[(((triple4 ((triple3) -> rule2)) -> rule3))] @3: The rabbit is red.[(((((triple4 ((triple3) -> rule2)) -> rule3)) -> rule1))]