the pasteurization happens if the karyokineticness happens.
sent1: the assignation does not occur and the flakiness does not occur. sent2: if the circumduction does not occur the sentimentalising does not occur. sent3: the pearling does not occur if the fact that the one-off does not occur and/or the functioning antisyphilitic occurs is incorrect. sent4: that the pearl does not occur causes that the non-perfectedness and the non-modalness happens. sent5: the functioning patriarchy occurs. sent6: the functioning antisyphilitic does not occur. sent7: that that the one-off does not occur and/or the functioning antisyphilitic is correct results in that the karyokineticness does not occur. sent8: the modal does not occur. sent9: the pasteurization occurs if the perfecting does not occur and the modalness does not occur. sent10: the scent leads to the awnedness.
void -> assump2: Let's assume that either the one-off does not occur or the functioning antisyphilitic happens or both.; sent7 & assump2 -> int1: the fact that the karyokineticness does not occur is true.; void -> assump1: Let's assume that the karyokineticness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the one-off does not occur or the functioning antisyphilitic occurs or both is not right.; int3 & sent3 -> int4: the pearl does not occur.; int4 & sent4 -> int5: both the non-perfectedness and the non-modalness happens.; int5 & sent9 -> int6: the pasteurization happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the pasteurization happens if the karyokineticness happens. ; $context$ = sent1: the assignation does not occur and the flakiness does not occur. sent2: if the circumduction does not occur the sentimentalising does not occur. sent3: the pearling does not occur if the fact that the one-off does not occur and/or the functioning antisyphilitic occurs is incorrect. sent4: that the pearl does not occur causes that the non-perfectedness and the non-modalness happens. sent5: the functioning patriarchy occurs. sent6: the functioning antisyphilitic does not occur. sent7: that that the one-off does not occur and/or the functioning antisyphilitic is correct results in that the karyokineticness does not occur. sent8: the modal does not occur. sent9: the pasteurization occurs if the perfecting does not occur and the modalness does not occur. sent10: the scent leads to the awnedness. ; $proof$ = 
void -> assump2: Let's assume that either the one-off does not occur or the functioning antisyphilitic happens or both.; sent7 & assump2 -> int1: the fact that the karyokineticness does not occur is true.; void -> assump1: Let's assume that the karyokineticness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the one-off does not occur or the functioning antisyphilitic occurs or both is not right.; int3 & sent3 -> int4: the pearl does not occur.; int4 & sent4 -> int5: both the non-perfectedness and the non-modalness happens.; int5 & sent9 -> int6: the pasteurization happens.; [assump1] & int6 -> hypothesis; __PROVED__