HTab-1.5.4: examples/unsat/test03.frm

signature { automatic } theory
{

P1 |  P2 ;
P1 | !P2;
!P1
}