Phoenix Wright: Ace Attorney

The Phoenix Wright series is awesome.

If only there was a way to convert theorem prover queries into amusing court cases and have children of all ages help us find contradictions.

Misc:



http://objection.mrdictionary.net/index.php

+ the whole slew of youtube videos (e.g., this, this')