the page is not unhelpful.
sent1: if something is not noninfectious the fact that it is both not a powdered and not unhelpful is not true. sent2: the page is not modifiable if it is noninfectious. sent3: the gorge is noninfectious. sent4: the gorge is not an overhang but tabular if it is noninfectious. sent5: if the page is unhelpful the fact that the gorge is not an overhang and is tabular is not correct. sent6: something is not noninfectious if it is not non-Anglican and/or it slogs.
void -> assump1: Let's assume that the page is unhelpful.; sent5 & assump1 -> int1: that the gorge is both not an overhang and tabular is not true.; sent4 & sent3 -> int2: the gorge is not an overhang but it is tabular.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the page is unhelpful.
sent1 -> int4: the fact that the gorge is not a kind of a powdered and it is not unhelpful does not hold if the fact that it is not noninfectious is right.; sent6 -> int5: the gorge is not noninfectious if it is a kind of a Anglican and/or it slogs.;
$hypothesis$ = the page is not unhelpful. ; $context$ = sent1: if something is not noninfectious the fact that it is both not a powdered and not unhelpful is not true. sent2: the page is not modifiable if it is noninfectious. sent3: the gorge is noninfectious. sent4: the gorge is not an overhang but tabular if it is noninfectious. sent5: if the page is unhelpful the fact that the gorge is not an overhang and is tabular is not correct. sent6: something is not noninfectious if it is not non-Anglican and/or it slogs. ; $proof$ = 
void -> assump1: Let's assume that the page is unhelpful.; sent5 & assump1 -> int1: that the gorge is both not an overhang and tabular is not true.; sent4 & sent3 -> int2: the gorge is not an overhang but it is tabular.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__