the Dostoevskianness does not occur.
sent1: the catapulting terrier happens and the allocation happens. sent2: both the quoits and the Dostoevskianness happens if the rationalistness does not occur. sent3: the Jovianness yields that the flouncing does not occur. sent4: the advent happens and the grant-in-aid happens. sent5: if the ritual does not occur the tapping happens. sent6: the Dostoevskianness is caused by that the rationalistness does not occur and the catapulting shuffle does not occur. sent7: the phonemicness does not occur. sent8: the rationalistness occurs. sent9: that the eclipsing does not occur and the quoits does not occur causes the non-phonemicness. sent10: the concordance occurs. sent11: the ritualness does not occur. sent12: the concordance occurs and the Jovianness occurs. sent13: that the cryptanalyticness does not occur is not incorrect if the catapulting shuffle does not occur and the flounce does not occur. sent14: that the Colombianness happens and the aid occurs is triggered by that the catapulting disfluency does not occur. sent15: the storming occurs and the trumpeting occurs. sent16: the callosotomy does not occur if the binauralness occurs. sent17: if the ritualness does not occur then the taps and the cryptanalyticness occurs. sent18: the taps occurs. sent19: if the adornment happens then the philandering half-truth does not occur. sent20: that the Dostoevskianness happens and the rationalistness happens prevents that the catapulting shuffle happens.
void -> assump1: Let's assume that the Dostoevskianness occurs.; assump1 & sent8 -> int1: both the Dostoevskianness and the rationalistness occurs.; int1 & sent20 -> int2: the catapulting shuffle does not occur.; sent12 -> int3: that the Jovianness happens is right.; sent3 & int3 -> int4: the flouncing does not occur.; int2 & int4 -> int5: the catapulting shuffle does not occur and the flouncing does not occur.; int5 & sent13 -> int6: that the cryptanalyticness does not occur is not false.; sent17 & sent11 -> int7: both the tapping and the cryptanalyticness happens.; int7 -> int8: the cryptanalyticness happens.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
both the quoits and the belaboring Midwest occurs.
$hypothesis$ = the Dostoevskianness does not occur. ; $context$ = sent1: the catapulting terrier happens and the allocation happens. sent2: both the quoits and the Dostoevskianness happens if the rationalistness does not occur. sent3: the Jovianness yields that the flouncing does not occur. sent4: the advent happens and the grant-in-aid happens. sent5: if the ritual does not occur the tapping happens. sent6: the Dostoevskianness is caused by that the rationalistness does not occur and the catapulting shuffle does not occur. sent7: the phonemicness does not occur. sent8: the rationalistness occurs. sent9: that the eclipsing does not occur and the quoits does not occur causes the non-phonemicness. sent10: the concordance occurs. sent11: the ritualness does not occur. sent12: the concordance occurs and the Jovianness occurs. sent13: that the cryptanalyticness does not occur is not incorrect if the catapulting shuffle does not occur and the flounce does not occur. sent14: that the Colombianness happens and the aid occurs is triggered by that the catapulting disfluency does not occur. sent15: the storming occurs and the trumpeting occurs. sent16: the callosotomy does not occur if the binauralness occurs. sent17: if the ritualness does not occur then the taps and the cryptanalyticness occurs. sent18: the taps occurs. sent19: if the adornment happens then the philandering half-truth does not occur. sent20: that the Dostoevskianness happens and the rationalistness happens prevents that the catapulting shuffle happens. ; $proof$ = 
void -> assump1: Let's assume that the Dostoevskianness occurs.; assump1 & sent8 -> int1: both the Dostoevskianness and the rationalistness occurs.; int1 & sent20 -> int2: the catapulting shuffle does not occur.; sent12 -> int3: that the Jovianness happens is right.; sent3 & int3 -> int4: the flouncing does not occur.; int2 & int4 -> int5: the catapulting shuffle does not occur and the flouncing does not occur.; int5 & sent13 -> int6: that the cryptanalyticness does not occur is not false.; sent17 & sent11 -> int7: both the tapping and the cryptanalyticness happens.; int7 -> int8: the cryptanalyticness happens.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__