the whorehouse does not acidify.
sent1: if that the breadwinner is non-synovial thing that is not a NB does not hold the creosol is a pumpkin. sent2: that the tangency is a transcription and it menstruates phycology is not correct. sent3: the whorehouse acidifies if the breadwinner is not synovial and/or it is a NB. sent4: the breadwinner is not synovial or is a NB or both if the creosol is a NB. sent5: either the whorehouse does not acidify or it is a NB or both. sent6: the creosol is a pumpkin. sent7: the breadwinner does not menstruate phycology if that the copartner tins fish-fly and menstruate phycology is not true. sent8: the whorehouse is a kind of a NB. sent9: the creosol is a kind of a pumpkin and it is a NB. sent10: the whorehouse is not a pumpkin and/or it acidifies if the creosol does acidifies. sent11: the breadwinner is a NB if the creosol is not synovial. sent12: if the breadwinner does acidify then the whorehouse is synovial and/or acidify. sent13: if something does not tin copartner the fact that it is not synovial and it is not a kind of a NB is false. sent14: something does not tin copartner and it is not a diagonal if it does not menstruate phycology. sent15: the creosol acidifies. sent16: the diaphoretic does not menstruate phycology if that the tangency is a transcription and it does menstruate phycology does not hold.
sent9 -> int1: the creosol is a kind of a NB.; sent4 & int1 -> int2: the breadwinner is not synovial or it is a NB or both.; sent3 & int2 -> hypothesis;
the whorehouse does not acidify.
sent13 -> int3: if the fact that the breadwinner tins copartner is not true then that it is not synovial and not a NB does not hold.; sent14 -> int4: if the breadwinner does not menstruate phycology it does not tin copartner and is not a kind of a diagonal.; sent16 & sent2 -> int5: the diaphoretic does not menstruate phycology.; int5 -> int6: there is something such that it does not menstruate phycology.;
$hypothesis$ = the whorehouse does not acidify. ; $context$ = sent1: if that the breadwinner is non-synovial thing that is not a NB does not hold the creosol is a pumpkin. sent2: that the tangency is a transcription and it menstruates phycology is not correct. sent3: the whorehouse acidifies if the breadwinner is not synovial and/or it is a NB. sent4: the breadwinner is not synovial or is a NB or both if the creosol is a NB. sent5: either the whorehouse does not acidify or it is a NB or both. sent6: the creosol is a pumpkin. sent7: the breadwinner does not menstruate phycology if that the copartner tins fish-fly and menstruate phycology is not true. sent8: the whorehouse is a kind of a NB. sent9: the creosol is a kind of a pumpkin and it is a NB. sent10: the whorehouse is not a pumpkin and/or it acidifies if the creosol does acidifies. sent11: the breadwinner is a NB if the creosol is not synovial. sent12: if the breadwinner does acidify then the whorehouse is synovial and/or acidify. sent13: if something does not tin copartner the fact that it is not synovial and it is not a kind of a NB is false. sent14: something does not tin copartner and it is not a diagonal if it does not menstruate phycology. sent15: the creosol acidifies. sent16: the diaphoretic does not menstruate phycology if that the tangency is a transcription and it does menstruate phycology does not hold. ; $proof$ = 
sent9 -> int1: the creosol is a kind of a NB.; sent4 & int1 -> int2: the breadwinner is not synovial or it is a NB or both.; sent3 & int2 -> hypothesis; __DISPROVED__