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 does not need the lion.
@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))]