Anne is furry. Anne is green. Anne is nice. Anne is not red. Anne is round. Charlie is blue. Charlie is round. Gary is not blue. Gary is furry. Gary is not green. Gary is kind. Gary is nice. Gary is round. Harry is green. Harry is kind. Harry is not round. If something is nice and not green then it is not blue. If Charlie is green then Charlie is furry. If something is not blue then it is kind.
Charlie is blue.