Anne is furry. Anne is red. Dave is red. Dave is not young. Erin is not green. Erin is smart. Harry is not furry. All blue things are not green. Red things are not smart. All young, green things are blue.
Erin is smart.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Dave is not young.[(triple4)] Dave is red.[(triple3)] Erin is not green.[(triple5)] Erin is smart.[(triple6)] Harry is not furry.[(triple7)] @1: Anne is not smart.[(((triple2) -> rule2))] Dave is not smart.[(((triple3) -> rule2))]