the fact that the surfacing reverse and the publishing happens does not hold.
sent1: that the hormonalness happens causes that the algebraicness does not occur and the publishing does not occur. sent2: the algebraicness does not occur. sent3: if the fact that the anuranness does not occur is right the omission and/or the spoiling bleu occurs. sent4: the attenuating does not occur. sent5: both the goalkeeper and the angiospermousness occurs. sent6: the photomechanicalness occurs. sent7: the omission occurs. sent8: the hazing does not occur and the Kwanzaa occurs. sent9: the fact that the attenuating and the debriefing bazaar occurs is not right. sent10: the halfback and the debriefing Housman happens. sent11: the fact that the attenuating does not occur but the debriefing bazaar occurs is incorrect if the surfacing reverse does not occur. sent12: the publishing occurs. sent13: if the surfacing reverse does not occur the fact that both the attenuating and the debriefing bazaar occurs is not correct. sent14: if the algebraicness does not occur the attenuating does not occur. sent15: the amplifying pin occurs and the surfacing reverse happens if the publishing does not occur. sent16: the fundamental does not occur. sent17: the transitionalness does not occur. sent18: if that the algebraicness does not occur is not false not the attenuating but the debriefing bazaar occurs. sent19: that not the symbolism but the debriefing orbitale happens is wrong if that the amnioticness does not occur is not incorrect.
void -> assump1: Let's assume that that the surfacing reverse does not occur is not false.; sent11 & assump1 -> int1: that that not the attenuating but the debriefing bazaar happens hold does not hold.; sent18 & sent2 -> int2: the attenuating does not occur but the debriefing bazaar happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the surfacing reverse occurs.; int4 & sent12 -> hypothesis;
the fact that both the surfacing reverse and the publishing occurs does not hold.
 -> hypothesis;
$hypothesis$ = the fact that the surfacing reverse and the publishing happens does not hold. ; $context$ = sent1: that the hormonalness happens causes that the algebraicness does not occur and the publishing does not occur. sent2: the algebraicness does not occur. sent3: if the fact that the anuranness does not occur is right the omission and/or the spoiling bleu occurs. sent4: the attenuating does not occur. sent5: both the goalkeeper and the angiospermousness occurs. sent6: the photomechanicalness occurs. sent7: the omission occurs. sent8: the hazing does not occur and the Kwanzaa occurs. sent9: the fact that the attenuating and the debriefing bazaar occurs is not right. sent10: the halfback and the debriefing Housman happens. sent11: the fact that the attenuating does not occur but the debriefing bazaar occurs is incorrect if the surfacing reverse does not occur. sent12: the publishing occurs. sent13: if the surfacing reverse does not occur the fact that both the attenuating and the debriefing bazaar occurs is not correct. sent14: if the algebraicness does not occur the attenuating does not occur. sent15: the amplifying pin occurs and the surfacing reverse happens if the publishing does not occur. sent16: the fundamental does not occur. sent17: the transitionalness does not occur. sent18: if that the algebraicness does not occur is not false not the attenuating but the debriefing bazaar occurs. sent19: that not the symbolism but the debriefing orbitale happens is wrong if that the amnioticness does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the surfacing reverse does not occur is not false.; sent11 & assump1 -> int1: that that not the attenuating but the debriefing bazaar happens hold does not hold.; sent18 & sent2 -> int2: the attenuating does not occur but the debriefing bazaar happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the surfacing reverse occurs.; int4 & sent12 -> hypothesis; __DISPROVED__