that the non-orthodoxness and the non-aortalness occurs is not right.
sent1: that the Chechenness but not the slumping occurs prevents the retaking. sent2: the cranking Geneva happens and the blaming manikin does not occur. sent3: the tonsillectomy does not occur. sent4: if the retaking does not occur and the authorization does not occur the onslaught happens. sent5: that the intending happens is brought about by that the cranking Geneva happens but the blaming manikin does not occur. sent6: the Einsteinianness does not occur and the mintiness does not occur. sent7: if not the tonsillectomy but the zygomaticness happens then the aortalness does not occur. sent8: the Chechen happens and the slumping does not occur. sent9: not the tonsillectomy but the zygomaticness occurs. sent10: the gallinaceousness does not occur and the authorization does not occur. sent11: that the unorthodoxness and the non-aortalness occurs is false if the intending does not occur. sent12: if the intending happens and the orthodoxness occurs the onslaught does not occur.
sent5 & sent2 -> int1: the intending happens.; void -> assump1: Let's assume that the orthodoxness happens.; int1 & assump1 -> int2: the intending occurs and the orthodoxness happens.; int2 & sent12 -> int3: the onslaught does not occur.; sent1 & sent8 -> int4: the retake does not occur.; sent10 -> int5: the authorization does not occur.; int4 & int5 -> int6: the retaking does not occur and the authorization does not occur.; sent4 & int6 -> int7: the onslaught happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the orthodoxness does not occur.; sent7 & sent9 -> int10: the aortalness does not occur.; int9 & int10 -> hypothesis;
that the unorthodoxness and the non-aortalness happens is not correct.
$hypothesis$ = that the non-orthodoxness and the non-aortalness occurs is not right. ; $context$ = sent1: that the Chechenness but not the slumping occurs prevents the retaking. sent2: the cranking Geneva happens and the blaming manikin does not occur. sent3: the tonsillectomy does not occur. sent4: if the retaking does not occur and the authorization does not occur the onslaught happens. sent5: that the intending happens is brought about by that the cranking Geneva happens but the blaming manikin does not occur. sent6: the Einsteinianness does not occur and the mintiness does not occur. sent7: if not the tonsillectomy but the zygomaticness happens then the aortalness does not occur. sent8: the Chechen happens and the slumping does not occur. sent9: not the tonsillectomy but the zygomaticness occurs. sent10: the gallinaceousness does not occur and the authorization does not occur. sent11: that the unorthodoxness and the non-aortalness occurs is false if the intending does not occur. sent12: if the intending happens and the orthodoxness occurs the onslaught does not occur. ; $proof$ = 
sent5 & sent2 -> int1: the intending happens.; void -> assump1: Let's assume that the orthodoxness happens.; int1 & assump1 -> int2: the intending occurs and the orthodoxness happens.; int2 & sent12 -> int3: the onslaught does not occur.; sent1 & sent8 -> int4: the retake does not occur.; sent10 -> int5: the authorization does not occur.; int4 & int5 -> int6: the retaking does not occur and the authorization does not occur.; sent4 & int6 -> int7: the onslaught happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the orthodoxness does not occur.; sent7 & sent9 -> int10: the aortalness does not occur.; int9 & int10 -> hypothesis; __DISPROVED__