Anne is quiet. Charlie is green. Erin is green. Erin is rough. Gary is furry. Gary is quiet. Gary is not round. All green, white people are blue. If someone is green then they are not blue. All quiet, white people are green. Quiet people are green. If Charlie is quiet and Charlie is green then Charlie is not furry. Quiet, white people are not rough.
Erin is not white.
@0: Anne is quiet.[(triple1)] Charlie is green.[(triple2)] Erin is green.[(triple3)] Erin is rough.[(triple4)] Gary is furry.[(triple5)] Gary is not round.[(triple7)] Gary is quiet.[(triple6)] @1: Anne is green.[(((triple1) -> rule4))] Charlie is not blue.[(((triple2) -> rule2))] Erin is not blue.[(((triple3) -> rule2))] Gary is green.[(((triple6) -> rule4))] @2: Anne is not blue.[(((((triple1) -> rule4)) -> rule2))] Gary is not blue.[(((((triple6) -> rule4)) -> rule2))]