that the pail does not outstare maleberry and is a Schleiden is wrong.
sent1: the pail is a kind of a Schleiden. sent2: something is not headless but it is not non-bohemian if it is a kind of a ascender. sent3: the Pollock is both not congenial and not Lusitanian. sent4: if that the pail is dogmatic and does not outstare ceramics is wrong then it is not a ascender. sent5: if that something is a ascender but it is not headless is wrong it does not outstare maleberry. sent6: the pail is not a ascender. sent7: that the pail is not blastomycotic and is a familiarization is right.
void -> assump1: Let's assume that the pail is a kind of a ascender but it is headed.; assump1 -> int1: the pail is a kind of a ascender.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the pail is a ascender but it is not headless is not correct.; sent5 -> int4: the pail does not outstare maleberry if the fact that it is a kind of a ascender and it is headed does not hold.; int3 & int4 -> int5: the pail does not outstare maleberry.; int5 & sent1 -> hypothesis;
the fact that the microgliacyte is both headed and not non-bohemian is right.
sent2 -> int6: the microgliacyte is not headless and is a kind of a bohemian if it is a kind of a ascender.;
$hypothesis$ = that the pail does not outstare maleberry and is a Schleiden is wrong. ; $context$ = sent1: the pail is a kind of a Schleiden. sent2: something is not headless but it is not non-bohemian if it is a kind of a ascender. sent3: the Pollock is both not congenial and not Lusitanian. sent4: if that the pail is dogmatic and does not outstare ceramics is wrong then it is not a ascender. sent5: if that something is a ascender but it is not headless is wrong it does not outstare maleberry. sent6: the pail is not a ascender. sent7: that the pail is not blastomycotic and is a familiarization is right. ; $proof$ = 
void -> assump1: Let's assume that the pail is a kind of a ascender but it is headed.; assump1 -> int1: the pail is a kind of a ascender.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the pail is a ascender but it is not headless is not correct.; sent5 -> int4: the pail does not outstare maleberry if the fact that it is a kind of a ascender and it is headed does not hold.; int3 & int4 -> int5: the pail does not outstare maleberry.; int5 & sent1 -> hypothesis; __DISPROVED__