the fact that if the shell tags voicelessness then the tenor does not orb and does not shag is false.
sent1: the pollinium does not tag voicelessness if the shell does orb. sent2: that the shell does gauge expansionism is not incorrect. sent3: the pollinium does not orb if something does tag voicelessness and it does gauge expansionism. sent4: the pollinium does gauge expansionism. sent5: that the tenor does not orb and it is not a kind of a shag if the pollinium does not orb hold. sent6: if the tenor is a shag then the shell does not orb and does not tag voicelessness. sent7: That the expansionism does gauge shell is not incorrect. sent8: there exists something such that it is a kind of a shag and it does orb.
void -> assump1: Let's assume that the shell tags voicelessness.; assump1 & sent2 -> int1: the shell tags voicelessness and it does gauge expansionism.; int1 -> int2: there is something such that it tags voicelessness and gauges expansionism.; int2 & sent3 -> int3: the pollinium does not orb.; sent5 & int3 -> int4: the tenor does not orb and it is not a shag.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the shell tags voicelessness then the tenor does not orb and does not shag is false. ; $context$ = sent1: the pollinium does not tag voicelessness if the shell does orb. sent2: that the shell does gauge expansionism is not incorrect. sent3: the pollinium does not orb if something does tag voicelessness and it does gauge expansionism. sent4: the pollinium does gauge expansionism. sent5: that the tenor does not orb and it is not a kind of a shag if the pollinium does not orb hold. sent6: if the tenor is a shag then the shell does not orb and does not tag voicelessness. sent7: That the expansionism does gauge shell is not incorrect. sent8: there exists something such that it is a kind of a shag and it does orb. ; $proof$ = 
void -> assump1: Let's assume that the shell tags voicelessness.; assump1 & sent2 -> int1: the shell tags voicelessness and it does gauge expansionism.; int1 -> int2: there is something such that it tags voicelessness and gauges expansionism.; int2 & sent3 -> int3: the pollinium does not orb.; sent5 & int3 -> int4: the tenor does not orb and it is not a shag.; [assump1] & int4 -> hypothesis; __DISPROVED__