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 not white.
@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))]