simple tableaux solver for PL