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