The lion is red. If the lion is red then the lion is nice. All red, nice people are cold. If someone is cold then they are round.
The lion is not cold.
@0: The lion is red.[(triple1)] @1: The lion is nice.[(((triple1) -> rule1))] @2: The lion is cold.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The lion is round.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))]