context: Bob is not rough. Charlie is not Anne's aunt. Harry is not red. If Charlie is not Anne's aunt then Fiona is not the daughter of Dave. If Harry is white then Fiona is the daughter of Dave. Erin is rough if Bob is not rough. Erin is not rough if Harry is white. Anne is the son of Harry if The aunt of Anne is not Charlie. If Harry is white then The son of Harry is not Anne. Dave is white if Harry is white. The uncle of Bob is not Gary if Harry is white. Fiona is not Charlie's son if Bob is not rough. If Harry is white then The son of Charlie is Fiona. If The daughter of Dave is not Fiona then Bob is not nice. Bob is nice if Dave is white. If Harry is white then Dave is not red. The uncle of Fiona is not Anne if Dave is not red. Harry is cold if Bob is not nice. Harry is not cold if Harry is white. Dave is Gary's sister if Bob is not nice. If Harry is white then Dave is not the sister of Gary. If The daughter of Dave is not Fiona then Charlie is Harry's mother. Charlie is not Harry's mother if The uncle of Bob is not Gary. The grandfather of Erin is Dave if Bob is not nice. If Dave is white then The grandfather of Erin is not Dave. Anne is green if The sister of Gary is Dave. If Gary is not Bob's uncle then Anne is not green. Fiona is the father of Harry if Charlie is not Anne's aunt. If The uncle of Bob is not Gary then Fiona is not the father of Harry. Bob is blue if Harry is cold. If Harry is white then Bob is not blue. The daughter of Harry is Dave if Anne is not Fiona's uncle. Fiona is not white if Bob is not nice. Fiona is white if Anne is not Fiona's uncle. Anne is not Gary's grandfather if Bob is blue. The grandfather of Gary is Anne if Gary is not Bob's uncle.