The tiger is round. All cold, green things are round. If the tiger is green then the tiger is rough. Cold things are blue. All round, blue things are cold. All round things are blue. Green things are blue. Cold, rough things are round. All cold, blue things are rough.
The tiger is not green.
@0: The tiger is round.[(triple1)] @1: The tiger is blue.[(((triple1) -> rule5))] @2: The tiger is cold.[(((triple1 ((triple1) -> rule5)) -> rule4))] @3: The tiger is rough.[(((((triple1 ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule8))]