c an ALC problem
p cnf 2 2
[[[not(p), 1], [q, 2]]]-1 2 0
[[[p, 1]]]1 0