context: Gary is Harry's grandfather. 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 Bob is not the aunt of Anne then Erin is not the grandmother of Dave. If Harry is the grandfather of Gary or The grandmother of Dave is not Erin then Erin is not smart.