HTab-1.5.4: examples/unsat/test35.frm

signature { automatic } theory
{
down(N1 !N1)
}