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