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. If Harry is Charlie's father then Gary is blue. If Dave is not blue then The aunt of Bob is not Gary.