Dave is not Charlie's wife. Dave is blue. The grandfather of Dave is not Erin if Fiona is not Charlie's husband. Erin is white if Dave is not Charlie's wife. The husband of Charlie is not Fiona if Erin is not cold. Erin is not cold if Erin is white or Dave is blue.