The wife of Charlie is Dave. Bob is not cold. Erin is not cold if Erin is white. The husband of Charlie is not Fiona if Erin is not cold. Erin is white if Bob is cold or Dave is not the wife of Charlie.