The rabbit is cold. If someone is round then they are big. If the rabbit is round then the rabbit is nice. If someone is cold then they are round.
The rabbit is cold.
@0: The rabbit is cold.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule3))] @2: The rabbit is big.[(((((triple1) -> rule3)) -> rule1))] The rabbit is nice.[(((((triple1) -> rule3)) -> rule2))]