It's not that easy. There's plenty of situations were (x or (not x)) is not true.

But in this case it was easier to anticipate: alice pays to bob, via mallory. That makes three parties in my book, so the money is either in the hands of alice, of bob, or of mallory.