the impinging Menura but not the impinging mezereon happens if the reshipment occurs.
sent1: the fact that the impinging Menura happens is true. sent2: that the reshipment occurs is triggered by that both the perusing streaker and the scheme happens. sent3: the affixalness occurs. sent4: the vacuuming shortener happens and the impinging brittle-star occurs. sent5: the quietening does not occur and the mindlessness does not occur. sent6: both the impinging shofar and the bruxism happens if that the quietening occurs does not hold. sent7: if the impinging mezereon occurs then that the scheme but not the reshipment happens does not hold. sent8: the commemoration does not occur if the aikido does not occur. sent9: the bituminoidness occurs and the perusing advisory happens. sent10: that the taxonomicness happens results in that the acrogenicness but not the identification happens. sent11: the soft-shoe happens. sent12: the soft-shoe occurs and the perusing streaker happens. sent13: that the catalaticness happens and the soft-shoe occurs if the fact that the perusing streaker does not occur is correct is not wrong. sent14: if that the impinging shofar occurs hold that the backlog but not the impinging Menura occurs does not hold. sent15: the impinging mezereon and the resident occurs if the nasopharyngealness does not occur. sent16: the overexposure happens. sent17: the Zambianness occurs. sent18: that the windwardness occurs is brought about by that the penileness and the acrogenicness occurs. sent19: the reshipment does not occur if the perusing streaker happens and the scheming occurs. sent20: if that the backlog but not the impinging Menura happens is not true the backlog does not occur.
sent12 -> int1: the perusing streaker occurs.; void -> assump1: Let's assume that that the scheming happens hold.; int1 & assump1 -> int2: the perusing streaker and the scheming occurs.; int2 & sent19 -> int3: the reshipment does not occur.; void -> assump2: Let's assume that the reshipment happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the scheming does not occur.;
the catalaticness but not the backlogging happens.
sent5 -> int6: the quietening does not occur.; sent6 & int6 -> int7: both the impinging shofar and the bruxism occurs.; int7 -> int8: the impinging shofar happens.; sent14 & int8 -> int9: the fact that the backlog occurs but the impinging Menura does not occur is not right.; sent20 & int9 -> int10: the backlog does not occur.;
$hypothesis$ = the impinging Menura but not the impinging mezereon happens if the reshipment occurs. ; $context$ = sent1: the fact that the impinging Menura happens is true. sent2: that the reshipment occurs is triggered by that both the perusing streaker and the scheme happens. sent3: the affixalness occurs. sent4: the vacuuming shortener happens and the impinging brittle-star occurs. sent5: the quietening does not occur and the mindlessness does not occur. sent6: both the impinging shofar and the bruxism happens if that the quietening occurs does not hold. sent7: if the impinging mezereon occurs then that the scheme but not the reshipment happens does not hold. sent8: the commemoration does not occur if the aikido does not occur. sent9: the bituminoidness occurs and the perusing advisory happens. sent10: that the taxonomicness happens results in that the acrogenicness but not the identification happens. sent11: the soft-shoe happens. sent12: the soft-shoe occurs and the perusing streaker happens. sent13: that the catalaticness happens and the soft-shoe occurs if the fact that the perusing streaker does not occur is correct is not wrong. sent14: if that the impinging shofar occurs hold that the backlog but not the impinging Menura occurs does not hold. sent15: the impinging mezereon and the resident occurs if the nasopharyngealness does not occur. sent16: the overexposure happens. sent17: the Zambianness occurs. sent18: that the windwardness occurs is brought about by that the penileness and the acrogenicness occurs. sent19: the reshipment does not occur if the perusing streaker happens and the scheming occurs. sent20: if that the backlog but not the impinging Menura happens is not true the backlog does not occur. ; $proof$ = 
sent12 -> int1: the perusing streaker occurs.; void -> assump1: Let's assume that that the scheming happens hold.; int1 & assump1 -> int2: the perusing streaker and the scheming occurs.; int2 & sent19 -> int3: the reshipment does not occur.; void -> assump2: Let's assume that the reshipment happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the scheming does not occur.; __UNKNOWN__