The festivities had died down; the streets were empting out.
The streets were packed as the festivities raged on.
mnli hypothesis: The streets were packed as the festivities raged on. premise: The festivities had died down; the streets were empting out.