the fact that the wantoning does not occur if the integration and the feeling happens does not hold.
sent1: if the integration occurs and the feeling occurs then the distributionalness does not occur. sent2: if the fact that both the unguiculateness and the distraining happens is not correct the unguiculateness does not occur. sent3: the arseniousness does not occur. sent4: the mean does not occur if not the distributionalness but the wantoning happens. sent5: the regress does not occur. sent6: not the regressing but the meaning occurs if the unguiculate does not occur. sent7: that the unguiculateness happens and the distraining occurs is false. sent8: the prescriptiveness does not occur.
void -> assump1: Let's assume that both the integration and the feeling occurs.; sent1 & assump1 -> int1: the distributionalness does not occur.; void -> assump2: Let's assume that the wanton occurs.; int1 & assump2 -> int2: not the distributionalness but the wantoning happens.; int2 & sent4 -> int3: the mean does not occur.; sent2 & sent7 -> int4: the unguiculate does not occur.; sent6 & int4 -> int5: the regress does not occur but the meaning occurs.; int5 -> int6: the mean occurs.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the wanton does not occur.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that the wantoning does not occur if the integration and the feeling happens does not hold. ; $context$ = sent1: if the integration occurs and the feeling occurs then the distributionalness does not occur. sent2: if the fact that both the unguiculateness and the distraining happens is not correct the unguiculateness does not occur. sent3: the arseniousness does not occur. sent4: the mean does not occur if not the distributionalness but the wantoning happens. sent5: the regress does not occur. sent6: not the regressing but the meaning occurs if the unguiculate does not occur. sent7: that the unguiculateness happens and the distraining occurs is false. sent8: the prescriptiveness does not occur. ; $proof$ = 
void -> assump1: Let's assume that both the integration and the feeling occurs.; sent1 & assump1 -> int1: the distributionalness does not occur.; void -> assump2: Let's assume that the wanton occurs.; int1 & assump2 -> int2: not the distributionalness but the wantoning happens.; int2 & sent4 -> int3: the mean does not occur.; sent2 & sent7 -> int4: the unguiculate does not occur.; sent6 & int4 -> int5: the regress does not occur but the meaning occurs.; int5 -> int6: the mean occurs.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the wanton does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__