The rabbit is red. Big things are round. Nice things are big. All red things are nice.
The rabbit is round.
@0: The rabbit is red.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule3))] @2: The rabbit is big.[(((((triple1) -> rule3)) -> rule2))] @3: The rabbit is round.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]