the Ascension does not occur.
sent1: the blinding caucus does not occur if that the junketing does not occur and the subscriptness does not occur is not correct. sent2: the fact that both the karyokineticness and the catalectic occurs is not correct if the repoting subdirectory does not occur. sent3: if that the blinding caucus does not occur and the junketing does not occur does not hold the intradermalness happens. sent4: that the intradermalness occurs leads to the karyokineticness. sent5: the repoting subdirectory does not occur. sent6: if that the subscriptness does not occur hold then that the blinding caucus does not occur and the junketing does not occur is not correct. sent7: the Ascension occurs if the fact that the fishing does not occur and the repoting tonsure does not occur is not true. sent8: if the fact that the purpose happens and the repoting subdirectory does not occur is false the fact that the repoting subdirectory occurs is right. sent9: that the subscript happens is true if that the junketing does not occur and the subscript does not occur is not right. sent10: the karyokineticness does not occur if that the karyokineticness happens and the catalecticness occurs is wrong. sent11: if the blinding caucus does not occur then that the call-back happens and the chelonianness occurs is not true. sent12: that the fishing does not occur and the repoting tonsure does not occur prevents that the subscriptness occurs.
void -> assump1: Let's assume that the fishing does not occur and the repoting tonsure does not occur.; sent12 & assump1 -> int1: the subscriptness does not occur.; int1 & sent6 -> int2: that the blinding caucus does not occur and the junketing does not occur is false.; int2 & sent3 -> int3: that the intradermalness happens is true.; int3 & sent4 -> int4: the karyokineticness occurs.; sent2 & sent5 -> int5: that the karyokineticness happens and the catalectic happens is not true.; sent10 & int5 -> int6: the karyokineticness does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the fishing does not occur and the repoting tonsure does not occur is incorrect.; int8 & sent7 -> hypothesis;
that the call-back occurs and the chelonian occurs is not true.
$hypothesis$ = the Ascension does not occur. ; $context$ = sent1: the blinding caucus does not occur if that the junketing does not occur and the subscriptness does not occur is not correct. sent2: the fact that both the karyokineticness and the catalectic occurs is not correct if the repoting subdirectory does not occur. sent3: if that the blinding caucus does not occur and the junketing does not occur does not hold the intradermalness happens. sent4: that the intradermalness occurs leads to the karyokineticness. sent5: the repoting subdirectory does not occur. sent6: if that the subscriptness does not occur hold then that the blinding caucus does not occur and the junketing does not occur is not correct. sent7: the Ascension occurs if the fact that the fishing does not occur and the repoting tonsure does not occur is not true. sent8: if the fact that the purpose happens and the repoting subdirectory does not occur is false the fact that the repoting subdirectory occurs is right. sent9: that the subscript happens is true if that the junketing does not occur and the subscript does not occur is not right. sent10: the karyokineticness does not occur if that the karyokineticness happens and the catalecticness occurs is wrong. sent11: if the blinding caucus does not occur then that the call-back happens and the chelonianness occurs is not true. sent12: that the fishing does not occur and the repoting tonsure does not occur prevents that the subscriptness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fishing does not occur and the repoting tonsure does not occur.; sent12 & assump1 -> int1: the subscriptness does not occur.; int1 & sent6 -> int2: that the blinding caucus does not occur and the junketing does not occur is false.; int2 & sent3 -> int3: that the intradermalness happens is true.; int3 & sent4 -> int4: the karyokineticness occurs.; sent2 & sent5 -> int5: that the karyokineticness happens and the catalectic happens is not true.; sent10 & int5 -> int6: the karyokineticness does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the fishing does not occur and the repoting tonsure does not occur is incorrect.; int8 & sent7 -> hypothesis; __DISPROVED__