hylotab-1.2.0: examples/unsat/form26.frm

begin
<>@ n1 n2;
@ n1 (p2 -> @n2 p1);
@n1 p2;
- @ n2 p1
end