Bob is green. Bob is red. Bob is rough. Charlie is cold. Charlie is red. Charlie is young. Harry is green. Harry is red. Harry is smart. Harry is young. If something is red and young then it is blue. Rough things are cold. All blue things are cold. All blue, green things are cold. Cold things are green. Blue, cold things are young.
Bob is not blue.