Anne is young. Dave is red. Dave is young. Gary is big. Gary is blue. Gary is cold. Gary is not kind. Gary is not red. Gary is not white. Gary is not young. If Gary is red and Gary is not white then Gary is not young. If someone is kind then they are blue. If Gary is white then Gary is kind. If someone is not cold then they are red. Kind people are red. If someone is kind and not red then they are not white.
Dave is cold.