Anne is blue. Anne is furry. Anne is quiet. Anne is smart. Anne is white. Dave is blue. Dave is furry. Dave is round. Fiona is blue. Fiona is furry. Fiona is smart. Fiona is white. Harry is blue. Harry is quiet. Harry is red. Smart, red things are blue. If Harry is white then Harry is round. Blue, red things are round. All quiet things are smart. Red, round things are furry. All white things are blue. If something is white and red then it is smart. White things are smart.
Fiona is not white.
@0: Anne is blue.[(triple1 OR ((triple5) -> rule6))] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4 OR ((triple3) -> rule4) OR ((triple5) -> rule8))] Anne is white.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is round.[(triple8)] Fiona is blue.[(triple9 OR ((triple12) -> rule6))] Fiona is furry.[(triple10)] Fiona is smart.[(triple11 OR ((triple12) -> rule8))] Fiona is white.[(triple12)] Harry is blue.[(triple13 OR ((((triple14) -> rule4) triple15) -> rule1))] Harry is quiet.[(triple14)] Harry is red.[(triple15)] @1: Harry is round.[(((triple13 triple15) -> rule3) OR ((((((triple14) -> rule4) triple15) -> rule1) triple15) -> rule3))] Harry is smart.[(((triple14) -> rule4))] @2: Harry is furry.[(((triple15 ((triple13 triple15) -> rule3)) -> rule5) OR ((triple15 ((((((triple14) -> rule4) triple15) -> rule1) triple15) -> rule3)) -> rule5))]