the well averages Schefflera.
sent1: the afterthought is not fermentable and it is not an appendix. sent2: if the fact that the well does average Schefflera is true the afterthought is an appendix.
void -> assump1: Let's assume that the well does average Schefflera.; sent2 & assump1 -> int1: the afterthought is an appendix.; sent1 -> int2: the afterthought is not an appendix.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the well averages Schefflera. ; $context$ = sent1: the afterthought is not fermentable and it is not an appendix. sent2: if the fact that the well does average Schefflera is true the afterthought is an appendix. ; $proof$ = 
void -> assump1: Let's assume that the well does average Schefflera.; sent2 & assump1 -> int1: the afterthought is an appendix.; sent1 -> int2: the afterthought is not an appendix.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__