Erin is not green. Erin is nice. Erin is quiet. Gary is blue. Gary is green. Gary is nice. Gary is white. Blue, green things are red. If something is quiet then it is red. All blue things are green. If something is quiet and not white then it is smart. If something is smart and red then it is not quiet. If Gary is white then Gary is smart.
Gary is quiet.
@0: Erin is nice.[(triple2)] Erin is not green.[(triple1)] Erin is quiet.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5 OR ((triple4) -> rule3))] Gary is nice.[(triple6)] Gary is white.[(triple7)] @1: Erin is red.[(((triple3) -> rule2))] Gary is red.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))] Gary is smart.[(((triple7) -> rule6))] @2: Gary is not quiet.[(((((triple7) -> rule6) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((triple4 ((triple4) -> rule3)) -> rule1)) -> rule5))]