the boron is not a Dorado.
sent1: the fact that something is fiducial and it is a Dorado is false if it does not inflate prostatectomy. sent2: the vintage is not nonfinancial. sent3: if the fact that the iconoclast is a speller and does not recharge is incorrect that it is not staphylococcal hold. sent4: if the dolphin is fiducial then the bogmat is not biflagellate or rings or both. sent5: the dolphin is biflagellate and a Potorous. sent6: something is scotomatous but it is not virile if that it does not sample dolphin is not incorrect. sent7: if either the hangover is not fiducial or it is scotomatous or both then the boron is a Dorado. sent8: if the vintage is non-nonfinancial the fact that that the iconoclast is a kind of a speller and does not recharge is true is not correct. sent9: the hangover is not fiducial and/or is scotomatous if that the homebrew does not inflate prostatectomy is not incorrect. sent10: if the dolphin is a kind of biflagellate thing that is a Potorous then the homebrew does not inflate prostatectomy. sent11: that the dolphin is a Potorous is not false. sent12: the boron does cloud Akwa'ala and it is scotomatous. sent13: the dolphin does not inflate prostatectomy if the homebrew is both scotomatous and not virile. sent14: the boron is a Dorado if the hangover is scotomatous. sent15: the homebrew does not sample dolphin if the fact that the hangover sample dolphin and it is staphylococcal is not right.
sent10 & sent5 -> int1: the homebrew does not inflate prostatectomy.; sent9 & int1 -> int2: the hangover is either not fiducial or scotomatous or both.; sent7 & int2 -> hypothesis;
the bogmat is not biflagellate and/or it does ring.
$hypothesis$ = the boron is not a Dorado. ; $context$ = sent1: the fact that something is fiducial and it is a Dorado is false if it does not inflate prostatectomy. sent2: the vintage is not nonfinancial. sent3: if the fact that the iconoclast is a speller and does not recharge is incorrect that it is not staphylococcal hold. sent4: if the dolphin is fiducial then the bogmat is not biflagellate or rings or both. sent5: the dolphin is biflagellate and a Potorous. sent6: something is scotomatous but it is not virile if that it does not sample dolphin is not incorrect. sent7: if either the hangover is not fiducial or it is scotomatous or both then the boron is a Dorado. sent8: if the vintage is non-nonfinancial the fact that that the iconoclast is a kind of a speller and does not recharge is true is not correct. sent9: the hangover is not fiducial and/or is scotomatous if that the homebrew does not inflate prostatectomy is not incorrect. sent10: if the dolphin is a kind of biflagellate thing that is a Potorous then the homebrew does not inflate prostatectomy. sent11: that the dolphin is a Potorous is not false. sent12: the boron does cloud Akwa'ala and it is scotomatous. sent13: the dolphin does not inflate prostatectomy if the homebrew is both scotomatous and not virile. sent14: the boron is a Dorado if the hangover is scotomatous. sent15: the homebrew does not sample dolphin if the fact that the hangover sample dolphin and it is staphylococcal is not right. ; $proof$ = 
sent10 & sent5 -> int1: the homebrew does not inflate prostatectomy.; sent9 & int1 -> int2: the hangover is either not fiducial or scotomatous or both.; sent7 & int2 -> hypothesis; __DISPROVED__