context: Gary is not the grandfather of Harry. Charlie is not round. 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. Anne is not the mother of Harry if Charlie is round or Gary is the grandfather of Harry.