there exists something such that if it is not factorial but a plumbism then it does not style potoroo.
sent1: there exists something such that if it is a kind of a factorial that is a plumbism then it does not style potoroo. sent2: there is something such that if it does not mellow mistrial and is a kind of a loser it is not capacitive. sent3: there exists something such that if it is not a kind of a factorial and it is a plumbism it styles potoroo. sent4: if the custom-made is not a rockers but it is astigmatic then it is not a kayak. sent5: there exists something such that if it is not a snake and it is a rockers it does not mellow custom-made. sent6: the roe is not a kind of an implantation if it is a kind of non-afloat thing that is a guidepost. sent7: there is something such that if that it is not an aim and synthesizes Jewbush hold the fact that it is not a soman is not false. sent8: something is not Cromwellian if it is not incurious and it is technological. sent9: if the custom-made is non-factorial thing that is mutagenic then it does not mellow custom-made. sent10: the custom-made is not a kind of a factorial if it is not acidimetric and is Laputan. sent11: the custom-made does not style potoroo if it is non-factorial and a plumbism. sent12: there is something such that if it is not radiolucent and is a Nietzsche that it is not Arthurian is not incorrect. sent13: the custom-made styles potoroo if it is not a kind of a factorial and it is a plumbism. sent14: the custom-made does not style potoroo if it is factorial and a plumbism.
sent11 -> hypothesis;
there exists something such that if the fact that it is a kind of curious thing that is technological is not incorrect it is not Cromwellian.
sent8 -> int1: the swatter is not Cromwellian if it is not incurious and it is technological.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not factorial but a plumbism then it does not style potoroo. ; $context$ = sent1: there exists something such that if it is a kind of a factorial that is a plumbism then it does not style potoroo. sent2: there is something such that if it does not mellow mistrial and is a kind of a loser it is not capacitive. sent3: there exists something such that if it is not a kind of a factorial and it is a plumbism it styles potoroo. sent4: if the custom-made is not a rockers but it is astigmatic then it is not a kayak. sent5: there exists something such that if it is not a snake and it is a rockers it does not mellow custom-made. sent6: the roe is not a kind of an implantation if it is a kind of non-afloat thing that is a guidepost. sent7: there is something such that if that it is not an aim and synthesizes Jewbush hold the fact that it is not a soman is not false. sent8: something is not Cromwellian if it is not incurious and it is technological. sent9: if the custom-made is non-factorial thing that is mutagenic then it does not mellow custom-made. sent10: the custom-made is not a kind of a factorial if it is not acidimetric and is Laputan. sent11: the custom-made does not style potoroo if it is non-factorial and a plumbism. sent12: there is something such that if it is not radiolucent and is a Nietzsche that it is not Arthurian is not incorrect. sent13: the custom-made styles potoroo if it is not a kind of a factorial and it is a plumbism. sent14: the custom-made does not style potoroo if it is factorial and a plumbism. ; $proof$ = 
sent11 -> hypothesis; __PROVED__