Anne is blue. Anne is red. Anne is smart. Bob is red. Bob is smart. Charlie is green. Harry is rough. All cold people are blue. All red people are cold. All smart people are rough.
Charlie is not blue.