Bob is red. Bob is rough. Fiona is cold. Fiona is red. Gary is cold. Gary is nice. Gary is red. Gary is smart. Harry is cold. Harry is furry. Harry is red. Harry is smart. If something is red and furry then it is blue. Cold things are nice. If something is rough and smart then it is furry. If something is rough then it is smart. If Bob is blue and Bob is furry then Bob is smart. If something is cold then it is smart. If something is nice and blue then it is cold. If Gary is cold and Gary is smart then Gary is rough. All blue things are nice.
Bob is not blue.