The lion is green. The lion is nice. The lion is young. Green people are rough.
The lion is not red.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2)] The lion is young.[(triple3)] @1: The lion is rough.[(((triple1) -> rule1))]