SZS status Theorem for i/f/ConseqConv/AND__CLAUSES__TX
