Anne is blue. Anne is quiet. Anne is red. Erin is blue. Erin is furry. Erin is not quiet. Erin is red. Erin is white. Erin is young. Gary is smart. Gary is not white. Gary is young. If Anne is not young then Anne is quiet. All young, blue things are smart. If Gary is blue then Gary is white. Smart things are red. If something is red and not smart then it is not white. If something is quiet and not blue then it is white.
Erin is not red.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is not quiet.[(triple6)] Erin is red.[(triple7 OR ((((triple9 triple4) -> rule2)) -> rule4))] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is not white.[(triple11)] Gary is smart.[(triple10)] Gary is young.[(triple12)] @1: Erin is smart.[(((triple9 triple4) -> rule2))] Gary is red.[(((triple10) -> rule4))]