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 Fiona is young or Anne is not the mother of Harry then The aunt of Anne is not Bob.