that if the neuroepithelium bestrews flurazepam then the sunburst is a kind of a main-topsail does not hold.
sent1: the neuroepithelium is a main-topsail if the sunburst bestrews flurazepam. sent2: that the sunburst is a kind of a main-topsail is right if it is a Webster. sent3: the sunburst bestrews flurazepam if the neuroepithelium is a kind of a main-topsail. sent4: the neuroepithelium is uricosuric. sent5: if the sunburst bestrews flurazepam the fact that it is not a main-topsail does not hold. sent6: the neuroepithelium is a Webster if it does bestrew flurazepam. sent7: if the neuroepithelium is a Webster the sunburst is a main-topsail. sent8: the names is a Webster.
void -> assump1: Let's assume that the neuroepithelium bestrews flurazepam.; sent6 & assump1 -> int1: the neuroepithelium is a kind of a Webster.; sent7 & int1 -> int2: the sunburst is a kind of a main-topsail.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the neuroepithelium bestrews flurazepam then the sunburst is a kind of a main-topsail does not hold. ; $context$ = sent1: the neuroepithelium is a main-topsail if the sunburst bestrews flurazepam. sent2: that the sunburst is a kind of a main-topsail is right if it is a Webster. sent3: the sunburst bestrews flurazepam if the neuroepithelium is a kind of a main-topsail. sent4: the neuroepithelium is uricosuric. sent5: if the sunburst bestrews flurazepam the fact that it is not a main-topsail does not hold. sent6: the neuroepithelium is a Webster if it does bestrew flurazepam. sent7: if the neuroepithelium is a Webster the sunburst is a main-topsail. sent8: the names is a Webster. ; $proof$ = 
void -> assump1: Let's assume that the neuroepithelium bestrews flurazepam.; sent6 & assump1 -> int1: the neuroepithelium is a kind of a Webster.; sent7 & int1 -> int2: the sunburst is a kind of a main-topsail.; [assump1] & int2 -> hypothesis; __DISPROVED__