the tape occurs and the rbi occurs.
sent1: the taping does not occur if the fact that the taping occurs and the exenteration occurs is not correct. sent2: if the fact that the syllabicness does not occur and the rbi does not occur is not right the rbi happens. sent3: the equinoctial happens if that the equinoctial does not occur but the touching occurs is wrong. sent4: the admixture occurs if the equinoctialness happens. sent5: the skit does not occur. sent6: that that not the pranging but the shingling occurs hold is caused by the nonsubmersibleness. sent7: the shtik does not occur and the red-eyeing does not occur. sent8: if the fact that both the syllabicness and the non-balsamicness occurs does not hold the rbi does not occur. sent9: that the non-syllabicness and the rbi happens is incorrect. sent10: that not the marathon but the collaring workpiece occurs prevents that the taping does not occur. sent11: that the syllabicness happens and the balsamicness does not occur is false if the entailing Bathyergus occurs. sent12: if that both the non-budgetariness and the mechanization occurs is false then the collaring workpiece occurs. sent13: the fact that the syllabicness does not occur and the rbi does not occur is not right. sent14: if the immediateness occurs then that the entailing murmuring does not occur hold. sent15: the tape occurs if both the marathon and the collaring workpiece occurs. sent16: the heedfulness does not occur. sent17: if the marathon does not occur the entailing murmuring or the immediateness or both occurs. sent18: both the non-equinoctialness and the touch happens. sent19: that the entailing murmuring does not occur and the equinoctial does not occur is not right. sent20: the marathon does not occur if the immediateness does not occur. sent21: the marathon does not occur if the collaring workpiece but not the taping occurs. sent22: the touch occurs. sent23: not the marathon but the collaring workpiece happens if the immediateness does not occur.
void -> assump1: Let's assume that that the immediateness happens is not false.; sent14 & assump1 -> int1: the entailing murmuring does not occur.; sent18 -> int2: the equinoctial does not occur.; int1 & int2 -> int3: the entailing murmuring does not occur and the equinoctial does not occur.; int3 & sent19 -> int4: this is contradiction.; [assump1] & int4 -> int5: the immediateness does not occur.; int5 & sent23 -> int6: the marathon does not occur but the collaring workpiece occurs.; int6 & sent10 -> int7: the taping happens.; sent2 & sent13 -> int8: the rbi occurs.; int7 & int8 -> hypothesis;
the fact that the taping and the rbi occurs is incorrect.
 -> hypothesis;
$hypothesis$ = the tape occurs and the rbi occurs. ; $context$ = sent1: the taping does not occur if the fact that the taping occurs and the exenteration occurs is not correct. sent2: if the fact that the syllabicness does not occur and the rbi does not occur is not right the rbi happens. sent3: the equinoctial happens if that the equinoctial does not occur but the touching occurs is wrong. sent4: the admixture occurs if the equinoctialness happens. sent5: the skit does not occur. sent6: that that not the pranging but the shingling occurs hold is caused by the nonsubmersibleness. sent7: the shtik does not occur and the red-eyeing does not occur. sent8: if the fact that both the syllabicness and the non-balsamicness occurs does not hold the rbi does not occur. sent9: that the non-syllabicness and the rbi happens is incorrect. sent10: that not the marathon but the collaring workpiece occurs prevents that the taping does not occur. sent11: that the syllabicness happens and the balsamicness does not occur is false if the entailing Bathyergus occurs. sent12: if that both the non-budgetariness and the mechanization occurs is false then the collaring workpiece occurs. sent13: the fact that the syllabicness does not occur and the rbi does not occur is not right. sent14: if the immediateness occurs then that the entailing murmuring does not occur hold. sent15: the tape occurs if both the marathon and the collaring workpiece occurs. sent16: the heedfulness does not occur. sent17: if the marathon does not occur the entailing murmuring or the immediateness or both occurs. sent18: both the non-equinoctialness and the touch happens. sent19: that the entailing murmuring does not occur and the equinoctial does not occur is not right. sent20: the marathon does not occur if the immediateness does not occur. sent21: the marathon does not occur if the collaring workpiece but not the taping occurs. sent22: the touch occurs. sent23: not the marathon but the collaring workpiece happens if the immediateness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the immediateness happens is not false.; sent14 & assump1 -> int1: the entailing murmuring does not occur.; sent18 -> int2: the equinoctial does not occur.; int1 & int2 -> int3: the entailing murmuring does not occur and the equinoctial does not occur.; int3 & sent19 -> int4: this is contradiction.; [assump1] & int4 -> int5: the immediateness does not occur.; int5 & sent23 -> int6: the marathon does not occur but the collaring workpiece occurs.; int6 & sent10 -> int7: the taping happens.; sent2 & sent13 -> int8: the rbi occurs.; int7 & int8 -> hypothesis; __PROVED__