context: Gary is Harry's grandfather. Erin is nice. Anne is not Harry's mother if Gary is the grandfather of Harry. The aunt of Anne is not Bob if Anne is not the mother of Harry. If Erin is nice or The aunt of Anne is not Bob then Erin is Dave's grandmother.