Anne is not big. Anne is rough. Anne is round. Dave is big. Dave is blue. Dave is round. Harry is white. If something is white then it is not red. All furry things are round. If something is blue and rough then it is not round. If Harry is furry then Harry is not red. All white things are blue. All round things are furry. If Harry is rough then Harry is not big. If something is blue then it is big.
Anne is white.
@0: Anne is not big.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Dave is big.[(triple4 OR ((triple5) -> rule8))] Dave is blue.[(triple5)] Dave is round.[(triple6)] Harry is white.[(triple7)] @1: Anne is furry.[(((triple3) -> rule6))] Dave is furry.[(((triple6) -> rule6))] Harry is blue.[(((triple7) -> rule5))] Harry is not red.[(((triple7) -> rule1))] @2: Harry is big.[(((((triple7) -> rule5)) -> rule8))]