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. The grandmother of Dave is not Erin if Bob is not Anne's aunt or The mother of Bob is Harry.