Anne is furry. Anne is quiet. Anne is red. Anne is round. Erin is furry. Erin is red. Erin is round. Erin is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Gary is furry. Gary is red. If something is round then it is big. If something is red then it is round.
Fiona is not furry.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple3) -> rule2))] Erin is furry.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple6) -> rule2))] Erin is young.[(triple8)] Fiona is big.[(triple9 OR ((triple14) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14 OR ((triple13) -> rule2))] Gary is furry.[(triple15)] Gary is red.[(triple16)] @1: Anne is big.[(((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Erin is big.[(((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Gary is round.[(((triple16) -> rule2))] @2: Gary is big.[(((((triple16) -> rule2)) -> rule1))]