The lion is cold. All cold people are young. All cold, blue people are not young. If the lion is young then the lion is green. If the lion is cold and the lion is blue then the lion is green. If the lion is blue then the lion is green. If someone is round then they are green. All young, green people are round. All round people are cold.
The lion is not round.
@0: The lion is cold.[(triple1)] @1: The lion is young.[(((triple1) -> rule1))] @2: The lion is green.[(((((triple1) -> rule1)) -> rule3))] @3: The lion is round.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule7))]