if the fluosilicate is not a kind of a swabbing the fact that either the bullpen is a cheetah or it is extrasensory or both is false.
sent1: something is a moss. sent2: something is intraventricular but it is not lossless if the fact that it does not officialize pitchfork is not incorrect. sent3: if the bullpen is a kind of a swabbing that the fluosilicate is extrasensory and/or is a cheetah does not hold. sent4: that the bullpen is a cheetah and/or it is a swabbing is not correct if the fluosilicate is extrasensory. sent5: the fact that if the fluosilicate is not a kind of a cheetah then either the bullpen does swab or it is extrasensory or both is correct. sent6: if something is a kind of a moss the Caddo is not a Finnbogadottir and is a kind of a devil. sent7: if the bullpen is not a cheetah then the fluosilicate is a cheetah and/or is extrasensory. sent8: if that the fluosilicate is not a swabbing is correct then it is not a cheetah. sent9: if the fluosilicate is not extrasensory then the bullpen is not a cheetah. sent10: if the fluosilicate is not a kind of a swabbing the bullpen is not a kind of a swabbing. sent11: the fact that something is a kind of non-extrasensory thing that does swab does not hold if it is not gymnastic. sent12: if something that is intraventricular is not lossless it is not gymnastic. sent13: the bullpen is a cheetah and/or it is extrasensory if the fluosilicate is not a kind of a cheetah. sent14: the psilophyte is not a cheetah if that the fluosilicate is non-extrasensory thing that is a kind of a swabbing is wrong. sent15: if the fluosilicate is not a cheetah that the bullpen is a cheetah and/or it is extrasensory does not hold. sent16: the fact that the bullpen is a cheetah and/or it is extrasensory does not hold if the fluosilicate is a kind of a swabbing. sent17: if there is something such that the fact that it is a kind of a feast and it does satiate is incorrect then the fluosilicate does not officialize pitchfork. sent18: if there exists something such that the fact that it is not a kind of a Finnbogadottir is true then the fact that the bullpen does feast and it satiates does not hold.
void -> assump1: Let's assume that the fluosilicate is not a swabbing.; sent8 & assump1 -> int1: the fluosilicate is not a cheetah.; sent15 & int1 -> int2: that the bullpen is a cheetah and/or it is extrasensory is not correct.; [assump1] & int2 -> hypothesis;
the psilophyte is not a cheetah.
sent11 -> int3: if the fluosilicate is not gymnastic then that it is both not extrasensory and a swabbing is not correct.; sent12 -> int4: the fluosilicate is not gymnastic if it is intraventricular and it is not lossless.; sent2 -> int5: the fluosilicate is intraventricular but it is not lossless if it does not officialize pitchfork.; sent1 & sent6 -> int6: the Caddo is not a Finnbogadottir but it devils.; int6 -> int7: the Caddo is not a Finnbogadottir.; int7 -> int8: there is something such that it is not a Finnbogadottir.; int8 & sent18 -> int9: the fact that the bullpen is a feast and it does satiate is wrong.; int9 -> int10: there exists something such that that it does feast and it is satiate is not correct.; int10 & sent17 -> int11: the fluosilicate does not officialize pitchfork.; int5 & int11 -> int12: the fluosilicate is intraventricular and is not lossless.; int4 & int12 -> int13: the fluosilicate is not gymnastic.; int3 & int13 -> int14: that the fluosilicate is non-extrasensory a swabbing is false.; sent14 & int14 -> hypothesis;
$hypothesis$ = if the fluosilicate is not a kind of a swabbing the fact that either the bullpen is a cheetah or it is extrasensory or both is false. ; $context$ = sent1: something is a moss. sent2: something is intraventricular but it is not lossless if the fact that it does not officialize pitchfork is not incorrect. sent3: if the bullpen is a kind of a swabbing that the fluosilicate is extrasensory and/or is a cheetah does not hold. sent4: that the bullpen is a cheetah and/or it is a swabbing is not correct if the fluosilicate is extrasensory. sent5: the fact that if the fluosilicate is not a kind of a cheetah then either the bullpen does swab or it is extrasensory or both is correct. sent6: if something is a kind of a moss the Caddo is not a Finnbogadottir and is a kind of a devil. sent7: if the bullpen is not a cheetah then the fluosilicate is a cheetah and/or is extrasensory. sent8: if that the fluosilicate is not a swabbing is correct then it is not a cheetah. sent9: if the fluosilicate is not extrasensory then the bullpen is not a cheetah. sent10: if the fluosilicate is not a kind of a swabbing the bullpen is not a kind of a swabbing. sent11: the fact that something is a kind of non-extrasensory thing that does swab does not hold if it is not gymnastic. sent12: if something that is intraventricular is not lossless it is not gymnastic. sent13: the bullpen is a cheetah and/or it is extrasensory if the fluosilicate is not a kind of a cheetah. sent14: the psilophyte is not a cheetah if that the fluosilicate is non-extrasensory thing that is a kind of a swabbing is wrong. sent15: if the fluosilicate is not a cheetah that the bullpen is a cheetah and/or it is extrasensory does not hold. sent16: the fact that the bullpen is a cheetah and/or it is extrasensory does not hold if the fluosilicate is a kind of a swabbing. sent17: if there is something such that the fact that it is a kind of a feast and it does satiate is incorrect then the fluosilicate does not officialize pitchfork. sent18: if there exists something such that the fact that it is not a kind of a Finnbogadottir is true then the fact that the bullpen does feast and it satiates does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fluosilicate is not a swabbing.; sent8 & assump1 -> int1: the fluosilicate is not a cheetah.; sent15 & int1 -> int2: that the bullpen is a cheetah and/or it is extrasensory is not correct.; [assump1] & int2 -> hypothesis; __PROVED__