the whammy does not occur.
sent1: if the perpetuating NSAID occurs then that the Mark does not occur and the sway occurs is incorrect. sent2: that the immunohistochemistry does not occur prevents the non-dioeciousness. sent3: the caroling does not occur. sent4: both the Darwinianness and the Hegelianness happens if the fact that the stabling does not occur is correct. sent5: the fact that the resentfulness happens is right. sent6: the stabling does not occur. sent7: the ovoviviparousness occurs and the bilabial happens if the sway does not occur. sent8: the bilabial does not occur and the sway happens. sent9: both the perpetuating sandfly and the temperateness occurs. sent10: the fact that the perpetuating NSAID happens hold if the resentfulness occurs. sent11: if the Darwinianness and the Mark happens the whammy does not occur.
sent8 -> int1: the sway happens.; void -> assump1: Let's assume that the Mark does not occur.; int1 & assump1 -> int2: the Mark does not occur but the sway occurs.; sent10 & sent5 -> int3: the perpetuating NSAID occurs.; sent1 & int3 -> int4: that the Mark does not occur and the sway happens is not right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Mark occurs.; sent4 & sent6 -> int7: the Darwinian and the Hegelian happens.; int7 -> int8: the Darwinian occurs.; int6 & int8 -> int9: the Darwinianness occurs and the Mark occurs.; int9 & sent11 -> hypothesis;
the ovoviviparousness occurs.
$hypothesis$ = the whammy does not occur. ; $context$ = sent1: if the perpetuating NSAID occurs then that the Mark does not occur and the sway occurs is incorrect. sent2: that the immunohistochemistry does not occur prevents the non-dioeciousness. sent3: the caroling does not occur. sent4: both the Darwinianness and the Hegelianness happens if the fact that the stabling does not occur is correct. sent5: the fact that the resentfulness happens is right. sent6: the stabling does not occur. sent7: the ovoviviparousness occurs and the bilabial happens if the sway does not occur. sent8: the bilabial does not occur and the sway happens. sent9: both the perpetuating sandfly and the temperateness occurs. sent10: the fact that the perpetuating NSAID happens hold if the resentfulness occurs. sent11: if the Darwinianness and the Mark happens the whammy does not occur. ; $proof$ = 
sent8 -> int1: the sway happens.; void -> assump1: Let's assume that the Mark does not occur.; int1 & assump1 -> int2: the Mark does not occur but the sway occurs.; sent10 & sent5 -> int3: the perpetuating NSAID occurs.; sent1 & int3 -> int4: that the Mark does not occur and the sway happens is not right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Mark occurs.; sent4 & sent6 -> int7: the Darwinian and the Hegelian happens.; int7 -> int8: the Darwinian occurs.; int6 & int8 -> int9: the Darwinianness occurs and the Mark occurs.; int9 & sent11 -> hypothesis; __PROVED__