that the capillarity either does protest bowfin or is a couch or both does not hold.
sent1: the bowfin is a Dipylon if the capillarity does not protest bowfin. sent2: if the fact that something either does rerun capillarity or does not rerun rubbing or both is wrong it does not trundle modem. sent3: the capillarity is a Dipylon if the bowfin does not protest bowfin. sent4: the bowfin is a kind of a couch. sent5: there is something such that the fact that it reruns rubbing and does not trundle modem is not true. sent6: the bowfin does protest bowfin. sent7: if there exists something such that the fact that it reruns rubbing and it does not trundle modem is not true then the bowfin is not a kind of a Dipylon.
void -> assump1: Let's assume that the capillarity does not protest bowfin.; sent1 & assump1 -> int1: the bowfin is Dipylon.; sent5 & sent7 -> int2: the bowfin is not Dipylon.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capillarity does protest bowfin.; int4 -> hypothesis;
the capillarity is not Dipylon.
sent2 -> int5: if that the capillarity does rerun capillarity and/or it does not rerun rubbing is wrong then it does not trundle modem.;
$hypothesis$ = that the capillarity either does protest bowfin or is a couch or both does not hold. ; $context$ = sent1: the bowfin is a Dipylon if the capillarity does not protest bowfin. sent2: if the fact that something either does rerun capillarity or does not rerun rubbing or both is wrong it does not trundle modem. sent3: the capillarity is a Dipylon if the bowfin does not protest bowfin. sent4: the bowfin is a kind of a couch. sent5: there is something such that the fact that it reruns rubbing and does not trundle modem is not true. sent6: the bowfin does protest bowfin. sent7: if there exists something such that the fact that it reruns rubbing and it does not trundle modem is not true then the bowfin is not a kind of a Dipylon. ; $proof$ = 
void -> assump1: Let's assume that the capillarity does not protest bowfin.; sent1 & assump1 -> int1: the bowfin is Dipylon.; sent5 & sent7 -> int2: the bowfin is not Dipylon.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capillarity does protest bowfin.; int4 -> hypothesis; __DISPROVED__