Anne is blue. Erin is not green. Erin is smart. Fiona is green. Fiona is quiet. Fiona is not white. Gary is quiet. If Fiona is white then Fiona is quiet. If Gary is blue then Gary is green. If someone is blue then they are smart. All white people are not green. If someone is quiet and not furry then they are not green. All quiet people are blue.
Erin is not blue.
@0: Anne is blue.[(triple1)] Erin is not green.[(triple2)] Erin is smart.[(triple3)] Fiona is green.[(triple4)] Fiona is not white.[(triple6)] Fiona is quiet.[(triple5)] Gary is quiet.[(triple7)] @1: Anne is smart.[(((triple1) -> rule3))] Fiona is blue.[(((triple5) -> rule6))] Gary is blue.[(((triple7) -> rule6))] @2: Fiona is smart.[(((((triple5) -> rule6)) -> rule3))] Gary is green.[(((((triple7) -> rule6)) -> rule2))] Gary is smart.[(((((triple7) -> rule6)) -> rule3))]