Anne is cold. Anne is green. Bob is cold. Dave is cold. Dave is nice. Dave is quiet. Gary is blue. Gary is cold. Gary is not green. Gary is nice. Cold, green people are round. If someone is cold and nice then they are furry. If someone is nice and blue then they are not green. If Gary is not cold then Gary is blue. If someone is not nice then they are furry. All green people are not blue.
Gary is round.