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