Anne is cold. Anne is furry. Anne is nice. Anne is rough. Anne is round. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If someone is nice then they are rough. If someone is nice and quiet then they are furry. If Anne is furry and Anne is rough then Anne is nice. If someone is quiet then they are nice. If Anne is cold and Anne is rough then Anne is white. If someone is cold and rough then they are nice. If Bob is white then Bob is round. If Harry is quiet and Harry is white then Harry is cold.
Harry is not white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple1 triple4) -> rule6) OR ((triple2 triple4) -> rule3))] Anne is rough.[(triple4 OR ((triple3) -> rule1))] Anne is round.[(triple5)] Bob is cold.[(triple6)] Bob is nice.[(triple7 OR ((triple8) -> rule4) OR ((triple6 triple9) -> rule6))] Bob is quiet.[(triple8)] Bob is rough.[(triple9 OR ((triple7) -> rule1) OR ((((triple8) -> rule4)) -> rule1))] Bob is white.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12 OR ((triple13 triple14) -> rule2) OR ((((triple14) -> rule4) triple14) -> rule2) OR ((((triple11 triple15) -> rule6) triple14) -> rule2))] Harry is nice.[(triple13 OR ((triple14) -> rule4) OR ((triple11 triple15) -> rule6))] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((triple13) -> rule1) OR ((((triple14) -> rule4)) -> rule1))] Harry is round.[(triple16)] @1: Anne is white.[(((triple1 triple4) -> rule5) OR ((triple1 ((triple3) -> rule1)) -> rule5))] Bob is furry.[(((triple7 triple8) -> rule2) OR ((((triple8) -> rule4) triple8) -> rule2) OR ((((triple6 triple9) -> rule6) triple8) -> rule2))] Bob is round.[(((triple10) -> rule7))]