Returns #t if each set other than the last is a proper superset of the following set, and #f otherwise.