The lion is big. The lion is cold. The lion is young. If something is cold and green then it is kind. All green, cold things are young. Green things are young. Cold, young things are green. If the lion is green then the lion is big. All green, young things are cold.
The lion is not cold.
@0: The lion is big.[(triple1 OR ((((triple2 triple3) -> rule4)) -> rule5))] The lion is cold.[(triple2)] The lion is young.[(triple3)] @1: The lion is green.[(((triple2 triple3) -> rule4))] @2: The lion is kind.[(((triple2 ((triple2 triple3) -> rule4)) -> rule1))]