The lion is not blue. The lion is green. The lion is young. All young people are red.
The lion needs the lion.
@0: The lion is green.[(triple2)] The lion is not blue.[(triple1)] The lion is young.[(triple3)] @1: The lion is red.[(((triple3) -> rule1))]