HTab-1.5.4: examples/sat/test11.frm

signature { automatic } theory
{
<>p1 & <><>!p1 & <><><>p1 & <><><><>!p1 & <><><><><>p1 & <><><><><><>!p1;
[](p1 & [](!p1 & [](p1 & [](!p1 & [](p1 & []!p1)))))
}