Bob is furry. Bob is red. Erin is blue. Erin is white. Gary is blue. Gary is green. Gary is red. Harry is furry. Harry is green. Harry is red. Harry is smart. Furry, blue people are white. All green people are furry. If Bob is smart and Bob is red then Bob is blue. Cold people are smart. Blue, white people are green. Green people are cold. If Harry is red and Harry is white then Harry is smart. If someone is white then they are furry. Red people are green.
Bob is not blue.