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