Anne is not blue. Bob is furry. Bob is nice. Charlie is blue. Charlie is not nice. Charlie is round. Gary is round. If something is not rough then it is green. All round things are not big. If something is green and not big then it is round.
Gary is not green.