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