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