Bob is big. Bob is green. Bob is round. Harry is big. Harry is nice. Harry is red. Harry is smart. If Bob is green then Bob is round. If Bob is red then Bob is green. If something is white and red then it is round. If Harry is big then Harry is nice. Red things are round. White things are nice. If something is big and red then it is white. All white things are red.
Bob is not white.