Anne is blue. Anne is cold. Anne is green. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Charlie is blue. Charlie is cold. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is white. Blue people are white. If someone is rough and cold then they are white.
Charlie is not rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Bob is blue.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16 OR ((triple10) -> rule1) OR ((triple15 triple11) -> rule2))] @1: Anne is white.[(((triple1) -> rule1))] Bob is white.[(((triple4) -> rule1))] Charlie is white.[(((triple8) -> rule1))]