Anne is nice. Anne is not white. Dave is cold. Dave is nice. Dave is rough. Erin is not rough. Gary is furry. Cold people are smart. If someone is furry then they are smart. All smart, furry people are nice.
Gary is not green.
@0: Anne is nice.[(triple1)] Anne is not white.[(triple2)] Dave is cold.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Erin is not rough.[(triple6)] Gary is furry.[(triple7)] @1: Dave is smart.[(((triple3) -> rule1))] Gary is smart.[(((triple7) -> rule2))] @2: Gary is nice.[(((((triple7) -> rule2) triple7) -> rule3))]