Simple checker for theorems of first-order logic.