the recounting does not occur.
sent1: that the low-interestness but not the acting imagination happens is not right. sent2: if the punch-up does not occur then the bending Kyphosus and the titularness occurs. sent3: that the acting sculptor happens is not wrong if the navalness occurs. sent4: the bending coyol occurs. sent5: the lookout does not occur if that the acting intermediate does not occur and the condoling whey happens is false. sent6: if the fact that both the allantoicness and the non-Marianness happens is false the superfecundation does not occur. sent7: the ride does not occur if the fact that the wait does not occur and the cometariness does not occur is false. sent8: the bending bladed occurs. sent9: that the punch-up does not occur if that the vivisection but not the deconstructionistness happens is not true is not false. sent10: if the departmentalness occurs then the fact that not the acting intermediate but the condoling whey occurs is not correct. sent11: the navalness happens. sent12: if the vivisection does not occur then the titularness and the punch-up occurs. sent13: if the enthusing happens then that the acting pangolin and the non-departmentalness happens does not hold. sent14: if the punch-up does not occur the titularness happens. sent15: that the lookout does not occur hold if the bending Palau happens. sent16: if that not the cross-linking but the adscriptness happens is not true the warming does not occur. sent17: if the sectorialness does not occur then the fact that the vivisection but not the deconstructionistness happens is not correct. sent18: the condoling inventiveness does not occur if the rhythmicalness and the recounting happens. sent19: the bending Kyphosus does not occur if the condoling inventiveness does not occur. sent20: the inoculation happens if that the Peruvian does not occur is not incorrect. sent21: if that both the non-warmness and the non-adscriptness happens is not right the sectorialness does not occur. sent22: the rhythmicalness occurs if the acting sculptor occurs. sent23: if that the acting pangolin but not the departmentalness occurs does not hold then the departmentalness occurs. sent24: that not the cross-link but the adscriptness occurs does not hold if the lookout does not occur. sent25: the fact that the non-warmness and the non-adscriptness happens is not correct. sent26: if that the preventive does not occur is not false the fact that the TELINT occurs but the rending does not occur is wrong.
sent3 & sent11 -> int1: the acting sculptor occurs.; int1 & sent22 -> int2: the rhythmicalness happens.; void -> assump1: Let's assume that the recounting occurs.; int2 & assump1 -> int3: the rhythmicalness and the recounting occurs.; int3 & sent18 -> int4: the condoling inventiveness does not occur.; int4 & sent19 -> int5: the bending Kyphosus does not occur.; sent21 & sent25 -> int6: the sectorialness does not occur.; sent17 & int6 -> int7: that both the vivisection and the non-deconstructionistness occurs does not hold.; sent9 & int7 -> int8: the fact that the punch-up does not occur is true.; sent2 & int8 -> int9: both the bending Kyphosus and the titularness happens.; int9 -> int10: the bending Kyphosus occurs.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
both the bending coyol and the hinging occurs.
$hypothesis$ = the recounting does not occur. ; $context$ = sent1: that the low-interestness but not the acting imagination happens is not right. sent2: if the punch-up does not occur then the bending Kyphosus and the titularness occurs. sent3: that the acting sculptor happens is not wrong if the navalness occurs. sent4: the bending coyol occurs. sent5: the lookout does not occur if that the acting intermediate does not occur and the condoling whey happens is false. sent6: if the fact that both the allantoicness and the non-Marianness happens is false the superfecundation does not occur. sent7: the ride does not occur if the fact that the wait does not occur and the cometariness does not occur is false. sent8: the bending bladed occurs. sent9: that the punch-up does not occur if that the vivisection but not the deconstructionistness happens is not true is not false. sent10: if the departmentalness occurs then the fact that not the acting intermediate but the condoling whey occurs is not correct. sent11: the navalness happens. sent12: if the vivisection does not occur then the titularness and the punch-up occurs. sent13: if the enthusing happens then that the acting pangolin and the non-departmentalness happens does not hold. sent14: if the punch-up does not occur the titularness happens. sent15: that the lookout does not occur hold if the bending Palau happens. sent16: if that not the cross-linking but the adscriptness happens is not true the warming does not occur. sent17: if the sectorialness does not occur then the fact that the vivisection but not the deconstructionistness happens is not correct. sent18: the condoling inventiveness does not occur if the rhythmicalness and the recounting happens. sent19: the bending Kyphosus does not occur if the condoling inventiveness does not occur. sent20: the inoculation happens if that the Peruvian does not occur is not incorrect. sent21: if that both the non-warmness and the non-adscriptness happens is not right the sectorialness does not occur. sent22: the rhythmicalness occurs if the acting sculptor occurs. sent23: if that the acting pangolin but not the departmentalness occurs does not hold then the departmentalness occurs. sent24: that not the cross-link but the adscriptness occurs does not hold if the lookout does not occur. sent25: the fact that the non-warmness and the non-adscriptness happens is not correct. sent26: if that the preventive does not occur is not false the fact that the TELINT occurs but the rending does not occur is wrong. ; $proof$ = 
sent3 & sent11 -> int1: the acting sculptor occurs.; int1 & sent22 -> int2: the rhythmicalness happens.; void -> assump1: Let's assume that the recounting occurs.; int2 & assump1 -> int3: the rhythmicalness and the recounting occurs.; int3 & sent18 -> int4: the condoling inventiveness does not occur.; int4 & sent19 -> int5: the bending Kyphosus does not occur.; sent21 & sent25 -> int6: the sectorialness does not occur.; sent17 & int6 -> int7: that both the vivisection and the non-deconstructionistness occurs does not hold.; sent9 & int7 -> int8: the fact that the punch-up does not occur is true.; sent2 & int8 -> int9: both the bending Kyphosus and the titularness happens.; int9 -> int10: the bending Kyphosus occurs.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__