The tiger is big. The tiger is red. The tiger is rough. All rough things are red. If something is green and not big then it is cold. Green things are cold. If the tiger is rough and the tiger is red then the tiger is not green. If the tiger is big and the tiger is not green then the tiger is cold. If the tiger is big and the tiger is green then the tiger is not cold.
The tiger is not green.
@0: The tiger is big.[(triple1)] The tiger is red.[(triple2 OR ((triple3) -> rule1))] The tiger is rough.[(triple3)] @1: The tiger is not green.[(((triple3 triple2) -> rule4) OR ((triple3 ((triple3) -> rule1)) -> rule4))] @2: The tiger is cold.[(((triple1 ((triple3 triple2) -> rule4)) -> rule5) OR ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule5))]