Bob is blue. Bob is green. Bob is red. Bob is round. Bob is smart. Bob is white. Harry is red. If Harry is white then Harry is round. If Bob is white and Bob is red then Bob is smart. If something is green and round then it is red. If something is red then it is big. All big things are smart. If Bob is big then Bob is round. All big, red things are white. All red things are big.
Harry is not blue.