Bob is cold. Bob is quiet. Bob is white. Bob is young. Charlie is quiet. Charlie is rough. Charlie is smart. If something is cold then it is smart. If Bob is smart then Bob is white.
Charlie is not cold.