The tiger is blue. The tiger is red. The tiger is rough. If the tiger is red then the tiger is green. Rough, green people are nice. All blue people are nice.
The tiger likes the tiger.
@0: The tiger is blue.[(triple1)] The tiger is red.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is green.[(((triple2) -> rule1))] The tiger is nice.[(((triple1) -> rule3) OR ((triple3 ((triple2) -> rule1)) -> rule2))]