Nick Yee's logic puzzles

I love logic puzzles. Today, I found two good ones linked on the Hacker News RSS feed. Check them out at Nick Yee's homepage. It didn't take me long to find a solution for the first one... I'm still working on the second.