HTab-1.6.1: examples/unsat/test03.frm

begin
P1 |  P2 ;
P1 | !P2;
!P1
end