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