the mongoose is not a stonewaller.
sent1: something is a kind of a cosmolatry and does not administer if the fact that it is not a stonewaller is not incorrect. sent2: the levitation is non-igneous but it is a kind of a minuscule. sent3: a non-asphaltic thing that is not new is not a kind of a cosmolatry. sent4: the crotch is new and it is a cosmolatry. sent5: if something is not asphaltic then it does not pestle levitation. sent6: the crotch is not animalistic and/or is a regularity if the ruga does bunt. sent7: something is a kind of a regularity if it is not animalistic or it is a regularity or both. sent8: the Washingtonian pestles levitation if the ruga administers. sent9: the crotch is non-asphaltic thing that is not new if it is a kind of a regularity. sent10: the Washingtonian is not asphaltic. sent11: there is something such that that it either is not asphaltic or is not new or both does not hold. sent12: if that the crotch does administer and/or it does not pestle levitation is incorrect the mongoose is not a stonewaller. sent13: the mongoose does not pestle levitation. sent14: if the crotch is not a kind of a minuscule but it is a cosmolatry then the mongoose is a stonewaller. sent15: if something is not a cosmolatry then that it administers or it does not pestle levitation or both is wrong. sent16: if the fact that the crotch is not dysplastic and it is not a minuscule is wrong the ruga does administer.
void -> assump1: Let's assume that that the crotch is not dysplastic and it is not a minuscule is wrong.; sent16 & assump1 -> int1: the ruga does administer.; int1 & sent8 -> int2: the Washingtonian does pestle levitation.; sent5 -> int3: the Washingtonian does not pestle levitation if it is not asphaltic.; int3 & sent10 -> int4: the Washingtonian does not pestle levitation.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the crotch is non-dysplastic thing that is non-minuscule.; int6 -> int7: the crotch is not a kind of a minuscule.; sent4 -> int8: the crotch is a cosmolatry.; int7 & int8 -> int9: the crotch is non-minuscule and a cosmolatry.; int9 & sent14 -> hypothesis;
the mongoose is not a kind of a stonewaller.
sent15 -> int10: if the crotch is not a cosmolatry the fact that it administers and/or does not pestle levitation is wrong.; sent3 -> int11: if the crotch is not asphaltic and it is not new it is not a cosmolatry.; sent7 -> int12: if the crotch is not animalistic and/or is a regularity then it is a regularity.;
$hypothesis$ = the mongoose is not a stonewaller. ; $context$ = sent1: something is a kind of a cosmolatry and does not administer if the fact that it is not a stonewaller is not incorrect. sent2: the levitation is non-igneous but it is a kind of a minuscule. sent3: a non-asphaltic thing that is not new is not a kind of a cosmolatry. sent4: the crotch is new and it is a cosmolatry. sent5: if something is not asphaltic then it does not pestle levitation. sent6: the crotch is not animalistic and/or is a regularity if the ruga does bunt. sent7: something is a kind of a regularity if it is not animalistic or it is a regularity or both. sent8: the Washingtonian pestles levitation if the ruga administers. sent9: the crotch is non-asphaltic thing that is not new if it is a kind of a regularity. sent10: the Washingtonian is not asphaltic. sent11: there is something such that that it either is not asphaltic or is not new or both does not hold. sent12: if that the crotch does administer and/or it does not pestle levitation is incorrect the mongoose is not a stonewaller. sent13: the mongoose does not pestle levitation. sent14: if the crotch is not a kind of a minuscule but it is a cosmolatry then the mongoose is a stonewaller. sent15: if something is not a cosmolatry then that it administers or it does not pestle levitation or both is wrong. sent16: if the fact that the crotch is not dysplastic and it is not a minuscule is wrong the ruga does administer. ; $proof$ = 
void -> assump1: Let's assume that that the crotch is not dysplastic and it is not a minuscule is wrong.; sent16 & assump1 -> int1: the ruga does administer.; int1 & sent8 -> int2: the Washingtonian does pestle levitation.; sent5 -> int3: the Washingtonian does not pestle levitation if it is not asphaltic.; int3 & sent10 -> int4: the Washingtonian does not pestle levitation.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the crotch is non-dysplastic thing that is non-minuscule.; int6 -> int7: the crotch is not a kind of a minuscule.; sent4 -> int8: the crotch is a cosmolatry.; int7 & int8 -> int9: the crotch is non-minuscule and a cosmolatry.; int9 & sent14 -> hypothesis; __DISPROVED__