that the correction occurs but the covering percale does not occur is incorrect.
sent1: the fact that the scrapping occurs and the cursing does not occur does not hold if the correction occurs. sent2: if the fact that the scrap happens and the curse does not occur is false then the azimuthalness happens. sent3: the curse happens. sent4: if the fading occurs the fact that the caucusing antefix does not occur and the choking does not occur is not true. sent5: if the sedation does not occur and/or the telegraphicness occurs the Z does not occur. sent6: if the fact that the piscineness and the admeasuring Calvinist happens does not hold then the curse does not occur. sent7: that the areolarness happens and the covering percale occurs is triggered by that the continualness does not occur. sent8: the continualness does not occur if the fact that the caucusing antefix does not occur and the choke does not occur is wrong. sent9: if the fact that the scrapping happens and/or the curse does not occur is wrong then the javelin does not occur. sent10: that the Z does not occur causes that the fading happens and the covering tinker occurs. sent11: the sobriety happens. sent12: if that the scrap does not occur is true then the fact that the piscineness happens and the admeasuring Calvinist occurs is incorrect. sent13: that the scrapping happens prevents the covering percale. sent14: the scrap results in that the correction but not the covering percale occurs. sent15: if the caucusing sheepskin does not occur then that the simulation and the covering aeroembolism occurs is wrong. sent16: the correction occurs if the covering percale happens. sent17: that the covering percale does not occur is right. sent18: that the curse does not occur is brought about by the non-piscineness.
void -> assump1: Let's assume that the scrapping does not occur.; sent12 & assump1 -> int1: that the piscineness occurs and the admeasuring Calvinist occurs is wrong.; int1 & sent6 -> int2: the curse does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scrap occurs.; int4 & sent14 -> hypothesis;
the javelin does not occur.
$hypothesis$ = that the correction occurs but the covering percale does not occur is incorrect. ; $context$ = sent1: the fact that the scrapping occurs and the cursing does not occur does not hold if the correction occurs. sent2: if the fact that the scrap happens and the curse does not occur is false then the azimuthalness happens. sent3: the curse happens. sent4: if the fading occurs the fact that the caucusing antefix does not occur and the choking does not occur is not true. sent5: if the sedation does not occur and/or the telegraphicness occurs the Z does not occur. sent6: if the fact that the piscineness and the admeasuring Calvinist happens does not hold then the curse does not occur. sent7: that the areolarness happens and the covering percale occurs is triggered by that the continualness does not occur. sent8: the continualness does not occur if the fact that the caucusing antefix does not occur and the choke does not occur is wrong. sent9: if the fact that the scrapping happens and/or the curse does not occur is wrong then the javelin does not occur. sent10: that the Z does not occur causes that the fading happens and the covering tinker occurs. sent11: the sobriety happens. sent12: if that the scrap does not occur is true then the fact that the piscineness happens and the admeasuring Calvinist occurs is incorrect. sent13: that the scrapping happens prevents the covering percale. sent14: the scrap results in that the correction but not the covering percale occurs. sent15: if the caucusing sheepskin does not occur then that the simulation and the covering aeroembolism occurs is wrong. sent16: the correction occurs if the covering percale happens. sent17: that the covering percale does not occur is right. sent18: that the curse does not occur is brought about by the non-piscineness. ; $proof$ = 
void -> assump1: Let's assume that the scrapping does not occur.; sent12 & assump1 -> int1: that the piscineness occurs and the admeasuring Calvinist occurs is wrong.; int1 & sent6 -> int2: the curse does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scrap occurs.; int4 & sent14 -> hypothesis; __DISPROVED__