the fact that if the checkmating does not occur that the culmination occurs and the levitation occurs is correct is not true.
sent1: the Nordicness happens. sent2: the vocation does not occur. sent3: if the fact that the calvary happens is not incorrect the culmination happens. sent4: the entozoanness occurs. sent5: the levitation happens. sent6: the unconventionalness does not occur. sent7: the fact that the checkmate does not occur and the personifying does not occur is not right. sent8: the non-unpretentiousness and the non-heavenliness occurs. sent9: the calvary happens if the personifying occurs. sent10: if the dirt happens then the expostulation occurs. sent11: if the checkmating occurs the culmination happens and the levitation occurs. sent12: the parching garishness occurs. sent13: the fact that the countersuit happens hold. sent14: the derision occurs if that the parching tsunami occurs is right. sent15: that the checkmating but not the personifying occurs is not true.
void -> assump2: Let's assume that the checkmate does not occur.; void -> assump1: Let's assume that the personifying does not occur.; assump2 & assump1 -> int1: the checkmating does not occur and the personifying does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the personifying occurs.; int3 & sent9 -> int4: the calvary occurs.; int4 & sent3 -> int5: that the culmination happens is not wrong.; int5 & sent5 -> int6: the culmination and the levitation happens.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the fact that if the checkmating does not occur that the culmination occurs and the levitation occurs is correct is not true. ; $context$ = sent1: the Nordicness happens. sent2: the vocation does not occur. sent3: if the fact that the calvary happens is not incorrect the culmination happens. sent4: the entozoanness occurs. sent5: the levitation happens. sent6: the unconventionalness does not occur. sent7: the fact that the checkmate does not occur and the personifying does not occur is not right. sent8: the non-unpretentiousness and the non-heavenliness occurs. sent9: the calvary happens if the personifying occurs. sent10: if the dirt happens then the expostulation occurs. sent11: if the checkmating occurs the culmination happens and the levitation occurs. sent12: the parching garishness occurs. sent13: the fact that the countersuit happens hold. sent14: the derision occurs if that the parching tsunami occurs is right. sent15: that the checkmating but not the personifying occurs is not true. ; $proof$ = 
void -> assump2: Let's assume that the checkmate does not occur.; void -> assump1: Let's assume that the personifying does not occur.; assump2 & assump1 -> int1: the checkmating does not occur and the personifying does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the personifying occurs.; int3 & sent9 -> int4: the calvary occurs.; int4 & sent3 -> int5: that the culmination happens is not wrong.; int5 & sent5 -> int6: the culmination and the levitation happens.; [assump2] & int6 -> hypothesis; __DISPROVED__