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