SZS status Theorem for i/f/bool/IMP__CONJ__THM
