the fact that that the skidding dagame happens results in the non-affixalness is wrong.
sent1: the choppiness does not occur. sent2: the hair-shirtness happens if that the extricating Kronecker does not occur and the self-destruction happens is wrong. sent3: the jetting occurs. sent4: the genealogicness does not occur. sent5: the fact that the amnesty does not occur but the delicateness happens is not true. sent6: that not the bilking toadfish but the Hugoesqueness happens is wrong. sent7: the undertow does not occur if the tonicness happens. sent8: the fact that the burdening and the Gauguinesqueness occurs is not right. sent9: the whistle happens. sent10: the skidding dagame does not occur if the aphaereticness occurs. sent11: the skidding dagame does not occur if that the fact that that the aphaereticness does not occur and the primateship occurs is true does not hold is true. sent12: the fact that not the cling but the extricating corncob occurs is wrong. sent13: that the non-aphaereticness and the primateship occurs is wrong if the affixalness happens.
void -> assump1: Let's assume that the skidding dagame occurs.; void -> assump2: Let's assume that the affixalness occurs.; sent13 & assump2 -> int1: that the non-aphaereticness and the primateship occurs is not correct.; sent11 & int1 -> int2: the skidding dagame does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the affixalness does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that that the skidding dagame happens results in the non-affixalness is wrong. ; $context$ = sent1: the choppiness does not occur. sent2: the hair-shirtness happens if that the extricating Kronecker does not occur and the self-destruction happens is wrong. sent3: the jetting occurs. sent4: the genealogicness does not occur. sent5: the fact that the amnesty does not occur but the delicateness happens is not true. sent6: that not the bilking toadfish but the Hugoesqueness happens is wrong. sent7: the undertow does not occur if the tonicness happens. sent8: the fact that the burdening and the Gauguinesqueness occurs is not right. sent9: the whistle happens. sent10: the skidding dagame does not occur if the aphaereticness occurs. sent11: the skidding dagame does not occur if that the fact that that the aphaereticness does not occur and the primateship occurs is true does not hold is true. sent12: the fact that not the cling but the extricating corncob occurs is wrong. sent13: that the non-aphaereticness and the primateship occurs is wrong if the affixalness happens. ; $proof$ = 
void -> assump1: Let's assume that the skidding dagame occurs.; void -> assump2: Let's assume that the affixalness occurs.; sent13 & assump2 -> int1: that the non-aphaereticness and the primateship occurs is not correct.; sent11 & int1 -> int2: the skidding dagame does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the affixalness does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__