Bob is blue. Bob is round. Bob is not smart. Harry is big. Harry is green. Harry is smart. Harry is white. All white people are green. If Bob is big then Bob is smart. All smart people are blue. If someone is not big then they are not green. Blue, white people are round. If someone is not blue then they are smart. If someone is red and not blue then they are white. If someone is white and not blue then they are green.
Harry is not red.