the dehydrogenating adulteress happens.
sent1: the Anglo-catholicness causes that the arbitrariness happens. sent2: if that the epicyclicness occurs and/or the combination does not occur is true the combination does not occur. sent3: both the nonarbitraryness and the makeup happens if that the resubmitting Fillmore occurs is not incorrect. sent4: the amaranthineness happens. sent5: the fact that the non-Anglo-catholicness and the non-amaranthineness happens does not hold if the arbitrariness does not occur. sent6: the fact that the integration does not occur or the amaranthineness does not occur or both is wrong if the combination does not occur. sent7: that the know does not occur yields that both the combination and the resubmitting Fillmore happens. sent8: that the Anglo-catholicness does not occur causes that the flaring does not occur and the integration does not occur. sent9: that the knowing does not occur brings about that the dehydrogenating adulteress and the combination occurs. sent10: the dehydrogenating adulteress does not occur if the fact that the resubmitting Fillmore does not occur and the makeup does not occur is wrong. sent11: if that the amaranthineness but not the Anglo-catholicness happens is not true the incriminating happens. sent12: the fact that the resubmitting Fillmore does not occur and the makeup does not occur is not true if the arbitrariness happens. sent13: the epicyclicness but not the knowing occurs if the fact that the resubmitting priapism does not occur is true. sent14: the epicyclicness occurs.
void -> assump1: Let's assume that the fact that the Anglo-catholicness does not occur is right.; sent8 & assump1 -> int1: the flaring does not occur and the integration does not occur.; int1 -> int2: the integration does not occur.; int2 -> int3: the integration does not occur and/or the amaranthineness does not occur.; sent14 -> int4: the epicyclicness occurs and/or the combination does not occur.; sent2 & int4 -> int5: the combination does not occur.; sent6 & int5 -> int6: that the integration does not occur or the amaranthineness does not occur or both is incorrect.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Anglo-catholicness occurs.; int8 & sent1 -> int9: the arbitrariness occurs.; int9 & sent12 -> int10: the fact that the resubmitting Fillmore does not occur and the makeup does not occur is incorrect.; int10 & sent10 -> hypothesis;
the incriminating occurs.
$hypothesis$ = the dehydrogenating adulteress happens. ; $context$ = sent1: the Anglo-catholicness causes that the arbitrariness happens. sent2: if that the epicyclicness occurs and/or the combination does not occur is true the combination does not occur. sent3: both the nonarbitraryness and the makeup happens if that the resubmitting Fillmore occurs is not incorrect. sent4: the amaranthineness happens. sent5: the fact that the non-Anglo-catholicness and the non-amaranthineness happens does not hold if the arbitrariness does not occur. sent6: the fact that the integration does not occur or the amaranthineness does not occur or both is wrong if the combination does not occur. sent7: that the know does not occur yields that both the combination and the resubmitting Fillmore happens. sent8: that the Anglo-catholicness does not occur causes that the flaring does not occur and the integration does not occur. sent9: that the knowing does not occur brings about that the dehydrogenating adulteress and the combination occurs. sent10: the dehydrogenating adulteress does not occur if the fact that the resubmitting Fillmore does not occur and the makeup does not occur is wrong. sent11: if that the amaranthineness but not the Anglo-catholicness happens is not true the incriminating happens. sent12: the fact that the resubmitting Fillmore does not occur and the makeup does not occur is not true if the arbitrariness happens. sent13: the epicyclicness but not the knowing occurs if the fact that the resubmitting priapism does not occur is true. sent14: the epicyclicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Anglo-catholicness does not occur is right.; sent8 & assump1 -> int1: the flaring does not occur and the integration does not occur.; int1 -> int2: the integration does not occur.; int2 -> int3: the integration does not occur and/or the amaranthineness does not occur.; sent14 -> int4: the epicyclicness occurs and/or the combination does not occur.; sent2 & int4 -> int5: the combination does not occur.; sent6 & int5 -> int6: that the integration does not occur or the amaranthineness does not occur or both is incorrect.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Anglo-catholicness occurs.; int8 & sent1 -> int9: the arbitrariness occurs.; int9 & sent12 -> int10: the fact that the resubmitting Fillmore does not occur and the makeup does not occur is incorrect.; int10 & sent10 -> hypothesis; __DISPROVED__