Anne is cold. Anne is furry. Anne is not green. Anne is kind. Anne is quiet. Anne is not white. Bob is furry. Bob is white. Charlie is not cold. Harry is not cold. Harry is furry. Harry is green. Harry is kind. Harry is not quiet. Harry is rough. All white things are cold. If Charlie is not white then Charlie is rough. If something is white and not cold then it is rough. All cold, white things are quiet. All kind, rough things are not quiet. If something is furry and not rough then it is kind. If something is quiet then it is not green. If something is rough and white then it is green.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple4)] Anne is not green.[(triple3 OR ((triple5) -> rule7))] Anne is not white.[(triple6)] Anne is quiet.[(triple5)] Bob is furry.[(triple7)] Bob is white.[(triple8)] Charlie is not cold.[(triple9)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is not cold.[(triple10)] Harry is not quiet.[(triple14 OR ((triple13 triple15) -> rule5))] Harry is rough.[(triple15)] @1: Bob is cold.[(((triple8) -> rule1))] @2: Bob is quiet.[(((((triple8) -> rule1) triple8) -> rule4))] @3: Bob is not green.[(((((((triple8) -> rule1) triple8) -> rule4)) -> rule7))]