The lion is nice. Big things are nice. If something is green then it is red. All red things are big. If the lion is nice then the lion is green. If something is big and not red then it is round. If something is big and not nice then it is round.
The lion is not round.
@0: The lion is nice.[(triple1)] @1: The lion is green.[(((triple1) -> rule4))] @2: The lion is red.[(((((triple1) -> rule4)) -> rule2))] @3: The lion is big.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]