Anne is blue. Anne is round. Charlie is green. Charlie is not quiet. Charlie is round. Charlie is young. Erin is blue. Erin is quiet. Erin is red. Erin is rough. Fiona is quiet. Fiona is rough. Young things are green. If Anne is green then Anne is quiet. Quiet, green things are blue. If Charlie is green then Charlie is blue. Blue things are young. All blue, quiet things are red. If something is round and not green then it is not rough. If something is blue and not young then it is rough.
Erin is not round.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Charlie is green.[(triple3 OR ((triple6) -> rule1))] Charlie is not quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6 OR ((((triple3) -> rule4)) -> rule5))] Erin is blue.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9 OR ((triple7 triple8) -> rule6))] Erin is rough.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] @1: Anne is young.[(((triple1) -> rule5))] Charlie is blue.[(((triple3) -> rule4) OR ((((triple6) -> rule1)) -> rule4))] Erin is young.[(((triple7) -> rule5))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule1))] Erin is green.[(((((triple7) -> rule5)) -> rule1))] @3: Anne is quiet.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))] @4: Anne is red.[(((triple1 ((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6))]