The lion is green. Nice people are blue. If someone is nice and round then they are blue. All green people are blue. Blue people are round. If someone is green then they are young. All young, round people are nice.
The lion needs the lion.
@0: The lion is green.[(triple1)] @1: The lion is blue.[(((triple1) -> rule3))] The lion is young.[(((triple1) -> rule5))] @2: The lion is round.[(((((triple1) -> rule3)) -> rule4))] @3: The lion is nice.[(((((triple1) -> rule5) ((((triple1) -> rule3)) -> rule4)) -> rule6))]