Dave is not Charlie's wife. Erin is white if Dave is not Charlie's wife. Erin is not cold if Erin is white. The husband of Charlie is not Fiona if Erin is not cold. The grandfather of Dave is not Erin if Fiona is not Charlie's husband. Gary is not Fiona's uncle if Erin is not the grandfather of Dave.