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