Anne is big. Erin is cold. Erin is furry. Harry is big. Harry is cold. Harry is furry. Harry is white. Rough things are white. Furry, blue things are rough. All rough, white things are round. White, cold things are rough. All big things are rough. If Erin is white and Erin is rough then Erin is big. If something is furry and blue then it is round. If something is white and big then it is furry.
Erin is not big.
@0: Anne is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Harry is big.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6 OR ((triple7 triple4) -> rule8) OR ((((((triple4) -> rule5)) -> rule1) triple4) -> rule8))] Harry is white.[(triple7 OR ((((triple4) -> rule5)) -> rule1))] @1: Anne is rough.[(((triple1) -> rule5))] Harry is rough.[(((triple4) -> rule5) OR ((triple7 triple5) -> rule4))] @2: Anne is white.[(((((triple1) -> rule5)) -> rule1))] Harry is round.[(((((triple4) -> rule5) triple7) -> rule3) OR ((((triple7 triple5) -> rule4) triple7) -> rule3) OR ((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule1)) -> rule3) OR ((((triple7 triple5) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule3))] @3: Anne is furry.[(((((((triple1) -> rule5)) -> rule1) triple1) -> rule8))] Anne is round.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule3))]