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