The lion is green. Green people are rough. If someone is rough then they are cold. All cold people are blue.
The lion is not rough.
@0: The lion is green.[(triple1)] @1: The lion is rough.[(((triple1) -> rule1))] @2: The lion is cold.[(((((triple1) -> rule1)) -> rule2))] @3: The lion is blue.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]