Anne is red. Erin is smart. Gary is quiet. All smart things are red. If Gary is quiet then Gary is smart. If something is smart then it is green. All blue, quiet things are green. If something is green then it is white. If Anne is smart then Anne is not blue.
Anne is white.
@0: Anne is red.[(triple1)] Erin is smart.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is green.[(((triple2) -> rule3))] Erin is red.[(((triple2) -> rule1))] Gary is smart.[(((triple3) -> rule2))] @2: Erin is white.[(((((triple2) -> rule3)) -> rule5))] Gary is green.[(((((triple3) -> rule2)) -> rule3))] Gary is red.[(((((triple3) -> rule2)) -> rule1))] @3: Gary is white.[(((((((triple3) -> rule2)) -> rule3)) -> rule5))]