that the supplicating does not occur but the raise occurs does not hold.
sent1: the Exodus happens. sent2: if the evergreen does not occur the fact that not the supplicating but the raising occurs is not right. sent3: the dissuasiveness happens. sent4: the fact that the intracerebralness happens and the panning buddy happens is wrong. sent5: if the castration does not occur the fact that the effacing and the tubercularness occurs is not true. sent6: if the fact that the catachresticness but not the decorating hallelujah happens is wrong the readjustment happens. sent7: that the catachresticness occurs and the decorating hallelujah does not occur does not hold if the phonologicalness does not occur. sent8: the statisticalness does not occur and the readjustment does not occur.
void -> assump1: Let's assume that the phonologicalness does not occur.; sent7 & assump1 -> int1: that the catachresticness occurs but the decorating hallelujah does not occur is wrong.; int1 & sent6 -> int2: the readjustment happens.; sent8 -> int3: the readjustment does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the phonologicalness happens.; int5 & sent3 -> int6: both the phonologicalness and the dissuasiveness happens.;
$hypothesis$ = that the supplicating does not occur but the raise occurs does not hold. ; $context$ = sent1: the Exodus happens. sent2: if the evergreen does not occur the fact that not the supplicating but the raising occurs is not right. sent3: the dissuasiveness happens. sent4: the fact that the intracerebralness happens and the panning buddy happens is wrong. sent5: if the castration does not occur the fact that the effacing and the tubercularness occurs is not true. sent6: if the fact that the catachresticness but not the decorating hallelujah happens is wrong the readjustment happens. sent7: that the catachresticness occurs and the decorating hallelujah does not occur does not hold if the phonologicalness does not occur. sent8: the statisticalness does not occur and the readjustment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the phonologicalness does not occur.; sent7 & assump1 -> int1: that the catachresticness occurs but the decorating hallelujah does not occur is wrong.; int1 & sent6 -> int2: the readjustment happens.; sent8 -> int3: the readjustment does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the phonologicalness happens.; int5 & sent3 -> int6: both the phonologicalness and the dissuasiveness happens.; __UNKNOWN__