Anne is kind. Erin is cold. Gary is smart. Smart, kind people are big. If someone is kind then they are cold. All cold people are not green.
Anne is not green.
@0: Anne is kind.[(triple1)] Erin is cold.[(triple2)] Gary is smart.[(triple3)] @1: Anne is cold.[(((triple1) -> rule2))] Erin is not green.[(((triple2) -> rule3))] @2: Anne is not green.[(((((triple1) -> rule2)) -> rule3))]