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