Bob is cold. Bob is not furry. Bob is not red. Bob is not smart. Bob is not white. Charlie is cold. Charlie is nice. Gary is nice. Gary is red. Gary is smart. If someone is not red then they are blue.
Gary is not blue.