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