The lion is rough. If something is red then it is young. All rough things are nice. Nice things are red.
The lion does not need the lion.
@0: The lion is rough.[(triple1)] @1: The lion is nice.[(((triple1) -> rule2))] @2: The lion is red.[(((((triple1) -> rule2)) -> rule3))] @3: The lion is young.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]