Anne is cold. Anne is green. Anne is quiet. Bob is not cold. Bob is furry. Bob is green. Bob is quiet. Bob is smart. Bob is white. Harry is not cold. Harry is furry. Harry is green. Harry is quiet. Harry is smart. Harry is not white. If Bob is not furry then Bob is quiet. Furry people are green. All furry, cold people are green. If Anne is not furry then Anne is not smart. All blue people are cold. If someone is quiet and not white then they are not cold. All blue people are smart. If Anne is white then Anne is not green.
Harry is not white.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Bob is furry.[(triple5)] Bob is green.[(triple6 OR ((triple5) -> rule2))] Bob is not cold.[(triple4)] Bob is quiet.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple11) -> rule2))] Harry is not cold.[(triple10 OR ((triple13 triple15) -> rule6))] Harry is not white.[(triple15)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)]