the autoimmuneness does not occur.
sent1: if the fact that that the non-superficialness and the non-splinteryness occurs hold is not right the superficialness occurs. sent2: the upper-classness happens. sent3: if the fact that the superficialness but not the diazotizing happens does not hold that the splinteriness occurs hold. sent4: the active happens if that the failing CAD happens is not false. sent5: the variegation happens if the daisylikeness occurs. sent6: the autoimmuneness occurs if that the staggering Antum occurs hold. sent7: that either the staggering rising occurs or the batching mobility does not occur or both is not correct. sent8: the fact that the interrupt occurs is right. sent9: that both the non-superficialness and the non-splinteriness happens is wrong if the failing CAD does not occur. sent10: the staggering Antum happens if the active occurs. sent11: that the batching mobility does not occur brings about that the staggering rising does not occur and the autoimmuneness does not occur. sent12: the splinteriness prevents that the failing CAD does not occur. sent13: either the staggering rising happens or the batching mobility happens or both. sent14: if the fact that the staggering choc-ice occurs is not false then the activeness but not the staggering Antum happens. sent15: if the selfness does not occur the staggering choc-ice occurs and the barring decathlon happens. sent16: the batching evisceration occurs. sent17: the gonadalness happens. sent18: that that the superficialness but not the diazotizing happens is right is not correct if the staggering rising does not occur. sent19: the splinteriness occurs if the superficialness does not occur. sent20: that the batching mobility happens hold. sent21: the astomatalness happens.
void -> assump1: Let's assume that the staggering rising occurs.; assump1 -> int1: the staggering rising occurs and/or the batching mobility does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the staggering rising does not occur.; sent18 & int3 -> int4: the fact that the superficialness but not the diazotizing occurs is not right.; sent3 & int4 -> int5: the splinteriness happens.; sent12 & int5 -> int6: the failing CAD occurs.; sent4 & int6 -> int7: the fact that the active occurs is correct.; sent10 & int7 -> int8: the staggering Antum occurs.; sent6 & int8 -> hypothesis;
the autoimmuneness does not occur.
$hypothesis$ = the autoimmuneness does not occur. ; $context$ = sent1: if the fact that that the non-superficialness and the non-splinteryness occurs hold is not right the superficialness occurs. sent2: the upper-classness happens. sent3: if the fact that the superficialness but not the diazotizing happens does not hold that the splinteriness occurs hold. sent4: the active happens if that the failing CAD happens is not false. sent5: the variegation happens if the daisylikeness occurs. sent6: the autoimmuneness occurs if that the staggering Antum occurs hold. sent7: that either the staggering rising occurs or the batching mobility does not occur or both is not correct. sent8: the fact that the interrupt occurs is right. sent9: that both the non-superficialness and the non-splinteriness happens is wrong if the failing CAD does not occur. sent10: the staggering Antum happens if the active occurs. sent11: that the batching mobility does not occur brings about that the staggering rising does not occur and the autoimmuneness does not occur. sent12: the splinteriness prevents that the failing CAD does not occur. sent13: either the staggering rising happens or the batching mobility happens or both. sent14: if the fact that the staggering choc-ice occurs is not false then the activeness but not the staggering Antum happens. sent15: if the selfness does not occur the staggering choc-ice occurs and the barring decathlon happens. sent16: the batching evisceration occurs. sent17: the gonadalness happens. sent18: that that the superficialness but not the diazotizing happens is right is not correct if the staggering rising does not occur. sent19: the splinteriness occurs if the superficialness does not occur. sent20: that the batching mobility happens hold. sent21: the astomatalness happens. ; $proof$ = 
void -> assump1: Let's assume that the staggering rising occurs.; assump1 -> int1: the staggering rising occurs and/or the batching mobility does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the staggering rising does not occur.; sent18 & int3 -> int4: the fact that the superficialness but not the diazotizing occurs is not right.; sent3 & int4 -> int5: the splinteriness happens.; sent12 & int5 -> int6: the failing CAD occurs.; sent4 & int6 -> int7: the fact that the active occurs is correct.; sent10 & int7 -> int8: the staggering Antum occurs.; sent6 & int8 -> hypothesis; __DISPROVED__