simplify solution by dropping all conjuncts other than FALSE