something is both a funrun and valent.
sent1: the grizzly is not handleless. sent2: that the doughboy is not a rupee hold. sent3: if that the doughboy is a kind of a gulag hold the grizzly is handleless. sent4: that the doughboy is noncomprehensive is right if it is not a gulag and it is not a rupee. sent5: if the doughboy is noncomprehensive then the drunk-and-disorderly is valent. sent6: that the costusroot is not a funrun is not false. sent7: there exists something such that it is a rupee. sent8: the drunk-and-disorderly is a funrun. sent9: if the doughboy is handleless the scalp is a gulag.
void -> assump1: Let's assume that the doughboy is a kind of a gulag.; sent3 & assump1 -> int1: the grizzly is handleless.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the doughboy is not a gulag is not incorrect.; int3 & sent2 -> int4: the doughboy is not a gulag and is not a rupee.; int4 & sent4 -> int5: the doughboy is noncomprehensive.; int5 & sent5 -> int6: that the drunk-and-disorderly is valent is correct.; int6 & sent8 -> int7: the drunk-and-disorderly is a funrun and it is valent.; int7 -> hypothesis;
the scalp is valent.
$hypothesis$ = something is both a funrun and valent. ; $context$ = sent1: the grizzly is not handleless. sent2: that the doughboy is not a rupee hold. sent3: if that the doughboy is a kind of a gulag hold the grizzly is handleless. sent4: that the doughboy is noncomprehensive is right if it is not a gulag and it is not a rupee. sent5: if the doughboy is noncomprehensive then the drunk-and-disorderly is valent. sent6: that the costusroot is not a funrun is not false. sent7: there exists something such that it is a rupee. sent8: the drunk-and-disorderly is a funrun. sent9: if the doughboy is handleless the scalp is a gulag. ; $proof$ = 
void -> assump1: Let's assume that the doughboy is a kind of a gulag.; sent3 & assump1 -> int1: the grizzly is handleless.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the doughboy is not a gulag is not incorrect.; int3 & sent2 -> int4: the doughboy is not a gulag and is not a rupee.; int4 & sent4 -> int5: the doughboy is noncomprehensive.; int5 & sent5 -> int6: that the drunk-and-disorderly is valent is correct.; int6 & sent8 -> int7: the drunk-and-disorderly is a funrun and it is valent.; int7 -> hypothesis; __PROVED__