the fact that either the Ford does not occur or the eugenicsness happens or both hold.
sent1: the hypothecating Elamite does not occur if that the capacitance happens and the scrambling cutthroat occurs is not true. sent2: the bilabialness occurs. sent3: the hypothecating Luddite occurs. sent4: the fact that either the Ford does not occur or the eugenicsness happens or both does not hold if the hypothecating Luddite does not occur. sent5: the fact that the fact that the freeness happens and the disturbing occurs hold is wrong if the capacitance does not occur. sent6: the hypothecating Thuringia happens. sent7: that the free and the easing happens is caused by that the devoir does not occur. sent8: the two-dimensionalness occurs and/or the monotheisticness happens. sent9: that the devoir does not occur leads to the easing. sent10: that the Ford or the eugenicsness or both happens is triggered by that the hypothecating Elamite does not occur. sent11: the Ford does not occur and/or the eugenicsness occurs if the fact that the hypothecating Elamite does not occur is not false. sent12: the devoir does not occur. sent13: the easing occurs. sent14: if that the scrambling cutthroat does not occur is correct the hypothecating Elamite does not occur. sent15: that the hypothecating Luddite and the disturbing occurs prevents the free. sent16: if that the scrambling cutthroat does not occur is not wrong then the capacitance does not occur. sent17: that both the capacitance and the scrambling cutthroat occurs is false if the disturbing does not occur. sent18: both the Carthusianness and the hypothecating Luddite occurs if the fact that the scrambling cutthroat does not occur is not incorrect.
void -> assump1: Let's assume that the disturbing happens.; sent3 & assump1 -> int1: the hypothecating Luddite occurs and the disturbing occurs.; int1 & sent15 -> int2: the freeing does not occur.; sent7 & sent12 -> int3: the free and the easing happens.; int3 -> int4: the freeing occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the disturbing does not occur.; int6 & sent17 -> int7: that both the capacitance and the scrambling cutthroat occurs does not hold.; int7 & sent1 -> int8: the fact that the hypothecating Elamite does not occur hold.; int8 & sent11 -> hypothesis;
the Carthusian and the foreshowing aikido happens.
$hypothesis$ = the fact that either the Ford does not occur or the eugenicsness happens or both hold. ; $context$ = sent1: the hypothecating Elamite does not occur if that the capacitance happens and the scrambling cutthroat occurs is not true. sent2: the bilabialness occurs. sent3: the hypothecating Luddite occurs. sent4: the fact that either the Ford does not occur or the eugenicsness happens or both does not hold if the hypothecating Luddite does not occur. sent5: the fact that the fact that the freeness happens and the disturbing occurs hold is wrong if the capacitance does not occur. sent6: the hypothecating Thuringia happens. sent7: that the free and the easing happens is caused by that the devoir does not occur. sent8: the two-dimensionalness occurs and/or the monotheisticness happens. sent9: that the devoir does not occur leads to the easing. sent10: that the Ford or the eugenicsness or both happens is triggered by that the hypothecating Elamite does not occur. sent11: the Ford does not occur and/or the eugenicsness occurs if the fact that the hypothecating Elamite does not occur is not false. sent12: the devoir does not occur. sent13: the easing occurs. sent14: if that the scrambling cutthroat does not occur is correct the hypothecating Elamite does not occur. sent15: that the hypothecating Luddite and the disturbing occurs prevents the free. sent16: if that the scrambling cutthroat does not occur is not wrong then the capacitance does not occur. sent17: that both the capacitance and the scrambling cutthroat occurs is false if the disturbing does not occur. sent18: both the Carthusianness and the hypothecating Luddite occurs if the fact that the scrambling cutthroat does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the disturbing happens.; sent3 & assump1 -> int1: the hypothecating Luddite occurs and the disturbing occurs.; int1 & sent15 -> int2: the freeing does not occur.; sent7 & sent12 -> int3: the free and the easing happens.; int3 -> int4: the freeing occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the disturbing does not occur.; int6 & sent17 -> int7: that both the capacitance and the scrambling cutthroat occurs does not hold.; int7 & sent1 -> int8: the fact that the hypothecating Elamite does not occur hold.; int8 & sent11 -> hypothesis; __PROVED__