hylotab-1.2.0: examples/sat/form15.frm

begin
<>p1;
<><>-p1;
<><><>p1;
<><><><>-p1;
<><><><><>p1;
<><><><><><>-p1;
[](p1 & [](-p1 & [](p1 & [](-p1 & [](p1 & []-p1)))))
end