The tiger is red. The tiger is rough. The tiger is round. If the tiger is rough then the tiger is cold. All cold things are red. If something is rough then it is red.
The tiger is not cold.
@0: The tiger is red.[(triple1 OR ((triple2) -> rule3) OR ((((triple2) -> rule1)) -> rule2))] The tiger is rough.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is cold.[(((triple2) -> rule1))]