the fact that if the roll happens then the fatness happens is not correct.
sent1: the tolling does not occur. sent2: that the chancing nu occurs and/or the anaphrodisiacness does not occur prevents that the rolling happens. sent3: the fabricating peachick but not the fabricating quadruplet happens. sent4: the immigration prevents that the sermon does not occur. sent5: that the buccalness does not occur results in the non-unevenness. sent6: that the phosphorescence happens but the fabricating contrivance does not occur prevents the non-reversionariness. sent7: the anaphrodisiacness happens. sent8: that the access does not occur hold. sent9: that either the slicing occurs or the custom does not occur or both is false. sent10: that both the non-buccalness and the non-contrastiness happens does not hold if the juice happens. sent11: the clamp does not occur if the fact that that the strapping Umayyad occurs or the chancing rivet does not occur or both is true is incorrect. sent12: if the palpitating happens and the streaking does not occur then the fact that the opportuneness occurs is right. sent13: if the chancing lampshade happens that the young does not occur and the chancing decantation does not occur does not hold. sent14: if the outlet occurs but the divide does not occur the fatness occurs. sent15: if that the dishonestness does not occur and the outlet does not occur is not true the outlet occurs. sent16: the adaptation happens if the phosphorescence occurs and the chancing rivet does not occur. sent17: that the chancing afterdeck does not occur is prevented by that the immigration and the non-oleaceousness occurs. sent18: the fact that the dishonestness does not occur and the outlet does not occur is not true if the pushover happens. sent19: the fact that the panelling does not occur and the fabricating Whistler does not occur is not right. sent20: the endocentricness does not occur. sent21: the transmutation occurs. sent22: the custom happens. sent23: the dividing does not occur if the fact that the chancing nu occurs and/or the anaphrodisiacness does not occur is not right. sent24: that either the demineralizing spot occurs or the teeoff does not occur or both results in that the gala does not occur. sent25: the chancing lampshade occurs. sent26: the fact that the pushover and the lottery happens is not incorrect.
void -> assump2: Let's assume that the chancing nu occurs and/or the anaphrodisiacness does not occur.; sent2 & assump2 -> int1: the roll does not occur.; void -> assump1: Let's assume that that the rolling does not occur is wrong.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the chancing nu happens and/or the anaphrodisiacness does not occur is false.; int3 & sent23 -> int4: the divide does not occur.; sent26 -> int5: the pushover occurs.; sent18 & int5 -> int6: the fact that the dishonestness does not occur and the outlet does not occur is not right.; sent15 & int6 -> int7: the outlet happens.; int4 & int7 -> int8: the outlet occurs and the dividing does not occur.; int8 & sent14 -> int9: the fatness occurs.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that if the roll happens then the fatness happens is not correct. ; $context$ = sent1: the tolling does not occur. sent2: that the chancing nu occurs and/or the anaphrodisiacness does not occur prevents that the rolling happens. sent3: the fabricating peachick but not the fabricating quadruplet happens. sent4: the immigration prevents that the sermon does not occur. sent5: that the buccalness does not occur results in the non-unevenness. sent6: that the phosphorescence happens but the fabricating contrivance does not occur prevents the non-reversionariness. sent7: the anaphrodisiacness happens. sent8: that the access does not occur hold. sent9: that either the slicing occurs or the custom does not occur or both is false. sent10: that both the non-buccalness and the non-contrastiness happens does not hold if the juice happens. sent11: the clamp does not occur if the fact that that the strapping Umayyad occurs or the chancing rivet does not occur or both is true is incorrect. sent12: if the palpitating happens and the streaking does not occur then the fact that the opportuneness occurs is right. sent13: if the chancing lampshade happens that the young does not occur and the chancing decantation does not occur does not hold. sent14: if the outlet occurs but the divide does not occur the fatness occurs. sent15: if that the dishonestness does not occur and the outlet does not occur is not true the outlet occurs. sent16: the adaptation happens if the phosphorescence occurs and the chancing rivet does not occur. sent17: that the chancing afterdeck does not occur is prevented by that the immigration and the non-oleaceousness occurs. sent18: the fact that the dishonestness does not occur and the outlet does not occur is not true if the pushover happens. sent19: the fact that the panelling does not occur and the fabricating Whistler does not occur is not right. sent20: the endocentricness does not occur. sent21: the transmutation occurs. sent22: the custom happens. sent23: the dividing does not occur if the fact that the chancing nu occurs and/or the anaphrodisiacness does not occur is not right. sent24: that either the demineralizing spot occurs or the teeoff does not occur or both results in that the gala does not occur. sent25: the chancing lampshade occurs. sent26: the fact that the pushover and the lottery happens is not incorrect. ; $proof$ = 
void -> assump2: Let's assume that the chancing nu occurs and/or the anaphrodisiacness does not occur.; sent2 & assump2 -> int1: the roll does not occur.; void -> assump1: Let's assume that that the rolling does not occur is wrong.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the chancing nu happens and/or the anaphrodisiacness does not occur is false.; int3 & sent23 -> int4: the divide does not occur.; sent26 -> int5: the pushover occurs.; sent18 & int5 -> int6: the fact that the dishonestness does not occur and the outlet does not occur is not right.; sent15 & int6 -> int7: the outlet happens.; int4 & int7 -> int8: the outlet occurs and the dividing does not occur.; int8 & sent14 -> int9: the fatness occurs.; [assump1] & int9 -> hypothesis; __DISPROVED__