Anne is blue. Anne is furry. Anne is green. Anne is quiet. Erin is blue. Erin is furry. Erin is round. Fiona is green. Fiona is rough. Gary is blue. Gary is furry. Gary is round. If Fiona is rough then Fiona is furry. If something is furry and round then it is green. Furry things are blue. If something is blue then it is nice. All rough, blue things are furry. All blue, round things are furry.
Anne is quiet.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Erin is blue.[(triple5 OR ((triple6) -> rule3))] Erin is furry.[(triple6 OR ((triple5 triple7) -> rule6))] Erin is round.[(triple7)] Fiona is green.[(triple8)] Fiona is rough.[(triple9)] Gary is blue.[(triple10 OR ((triple11) -> rule3))] Gary is furry.[(triple11 OR ((triple10 triple12) -> rule6))] Gary is round.[(triple12)] @1: Anne is nice.[(((triple1) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] Erin is green.[(((triple6 triple7) -> rule2) OR ((((triple5 triple7) -> rule6) triple7) -> rule2))] Erin is nice.[(((triple5) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] Fiona is furry.[(((triple9) -> rule1))] Gary is green.[(((triple11 triple12) -> rule2) OR ((((triple10 triple12) -> rule6) triple12) -> rule2))] Gary is nice.[(((triple10) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] @2: Fiona is blue.[(((((triple9) -> rule1)) -> rule3))] @3: Fiona is nice.[(((((((triple9) -> rule1)) -> rule3)) -> rule4))]