Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is smart. Bob is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is smart. Charlie is young. All big people are blue. If someone is red and young then they are big. Big, red people are blue. All big, smart people are young. Smart people are cold. All blue, cold people are big.
Bob is not blue.