Waiters at Work solver

This is an automatic, deduction-based solver for the Waiters at Work daily puzzle from Layton's Mystery Journey, which as far as I can tell is an original puzzle type for the game. I don't actually find it all that interesting, which is perhaps proven by how a handful of relatively simple deduction rules are enough to solve every puzzle in the game, but I just had an urge to write a solver for it …