#
# contains false conjectures
#
$x p(x) |= q(a) | ~p(a)
