HTab-1.5.4: examples/unsat/test08.frm

signature { automatic } theory

{
  !([R1](P1 | !P1))
}