Dave is blue. If The father of Fiona is not Erin then Gary is cold. If Dave is blue then Gary is not the aunt of Bob. If Gary is not the aunt of Bob then The father of Fiona is not Erin. The father of Charlie is not Harry if Gary is cold.