Anne is furry. Anne is white. Charlie is nice. Fiona is cold. Fiona is rough. Fiona is smart. Harry is smart. Smart things are cold. All rough things are smart. Round, nice things are furry. If Harry is round then Harry is white. Smart things are cold. All smart, cold things are round.
Anne is not round.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Charlie is nice.[(triple3)] Fiona is cold.[(triple4 OR ((triple6) -> rule1) OR ((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple5) -> rule2)) -> rule5))] Fiona is rough.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule2))] Harry is smart.[(triple7)] @1: Fiona is round.[(((triple6 triple4) -> rule6) OR ((triple6 ((triple6) -> rule1)) -> rule6) OR ((triple6 ((triple6) -> rule5)) -> rule6) OR ((((triple5) -> rule2) triple4) -> rule6) OR ((((triple5) -> rule2) ((triple6) -> rule1)) -> rule6) OR ((((triple5) -> rule2) ((triple6) -> rule5)) -> rule6) OR ((triple6 ((((triple5) -> rule2)) -> rule1)) -> rule6) OR ((triple6 ((((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule1)) -> rule6) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule5)) -> rule6))] Harry is cold.[(((triple7) -> rule1) OR ((triple7) -> rule5))] @2: Harry is round.[(((triple7 ((triple7) -> rule1)) -> rule6) OR ((triple7 ((triple7) -> rule5)) -> rule6))] @3: Harry is white.[(((((triple7 ((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple7 ((triple7) -> rule5)) -> rule6)) -> rule4))]