SZS status Theorem for i/f/ConseqConv/OR__CLAUSES__XX
