The lion is nice. The lion is red. The lion is rough. Green, nice things are blue. If something is nice then it is green.
The lion is not rough.
@0: The lion is nice.[(triple1)] The lion is red.[(triple2)] The lion is rough.[(triple3)] @1: The lion is green.[(((triple1) -> rule2))] @2: The lion is blue.[(((((triple1) -> rule2) triple1) -> rule1))]