Anne is quiet. Erin is rough. Gary is green. If someone is green then they are nice. If someone is green and quiet then they are red. Nice people are quiet. If someone is red then they are green. Red people are round. If someone is quiet then they are round. If Erin is round then Erin is nice. If someone is green and quiet then they are red.
Erin is not quiet.
@0: Anne is quiet.[(triple1)] Erin is rough.[(triple2)] Gary is green.[(triple3)] @1: Anne is round.[(((triple1) -> rule6))] Gary is nice.[(((triple3) -> rule1))] @2: Gary is quiet.[(((((triple3) -> rule1)) -> rule3))] @3: Gary is red.[(((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule2) OR ((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule8))] Gary is round.[(((((((triple3) -> rule1)) -> rule3)) -> rule6) OR ((((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5))]