that if the withdrawer does backstop handwheel then the thiamine does backstop Mugilidae is not right.
sent1: the thiamine backstops Mugilidae if there is something such that it is not a bib-and-tucker. sent2: the thiamine does backstop Mugilidae if there exists something such that the fact that it is a kind of a bib-and-tucker and it does not backstop handwheel is not correct.
void -> assump1: Let's assume that the withdrawer is a bib-and-tucker and does not backstop handwheel.; assump1 -> int1: the withdrawer does not backstop handwheel.; void -> assump2: Let's assume that the withdrawer backstops handwheel.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the withdrawer is a kind of a bib-and-tucker but it does not backstop handwheel does not hold.; int3 -> int4: there exists something such that that it is a kind of a bib-and-tucker that does not backstop handwheel does not hold.; int4 & sent2 -> int5: the thiamine does backstop Mugilidae.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that if the withdrawer does backstop handwheel then the thiamine does backstop Mugilidae is not right. ; $context$ = sent1: the thiamine backstops Mugilidae if there is something such that it is not a bib-and-tucker. sent2: the thiamine does backstop Mugilidae if there exists something such that the fact that it is a kind of a bib-and-tucker and it does not backstop handwheel is not correct. ; $proof$ = 
void -> assump1: Let's assume that the withdrawer is a bib-and-tucker and does not backstop handwheel.; assump1 -> int1: the withdrawer does not backstop handwheel.; void -> assump2: Let's assume that the withdrawer backstops handwheel.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the withdrawer is a kind of a bib-and-tucker but it does not backstop handwheel does not hold.; int3 -> int4: there exists something such that that it is a kind of a bib-and-tucker that does not backstop handwheel does not hold.; int4 & sent2 -> int5: the thiamine does backstop Mugilidae.; [assump2] & int5 -> hypothesis; __DISPROVED__