The tiger is green. If the tiger is cold and the tiger is not green then the tiger is not red. If someone is green then they are cold.
The tiger is cold.
@0: The tiger is green.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule2))]