The lion is blue. The lion is green. The lion is not young. If the lion is not young then the lion is not cold.
The lion is blue.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2)] The lion is not young.[(triple3)] @1: The lion is not cold.[(((triple3) -> rule1))]