the paperhanger erases arccotangent.
sent1: The effervescence does erase Demulen. sent2: that the paperhanger erases arccotangent hold if a Brest is abiogenetic. sent3: if the Demulen is abiogenetic and does fiddle then it does not erase effervescence. sent4: if the Demulen is not abiogenetic the effervescence is a Brest. sent5: if the Demulen is not abiogenetic then the effervescence is a Brest and it is not abiogenetic. sent6: the Demulen does fiddle. sent7: there are abiogenetic things. sent8: the Demulen does erase effervescence.
void -> assump1: Let's assume that the Demulen is abiogenetic.; assump1 & sent6 -> int1: the Demulen is abiogenetic thing that does fiddle.; int1 & sent3 -> int2: the Demulen does not erase effervescence.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Demulen is not abiogenetic is not false.; int4 & sent5 -> int5: the effervescence is both a Brest and abiogenetic.; int5 -> int6: there exists something such that it is a Brest and it is abiogenetic.; int6 & sent2 -> hypothesis;
$hypothesis$ = the paperhanger erases arccotangent. ; $context$ = sent1: The effervescence does erase Demulen. sent2: that the paperhanger erases arccotangent hold if a Brest is abiogenetic. sent3: if the Demulen is abiogenetic and does fiddle then it does not erase effervescence. sent4: if the Demulen is not abiogenetic the effervescence is a Brest. sent5: if the Demulen is not abiogenetic then the effervescence is a Brest and it is not abiogenetic. sent6: the Demulen does fiddle. sent7: there are abiogenetic things. sent8: the Demulen does erase effervescence. ; $proof$ = 
void -> assump1: Let's assume that the Demulen is abiogenetic.; assump1 & sent6 -> int1: the Demulen is abiogenetic thing that does fiddle.; int1 & sent3 -> int2: the Demulen does not erase effervescence.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Demulen is not abiogenetic is not false.; int4 & sent5 -> int5: the effervescence is both a Brest and abiogenetic.; int5 -> int6: there exists something such that it is a Brest and it is abiogenetic.; int6 & sent2 -> hypothesis; __PROVED__