Erin is quiet. Gary is furry. If Erin is quiet and Erin is kind then Erin is cold. Quiet people are kind. If Erin is cold and Erin is kind then Erin is nice.
Gary is smart.
@0: Erin is quiet.[(triple1)] Gary is furry.[(triple2)] @1: Erin is kind.[(((triple1) -> rule2))] @2: Erin is cold.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: Erin is nice.[(((((triple1 ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]