The lion is blue. The lion is rough. The lion is young. If someone is round then they are nice. If the lion is rough then the lion is nice. Nice, blue people are round.
The lion is round.
@0: The lion is blue.[(triple1)] The lion is rough.[(triple2)] The lion is young.[(triple3)] @1: The lion is nice.[(((triple2) -> rule2))] @2: The lion is round.[(((((triple2) -> rule2) triple1) -> rule3))]