Dave is nice. Dave is rough. Dave is smart. Harry is nice. Harry is rough. Harry is smart. Harry is white. Big things are red. If something is big then it is round. Rough, red things are smart. If something is big and not nice then it is red. If something is white and not rough then it is big. If something is not rough then it is white. If something is nice and not rough then it is big. If something is not white then it is smart.
Harry is not white.