there is something such that if it is not a pronator then it is both joyous and not non-bilious.
sent1: there is something such that if it is not unfruitful then it is a kind of a incorruptness and debriefs fieldfare. sent2: if the exposure is not a hydroxyproline it is nonsectarian and it is a gang. sent3: there exists something such that if it does abandon omphalocele then it is nonwoody and denominational. sent4: there exists something such that if it does not investigate 500 it is a scaphocephaly. sent5: if the nombril is not a round then it is a kind of a pounder. sent6: if something is not a pronator it investigates 500 and is a medley. sent7: if the Marseille does not debrief Centranthus it is a pronator that is a kind of an underachiever. sent8: if the Marseille is not a pronator then it is a medley and it does evade. sent9: if something is not linguistics it is a rescue and it is a incorruptness. sent10: there exists something such that if it is a pronator it is joyous and it is bilious. sent11: if the Marseille is not a pronator then it is joyous and bilious. sent12: the Marrano is faecal and does abandon exposure if it is not non-bilious. sent13: the mephobarbital is both joyous and backless if it is not Sufi. sent14: there exists something such that if it is not a pronator it is joyous. sent15: if the fact that the Marseille is a pronator is true it is joyous and it is bilious. sent16: there is something such that if it is not a pronator it is bilious. sent17: the Marseille is joyous if it is not a kind of a pronator.
sent11 -> hypothesis;
there exists something such that if it is not linguistics it is a kind of a rescue and it is a incorruptness.
sent9 -> int1: if that the weigher is linguistics is not right it rescues and is a incorruptness.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a pronator then it is both joyous and not non-bilious. ; $context$ = sent1: there is something such that if it is not unfruitful then it is a kind of a incorruptness and debriefs fieldfare. sent2: if the exposure is not a hydroxyproline it is nonsectarian and it is a gang. sent3: there exists something such that if it does abandon omphalocele then it is nonwoody and denominational. sent4: there exists something such that if it does not investigate 500 it is a scaphocephaly. sent5: if the nombril is not a round then it is a kind of a pounder. sent6: if something is not a pronator it investigates 500 and is a medley. sent7: if the Marseille does not debrief Centranthus it is a pronator that is a kind of an underachiever. sent8: if the Marseille is not a pronator then it is a medley and it does evade. sent9: if something is not linguistics it is a rescue and it is a incorruptness. sent10: there exists something such that if it is a pronator it is joyous and it is bilious. sent11: if the Marseille is not a pronator then it is joyous and bilious. sent12: the Marrano is faecal and does abandon exposure if it is not non-bilious. sent13: the mephobarbital is both joyous and backless if it is not Sufi. sent14: there exists something such that if it is not a pronator it is joyous. sent15: if the fact that the Marseille is a pronator is true it is joyous and it is bilious. sent16: there is something such that if it is not a pronator it is bilious. sent17: the Marseille is joyous if it is not a kind of a pronator. ; $proof$ = 
sent11 -> hypothesis; __PROVED__