HTab-1.6.1: examples/sat/test08.frm

begin
   (<>(<>(<>(P1 <--> P2))));
   ([]P3);
   ([](P3 -> (P5 | P2)))
end