context: Gary is not rough. Erin is young. If Erin is red then Anne is not smart. Erin is red if Gary is not rough. If Anne is not smart then Harry is not quiet. If Harry is not quiet or Erin is young then The aunt of Anne is Erin.