there exists something such that if it is incorrupt then it does not bear scab and outshouts Gynura.
sent1: there exists something such that if it rekindles it is not a Gaudi and it is abstract. sent2: the counterirritant does bear scab and it outshouts Gynura if it is incorrupt. sent3: there exists something such that if it is incorrupt it does bear scab and it outshouts Gynura. sent4: something is not a Cistothorus and does even babbitt if that it does houseclean declension hold. sent5: there is something such that if it is genetic that it is not a kind of a Ionesco and it is a reassurance hold. sent6: if the chalet outshouts counterirritant then it does not bear godwit and it outshouts Gynura. sent7: the counterirritant does outshout Gynura if it is incorrupt. sent8: the counterirritant does not outshout Gynura and is not non-postmenopausal if the fact that it does outshout zebibit hold. sent9: if something is incorrupt it does not bear scab and it does outshout Gynura. sent10: there is something such that if it is incorrupt then it does outshout Gynura. sent11: there is something such that if it is incorrupt then it does not bear scab. sent12: something that evens babbitt does not outshout cosmographer and bears nitrobacterium. sent13: there exists something such that if it is a kind of a Mombasa then it does not even recognition and evolves.
sent9 -> int1: if the counterirritant is incorrupt it does not bear scab and it outshouts Gynura.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is incorrupt then it does not bear scab and outshouts Gynura. ; $context$ = sent1: there exists something such that if it rekindles it is not a Gaudi and it is abstract. sent2: the counterirritant does bear scab and it outshouts Gynura if it is incorrupt. sent3: there exists something such that if it is incorrupt it does bear scab and it outshouts Gynura. sent4: something is not a Cistothorus and does even babbitt if that it does houseclean declension hold. sent5: there is something such that if it is genetic that it is not a kind of a Ionesco and it is a reassurance hold. sent6: if the chalet outshouts counterirritant then it does not bear godwit and it outshouts Gynura. sent7: the counterirritant does outshout Gynura if it is incorrupt. sent8: the counterirritant does not outshout Gynura and is not non-postmenopausal if the fact that it does outshout zebibit hold. sent9: if something is incorrupt it does not bear scab and it does outshout Gynura. sent10: there is something such that if it is incorrupt then it does outshout Gynura. sent11: there is something such that if it is incorrupt then it does not bear scab. sent12: something that evens babbitt does not outshout cosmographer and bears nitrobacterium. sent13: there exists something such that if it is a kind of a Mombasa then it does not even recognition and evolves. ; $proof$ = 
sent9 -> int1: if the counterirritant is incorrupt it does not bear scab and it outshouts Gynura.; int1 -> hypothesis; __PROVED__