Charlie is red. Erin is not furry. Erin is quiet. Erin is rough. Erin is round. Erin is white. Harry is rough. If something is round then it is red. All red, round things are white. If something is red then it is white. All white things are round. If Erin is rough and Erin is round then Erin is quiet. All red, round things are rough. If something is red and not white then it is blue. If something is blue and not round then it is not furry.
Charlie is round.
@0: Charlie is red.[(triple1)] Erin is not furry.[(triple2)] Erin is quiet.[(triple3 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple6) -> rule4)) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule6) triple5) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule6) ((triple6) -> rule4)) -> rule5) OR ((((((triple5) -> rule1) ((triple6) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((triple5) -> rule1) ((triple6) -> rule4)) -> rule6) ((triple6) -> rule4)) -> rule5) OR ((((((((triple6) -> rule4)) -> rule1) triple5) -> rule6) triple5) -> rule5) OR ((((((((triple6) -> rule4)) -> rule1) triple5) -> rule6) ((triple6) -> rule4)) -> rule5) OR ((((((((triple6) -> rule4)) -> rule1) ((triple6) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((((triple6) -> rule4)) -> rule1) ((triple6) -> rule4)) -> rule6) ((triple6) -> rule4)) -> rule5))] Erin is rough.[(triple4 OR ((((triple5) -> rule1) triple5) -> rule6) OR ((((triple5) -> rule1) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) triple5) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) ((triple6) -> rule4)) -> rule6))] Erin is round.[(triple5 OR ((triple6) -> rule4))] Erin is white.[(triple6 OR ((((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule1) triple5) -> rule2))] Harry is rough.[(triple7)] @1: Charlie is white.[(((triple1) -> rule3))] Erin is red.[(((triple5) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] @2: Charlie is round.[(((((triple1) -> rule3)) -> rule4))] @3: Charlie is rough.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6))]