Erin is nice. If something is furry then it is cold. Nice, cold things are white. Nice things are furry. If something is red then it is round. If Erin is not green then Erin is cold. If Erin is green then Erin is furry.
Erin is nice.
@0: Erin is nice.[(triple1)] @1: Erin is furry.[(((triple1) -> rule3))] @2: Erin is cold.[(((((triple1) -> rule3)) -> rule1))] @3: Erin is white.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule2))]