Anne is cold. Charlie is cold. Charlie is round. If Charlie is green then Charlie is kind. If something is kind then it is not blue. If something is not big then it is not green. If something is round then it is cold. If Anne is round and Anne is not blue then Anne is not cold. If something is round and not cold then it is not green.
Anne is cold.