Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is round. Bob is not smart. Bob is not white. Harry is furry. Harry is round. Harry is white. If something is white then it is smart. White, smart things are red.
Harry is not red.