the catalecticness does not occur if the lobateness occurs.
sent1: the lobateness does not occur if the vexing intermediate happens or the exhibition occurs or both. sent2: the symbolicness happens. sent3: the vandalism occurs if the swiping occurs. sent4: that both the prosodicness and the non-alkalineness happens prevents that the beating happens. sent5: if that the prosodicness does not occur and the alkalineness does not occur is true the beats does not occur. sent6: the prosodicness does not occur and the alkalineness does not occur. sent7: that the Cenozoicness happens and/or the misgovernment prevents the nonresidentialness. sent8: that the dreaming grandma does not occur is caused by that the vexing camise does not occur. sent9: if the nudism occurs the distantness occurs. sent10: the boxing occurs or the masse does not occur or both if the beats does not occur. sent11: the fact that the rationalization happens is true. sent12: the BAR happens if the modality does not occur and the vexing intermediate does not occur. sent13: the integumentariness and/or the non-monatomicness occurs. sent14: the adaptation does not occur. sent15: if the masse does not occur then the modality does not occur. sent16: the dreaming Iseult happens and the luckiness happens. sent17: if the boxing occurs then that the modality does not occur is not incorrect. sent18: the indexing occurs. sent19: if the decorating preparation does not occur and the vexing Maintenon does not occur then the tornado occurs. sent20: the welding happens. sent21: the lobateness happens if either the vexing intermediate happens or the exhibition occurs or both. sent22: the ticking happens. sent23: the catalecticness is prevented by that the BAR occurs and the vandalism occurs. sent24: that the grinning does not occur is caused by that the metacentricness happens. sent25: the unknowableness is caused by that the snowshoeing and the misgovernment happens. sent26: the echo and the inquest happens.
void -> assump1: Let's assume that that the vexing intermediate happens is right.; assump1 -> int1: the vexing intermediate or the exhibition or both occurs.; int1 & sent1 -> int2: the fact that the lobateness does not occur is not wrong.; void -> assump2: Let's assume that the lobateness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vexing intermediate does not occur.; sent5 & sent6 -> int5: the beats does not occur.; sent10 & int5 -> int6: the boxing happens or the masse does not occur or both.; int6 & sent17 & sent15 -> int7: the modality does not occur.; int4 & int7 -> int8: the modality does not occur and the vexing intermediate does not occur.; int8 & sent12 -> int9: the BAR occurs.;
$hypothesis$ = the catalecticness does not occur if the lobateness occurs. ; $context$ = sent1: the lobateness does not occur if the vexing intermediate happens or the exhibition occurs or both. sent2: the symbolicness happens. sent3: the vandalism occurs if the swiping occurs. sent4: that both the prosodicness and the non-alkalineness happens prevents that the beating happens. sent5: if that the prosodicness does not occur and the alkalineness does not occur is true the beats does not occur. sent6: the prosodicness does not occur and the alkalineness does not occur. sent7: that the Cenozoicness happens and/or the misgovernment prevents the nonresidentialness. sent8: that the dreaming grandma does not occur is caused by that the vexing camise does not occur. sent9: if the nudism occurs the distantness occurs. sent10: the boxing occurs or the masse does not occur or both if the beats does not occur. sent11: the fact that the rationalization happens is true. sent12: the BAR happens if the modality does not occur and the vexing intermediate does not occur. sent13: the integumentariness and/or the non-monatomicness occurs. sent14: the adaptation does not occur. sent15: if the masse does not occur then the modality does not occur. sent16: the dreaming Iseult happens and the luckiness happens. sent17: if the boxing occurs then that the modality does not occur is not incorrect. sent18: the indexing occurs. sent19: if the decorating preparation does not occur and the vexing Maintenon does not occur then the tornado occurs. sent20: the welding happens. sent21: the lobateness happens if either the vexing intermediate happens or the exhibition occurs or both. sent22: the ticking happens. sent23: the catalecticness is prevented by that the BAR occurs and the vandalism occurs. sent24: that the grinning does not occur is caused by that the metacentricness happens. sent25: the unknowableness is caused by that the snowshoeing and the misgovernment happens. sent26: the echo and the inquest happens. ; $proof$ = 
void -> assump1: Let's assume that that the vexing intermediate happens is right.; assump1 -> int1: the vexing intermediate or the exhibition or both occurs.; int1 & sent1 -> int2: the fact that the lobateness does not occur is not wrong.; void -> assump2: Let's assume that the lobateness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vexing intermediate does not occur.; sent5 & sent6 -> int5: the beats does not occur.; sent10 & int5 -> int6: the boxing happens or the masse does not occur or both.; int6 & sent17 & sent15 -> int7: the modality does not occur.; int4 & int7 -> int8: the modality does not occur and the vexing intermediate does not occur.; int8 & sent12 -> int9: the BAR occurs.; __UNKNOWN__