more neg_clausify proofs that get replaced by direct proofs
more neg_clausify proofs that get replaced by direct proofs

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle