Bob is big. Bob is not blue. Bob is cold. Bob is smart. Charlie is big. Charlie is not kind. Charlie is red. Charlie is smart. Gary is blue. Gary is furry. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is not smart. All blue, smart people are kind. All cold people are kind. All furry people are cold. If someone is blue and not cold then they are smart. If someone is smart and not cold then they are not blue. If Gary is blue and Gary is not cold then Gary is big.
Gary is not red.