that the sportscaster is a kind of non-Polynesian a coma is wrong.
sent1: the adz is not a pyx and it does not reinforce pro-lifer. sent2: the adz is not a Polynesian if it is not antemortem and it is not a pyx. sent3: the rambler is not a kind of a readout but it is a kind of a pug. sent4: if the adz is not a Polynesian then the sportscaster is not a kind of a Polynesian and is a coma. sent5: the adz is not antemortem if that the rambler is not a flicker but it is limbless does not hold. sent6: the rambler is a readout if it is not a flicker and it is limbless.
void -> assump1: Let's assume that that the rambler does not flicker and is limbless hold.; sent6 & assump1 -> int1: the rambler is a readout.; sent3 -> int2: the rambler is not a readout.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rambler does not flicker but it is limbless is false.; int4 & sent5 -> int5: the adz is not antemortem.; sent1 -> int6: the adz is not a kind of a pyx.; int5 & int6 -> int7: the adz is not antemortem and it is not a pyx.; int7 & sent2 -> int8: that the adz is not a kind of a Polynesian hold.; int8 & sent4 -> hypothesis;
$hypothesis$ = that the sportscaster is a kind of non-Polynesian a coma is wrong. ; $context$ = sent1: the adz is not a pyx and it does not reinforce pro-lifer. sent2: the adz is not a Polynesian if it is not antemortem and it is not a pyx. sent3: the rambler is not a kind of a readout but it is a kind of a pug. sent4: if the adz is not a Polynesian then the sportscaster is not a kind of a Polynesian and is a coma. sent5: the adz is not antemortem if that the rambler is not a flicker but it is limbless does not hold. sent6: the rambler is a readout if it is not a flicker and it is limbless. ; $proof$ = 
void -> assump1: Let's assume that that the rambler does not flicker and is limbless hold.; sent6 & assump1 -> int1: the rambler is a readout.; sent3 -> int2: the rambler is not a readout.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rambler does not flicker but it is limbless is false.; int4 & sent5 -> int5: the adz is not antemortem.; sent1 -> int6: the adz is not a kind of a pyx.; int5 & int6 -> int7: the adz is not antemortem and it is not a pyx.; int7 & sent2 -> int8: that the adz is not a kind of a Polynesian hold.; int8 & sent4 -> hypothesis; __DISPROVED__