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