Charlie is furry. Erin is furry. Erin is green. Erin is round. Fiona is blue. Fiona is furry. Gary is smart. White things are round. If something is furry and blue then it is white. If something is blue and round then it is red. All furry things are blue. If Charlie is red then Charlie is green.
Fiona is smart.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4 OR ((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1))] Fiona is blue.[(triple5 OR ((triple6) -> rule4))] Fiona is furry.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule4))] Erin is blue.[(((triple2) -> rule4))] Fiona is white.[(((triple6 triple5) -> rule2) OR ((triple6 ((triple6) -> rule4)) -> rule2))] @2: Charlie is white.[(((triple1 ((triple1) -> rule4)) -> rule2))] Erin is red.[(((((triple2) -> rule4) triple4) -> rule3) OR ((((triple2) -> rule4) ((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1)) -> rule3))] Erin is white.[(((triple2 ((triple2) -> rule4)) -> rule2))] Fiona is round.[(((((triple6 triple5) -> rule2)) -> rule1) OR ((((triple6 ((triple6) -> rule4)) -> rule2)) -> rule1))] @3: Charlie is round.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1))] Fiona is red.[(((triple5 ((((triple6 triple5) -> rule2)) -> rule1)) -> rule3) OR ((((triple6) -> rule4) ((((triple6 triple5) -> rule2)) -> rule1)) -> rule3) OR ((triple5 ((((triple6 ((triple6) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((triple6) -> rule4) ((((triple6 ((triple6) -> rule4)) -> rule2)) -> rule1)) -> rule3))] @4: Charlie is red.[(((((triple1) -> rule4) ((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule3))] @5: Charlie is green.[(((((((triple1) -> rule4) ((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule5))]