Dave is not Charlie's wife. Anne is round. The grandfather of Dave is not Erin if Fiona is not Charlie's husband. Erin is not cold if Erin is white. Erin is white if Dave is not Charlie's wife. If Erin is not cold or Anne is round then The husband of Charlie is not Fiona.