Anne is blue. Anne is not white. Dave is quiet. Harry is big. Harry is not quiet. Harry is smart. Harry is young. If something is big and not quiet then it is white. If something is blue and not young then it is rough. All rough, blue things are smart. If something is big then it is smart. If Harry is not young and Harry is not rough then Harry is blue. If something is not white then it is smart.
Dave is not smart.