Anne is blue. Anne is red. Anne is young. Dave is red. Erin is blue. Erin is green. Erin is quiet. Erin is smart. Erin is young. Gary is green. Gary is red. Gary is young. If something is red then it is rough. All red things are rough. All rough things are red. Rough things are green. If something is red then it is quiet. If something is smart and quiet then it is blue.
Erin is not quiet.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Dave is red.[(triple4)] Erin is blue.[(triple5 OR ((triple8 triple7) -> rule6))] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Gary is green.[(triple10 OR ((((triple11) -> rule1)) -> rule4) OR ((((triple11) -> rule2)) -> rule4))] Gary is red.[(triple11)] Gary is young.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule5))] Anne is rough.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Dave is quiet.[(((triple4) -> rule5))] Dave is rough.[(((triple4) -> rule1) OR ((triple4) -> rule2))] Gary is quiet.[(((triple11) -> rule5))] Gary is rough.[(((triple11) -> rule1) OR ((triple11) -> rule2))] @2: Anne is green.[(((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Dave is green.[(((((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule2)) -> rule4))]