The tiger is green. The tiger is kind. The tiger is red. If the tiger is nice and the tiger is rough then the tiger is kind. If the tiger is red and the tiger is green then the tiger is kind. Red, kind things are nice.
The tiger is not rough.
@0: The tiger is green.[(triple1)] The tiger is kind.[(triple2 OR ((triple3 triple1) -> rule2))] The tiger is red.[(triple3)] @1: The tiger is nice.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple3 triple1) -> rule2)) -> rule3))]