context: Gary is Harry's grandfather. 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. 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 Anne is blue or Erin is not the grandmother of Dave then Erin is smart.