The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. Cold, nice people are green. If someone is red then they are nice.
The tiger is green.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule1))] The tiger is nice.[(triple3 OR ((triple4) -> rule2))] The tiger is red.[(triple4)] The tiger is rough.[(triple5)]