Bob is blue. Bob is furry. Bob is green. Bob is red. Dave is blue. Dave is cold. Dave is kind. Dave is white. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Gary is cold. Gary is furry. Blue, kind things are green. If something is kind then it is green. All kind, green things are red. All red things are blue. All kind things are green. All blue things are red. If Gary is cold and Gary is white then Gary is kind. Furry things are white.
Gary is not kind.