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