SZS status Theorem for i/f/ConseqConv/NOT__CLAUSES__X
