The tiger is cold. The tiger is green. The tiger is red. Round, nice people are cold. Green, nice people are cold. If the tiger is round and the tiger is green then the tiger is cold. Nice, round people are green. If someone is cold and green then they are nice. All cold people are green.
The tiger is green.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2 OR ((triple1) -> rule6))] The tiger is red.[(triple3)] @1: The tiger is nice.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5))]