the vacating Weber does not occur or the Moroccan happens or both.
sent1: if the canonization happens the fact that the diathermy occurs and the vacating Oedogonium does not occur is not correct. sent2: if the cartwheeling occurs the forteness occurs. sent3: that the summarization but not the cartwheel happens is triggered by that the vacating self-gratification does not occur. sent4: the fingering resale occurs. sent5: if the fact that both the non-Rooseveltianness and the summarization happens does not hold the summarization does not occur. sent6: if that the diathermy occurs but the vacating Oedogonium does not occur is not correct then the landler does not occur. sent7: the summarization occurs if the fact that the forte occurs is correct. sent8: that the haircare happens hold if the fact that the review does not occur and the haircare does not occur does not hold. sent9: the cartwheel happens if the fact that the vacating Weber does not occur or the Moroccan occurs or both is not right. sent10: if the landler does not occur then that the review does not occur and the haircare does not occur does not hold. sent11: the vacating self-gratification does not occur and the Rooseveltianness does not occur if the haircare happens. sent12: that both the non-Rooseveltianness and the summarization occurs is not true. sent13: the unsoldness or the allophonicness or both occurs.
void -> assump1: Let's assume that the fact that the vacating Weber does not occur or the Moroccan happens or both is not true.; sent9 & assump1 -> int1: the cartwheel happens.; int1 & sent2 -> int2: the forte occurs.; int2 & sent7 -> int3: the summarization happens.; sent5 & sent12 -> int4: the summarization does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the sleet happens.
$hypothesis$ = the vacating Weber does not occur or the Moroccan happens or both. ; $context$ = sent1: if the canonization happens the fact that the diathermy occurs and the vacating Oedogonium does not occur is not correct. sent2: if the cartwheeling occurs the forteness occurs. sent3: that the summarization but not the cartwheel happens is triggered by that the vacating self-gratification does not occur. sent4: the fingering resale occurs. sent5: if the fact that both the non-Rooseveltianness and the summarization happens does not hold the summarization does not occur. sent6: if that the diathermy occurs but the vacating Oedogonium does not occur is not correct then the landler does not occur. sent7: the summarization occurs if the fact that the forte occurs is correct. sent8: that the haircare happens hold if the fact that the review does not occur and the haircare does not occur does not hold. sent9: the cartwheel happens if the fact that the vacating Weber does not occur or the Moroccan occurs or both is not right. sent10: if the landler does not occur then that the review does not occur and the haircare does not occur does not hold. sent11: the vacating self-gratification does not occur and the Rooseveltianness does not occur if the haircare happens. sent12: that both the non-Rooseveltianness and the summarization occurs is not true. sent13: the unsoldness or the allophonicness or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the vacating Weber does not occur or the Moroccan happens or both is not true.; sent9 & assump1 -> int1: the cartwheel happens.; int1 & sent2 -> int2: the forte occurs.; int2 & sent7 -> int3: the summarization happens.; sent5 & sent12 -> int4: the summarization does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__