Anne is not nice. Anne is round. Anne is not white. Anne is young. Erin is round. Fiona is blue. Gary is young. All nice people are not quiet. All round people are quiet. If Anne is nice then Anne is white. If someone is quiet then they are blue. If Fiona is white then Fiona is blue. If someone is rough then they are young. If someone is nice and not blue then they are not rough. If someone is blue then they are rough. If Erin is young then Erin is white.
Fiona is quiet.
@0: Anne is not nice.[(triple1)] Anne is not white.[(triple3)] Anne is round.[(triple2)] Anne is young.[(triple4 OR ((((((((triple2) -> rule2)) -> rule4)) -> rule8)) -> rule6))] Erin is round.[(triple5)] Fiona is blue.[(triple6)] Gary is young.[(triple7)] @1: Anne is quiet.[(((triple2) -> rule2))] Erin is quiet.[(((triple5) -> rule2))] Fiona is rough.[(((triple6) -> rule8))] @2: Anne is blue.[(((((triple2) -> rule2)) -> rule4))] Erin is blue.[(((((triple5) -> rule2)) -> rule4))] Fiona is young.[(((((triple6) -> rule8)) -> rule6))] @3: Anne is rough.[(((((((triple2) -> rule2)) -> rule4)) -> rule8))] Erin is rough.[(((((((triple5) -> rule2)) -> rule4)) -> rule8))] @4: Erin is young.[(((((((((triple5) -> rule2)) -> rule4)) -> rule8)) -> rule6))] @5: Erin is white.[(((((((((((triple5) -> rule2)) -> rule4)) -> rule8)) -> rule6)) -> rule9))]