context: The grandfather of Harry is not Gary. Erin is not Bob's daughter. 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. Anne is the mother of Harry if Gary is Harry's grandfather or The daughter of Bob is Erin.