the aficionado does angle harpooner and/or it does angle Paralipomenon.
sent1: if something quenches then it is a carbonado. sent2: the fact that the aficionado angles harpooner is not wrong if it is a carbonado. sent3: if there exists something such that the fact that it either is not a kind of a Gnosticism or is expressible or both does not hold the aficionado quenches. sent4: there exists something such that that it is not a Gnosticism and/or is expressible is incorrect.
sent4 & sent3 -> int1: the aficionado does quench.; sent1 -> int2: the aficionado is a carbonado if it quenches.; int1 & int2 -> int3: that the aficionado is a carbonado hold.; int3 & sent2 -> int4: the aficionado does angle harpooner.; int4 -> hypothesis;
$hypothesis$ = the aficionado does angle harpooner and/or it does angle Paralipomenon. ; $context$ = sent1: if something quenches then it is a carbonado. sent2: the fact that the aficionado angles harpooner is not wrong if it is a carbonado. sent3: if there exists something such that the fact that it either is not a kind of a Gnosticism or is expressible or both does not hold the aficionado quenches. sent4: there exists something such that that it is not a Gnosticism and/or is expressible is incorrect. ; $proof$ = 
sent4 & sent3 -> int1: the aficionado does quench.; sent1 -> int2: the aficionado is a carbonado if it quenches.; int1 & int2 -> int3: that the aficionado is a carbonado hold.; int3 & sent2 -> int4: the aficionado does angle harpooner.; int4 -> hypothesis; __PROVED__