the studding does not occur.
sent1: the canalization does not occur. sent2: if the canalization does not occur the hobnobing happens. sent3: if the canalization does not occur then the allocution and the hobnobing occurs. sent4: that the achromatizing chiton happens and the design occurs results in that the allocution does not occur. sent5: that the intercellularness occurs and the uncharacteristicness happens brings about that the wresting fogged does not occur. sent6: that the achromatizing chiton happens is correct. sent7: the studding happens if the design does not occur. sent8: the hobnobing occurs.
void -> assump1: Let's assume that the designing happens.; sent6 & assump1 -> int1: the achromatizing chiton happens and the designing happens.; int1 & sent4 -> int2: the allocution does not occur.; sent3 & sent1 -> int3: the allocution and the hobnobing occurs.; int3 -> int4: the allocution occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the designing does not occur.; int6 & sent7 -> hypothesis;
$hypothesis$ = the studding does not occur. ; $context$ = sent1: the canalization does not occur. sent2: if the canalization does not occur the hobnobing happens. sent3: if the canalization does not occur then the allocution and the hobnobing occurs. sent4: that the achromatizing chiton happens and the design occurs results in that the allocution does not occur. sent5: that the intercellularness occurs and the uncharacteristicness happens brings about that the wresting fogged does not occur. sent6: that the achromatizing chiton happens is correct. sent7: the studding happens if the design does not occur. sent8: the hobnobing occurs. ; $proof$ = 
void -> assump1: Let's assume that the designing happens.; sent6 & assump1 -> int1: the achromatizing chiton happens and the designing happens.; int1 & sent4 -> int2: the allocution does not occur.; sent3 & sent1 -> int3: the allocution and the hobnobing occurs.; int3 -> int4: the allocution occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the designing does not occur.; int6 & sent7 -> hypothesis; __DISPROVED__