Erin is smart. Gary is cold. Gary is kind. White, kind things are nice. If something is kind then it is white. Kind, nice things are furry.
Erin is kind.
@0: Erin is smart.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3)] @1: Gary is white.[(((triple3) -> rule2))] @2: Gary is nice.[(((((triple3) -> rule2) triple3) -> rule1))] @3: Gary is furry.[(((triple3 ((((triple3) -> rule2) triple3) -> rule1)) -> rule3))]