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