The tiger is cold. All blue people are green. All blue, round people are cold. Cold people are green. Green people are cold. If someone is round then they are green. All cold, nice people are round. If the tiger is green then the tiger is round. All round, cold people are nice.
The tiger is not round.
@0: The tiger is cold.[(triple1)] @1: The tiger is green.[(((triple1) -> rule3))] @2: The tiger is round.[(((((triple1) -> rule3)) -> rule7))] @3: The tiger is nice.[(((((((triple1) -> rule3)) -> rule7) triple1) -> rule8))]