the fact that the sallow does not embrown Goodyera hold.
sent1: if the fact that the sallow embrowns Goodyera is not false then that it is not a porte-cochere and not cenobitic is not correct. sent2: the fact that the manila does not horn Helena and is non-cenobitic is wrong. sent3: if the audile is not a drum then that the sallow does not embrown Goodyera and does not embrown pill is not true. sent4: if the audile does drum then the sallow is not a porte-cochere and it is not cenobitic. sent5: something embrowns Goodyera if the fact that it does not embrowns Goodyera and does not embrown pill is false. sent6: the audile is a drum.
void -> assump1: Let's assume that that the sallow embrowns Goodyera is not incorrect.; sent1 & assump1 -> int1: the fact that the sallow is both not a porte-cochere and not cenobitic is false.; sent4 & sent6 -> int2: the sallow is not a porte-cochere and it is not cenobitic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the sallow embrowns Goodyera.
sent5 -> int4: the fact that if that the sallow does not embrown Goodyera and does not embrown pill is incorrect then the sallow embrown Goodyera hold.;
$hypothesis$ = the fact that the sallow does not embrown Goodyera hold. ; $context$ = sent1: if the fact that the sallow embrowns Goodyera is not false then that it is not a porte-cochere and not cenobitic is not correct. sent2: the fact that the manila does not horn Helena and is non-cenobitic is wrong. sent3: if the audile is not a drum then that the sallow does not embrown Goodyera and does not embrown pill is not true. sent4: if the audile does drum then the sallow is not a porte-cochere and it is not cenobitic. sent5: something embrowns Goodyera if the fact that it does not embrowns Goodyera and does not embrown pill is false. sent6: the audile is a drum. ; $proof$ = 
void -> assump1: Let's assume that that the sallow embrowns Goodyera is not incorrect.; sent1 & assump1 -> int1: the fact that the sallow is both not a porte-cochere and not cenobitic is false.; sent4 & sent6 -> int2: the sallow is not a porte-cochere and it is not cenobitic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__