the mulcting mid-calf does not occur if the fact that the philandering ponycart does not occur and the belaboring airburst occurs is not right.
sent1: the pinning occurs if the philandering gerund does not occur and the delineating does not occur. sent2: the shop occurs. sent3: the mulcting mid-calf does not occur if that the philandering ponycart and the belaboring airburst occurs is not correct. sent4: the fact that the philandering ponycart occurs is not false. sent5: the fact that the catapulting nip and the promissoriness happens is not wrong. sent6: if the chauvinisticness occurs the catapulting phellem and the philandering gerund occurs. sent7: that the blackout does not occur and the catapulting jalapeno does not occur triggers that the venography happens. sent8: that the outstroke happens results in that the packaging occurs. sent9: the aerologicalness happens if the stocktaking does not occur. sent10: the autocatalyticness prevents that the belaboring Weston does not occur. sent11: if the hawking does not occur then the belaboring guestroom occurs and the tensionalness occurs. sent12: the obscurantism occurs. sent13: that the seigniory does not occur triggers that the expansiveness does not occur and the belaboring miniature does not occur. sent14: if the discoing does not occur and the stressing does not occur the catapulting calanthe happens. sent15: the belaboring hypertensive does not occur. sent16: the Olympicness is prevented by that the philandering hazardousness does not occur but the combusting happens. sent17: the quickie happens. sent18: that the philandering Afro-wig does not occur is prevented by that not the expansiveness but the belaboring miniature occurs. sent19: if the seigniory happens then the philandering ponycart does not occur but the belaboring airburst occurs. sent20: if the philandering Afro-wig and the unfamiliarness happens the mulcting mid-calf does not occur. sent21: if the expansiveness does not occur and the belaboring miniature does not occur then the philandering Afro-wig happens. sent22: the rustling does not occur. sent23: if the fact that the belaboring guestroom occurs is true the unfamiliarness happens.
void -> assump2: Let's assume that the seigniory occurs.; sent19 & assump2 -> int1: the philandering ponycart does not occur and the belaboring airburst happens.; void -> assump1: Let's assume that the fact that the philandering ponycart does not occur but the belaboring airburst happens is not right.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the seigniory does not occur.; int3 & sent13 -> int4: the expansiveness does not occur and the belaboring miniature does not occur.; int4 & sent21 -> int5: the philandering Afro-wig occurs.;
$hypothesis$ = the mulcting mid-calf does not occur if the fact that the philandering ponycart does not occur and the belaboring airburst occurs is not right. ; $context$ = sent1: the pinning occurs if the philandering gerund does not occur and the delineating does not occur. sent2: the shop occurs. sent3: the mulcting mid-calf does not occur if that the philandering ponycart and the belaboring airburst occurs is not correct. sent4: the fact that the philandering ponycart occurs is not false. sent5: the fact that the catapulting nip and the promissoriness happens is not wrong. sent6: if the chauvinisticness occurs the catapulting phellem and the philandering gerund occurs. sent7: that the blackout does not occur and the catapulting jalapeno does not occur triggers that the venography happens. sent8: that the outstroke happens results in that the packaging occurs. sent9: the aerologicalness happens if the stocktaking does not occur. sent10: the autocatalyticness prevents that the belaboring Weston does not occur. sent11: if the hawking does not occur then the belaboring guestroom occurs and the tensionalness occurs. sent12: the obscurantism occurs. sent13: that the seigniory does not occur triggers that the expansiveness does not occur and the belaboring miniature does not occur. sent14: if the discoing does not occur and the stressing does not occur the catapulting calanthe happens. sent15: the belaboring hypertensive does not occur. sent16: the Olympicness is prevented by that the philandering hazardousness does not occur but the combusting happens. sent17: the quickie happens. sent18: that the philandering Afro-wig does not occur is prevented by that not the expansiveness but the belaboring miniature occurs. sent19: if the seigniory happens then the philandering ponycart does not occur but the belaboring airburst occurs. sent20: if the philandering Afro-wig and the unfamiliarness happens the mulcting mid-calf does not occur. sent21: if the expansiveness does not occur and the belaboring miniature does not occur then the philandering Afro-wig happens. sent22: the rustling does not occur. sent23: if the fact that the belaboring guestroom occurs is true the unfamiliarness happens. ; $proof$ = 
void -> assump2: Let's assume that the seigniory occurs.; sent19 & assump2 -> int1: the philandering ponycart does not occur and the belaboring airburst happens.; void -> assump1: Let's assume that the fact that the philandering ponycart does not occur but the belaboring airburst happens is not right.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the seigniory does not occur.; int3 & sent13 -> int4: the expansiveness does not occur and the belaboring miniature does not occur.; int4 & sent21 -> int5: the philandering Afro-wig occurs.; __UNKNOWN__