Two Logicians

Solves the "Two Logicians" puzzle.