the pachisi occurs but the deflowering pay-phone does not occur.
sent1: the detonation happens. sent2: if the fact that the palatalizing thermoplastic happens is not incorrect the ducking happens but the intonating does not occur. sent3: if the intrapulmonariness occurs then the championship occurs. sent4: the palatalizing agnate happens. sent5: the jacketing Englishwoman does not occur. sent6: the phonogramicness does not occur. sent7: if the deflowering bundling occurs the littleness happens. sent8: the fact that the pachisi happens hold if the overstrain does not occur. sent9: the deflowering lancetfish happens. sent10: the palatalizing laparoscopy but not the euchre occurs. sent11: the determination occurs. sent12: the littleness happens. sent13: the palatalizing antiestablishmentarianism does not occur and the abstraction does not occur. sent14: that the bailment does not occur is prevented by that the overstrain occurs. sent15: that the cordlessness does not occur is not false. sent16: the non-phonogramicness is caused by that the titillating happens. sent17: that the deflowering bundling occurs hold. sent18: if the deflowering bundling happens then the little happens but the palatalizing caboose does not occur. sent19: that the deflowering pay-phone does not occur and the phonogramicness does not occur is triggered by the titillating. sent20: the palatalizing agnate and the titillating occurs. sent21: that the blocking does not occur is prevented by the Wassermann. sent22: if the chirking occurs then the palatalizing caboose occurs.
void -> assump1: Let's assume that the overstraining occurs.; sent14 & assump1 -> int1: the bailment occurs.; sent18 & sent17 -> int2: the little but not the palatalizing caboose occurs.; int2 -> int3: the palatalizing caboose does not occur.; sent20 -> int4: the titillating happens.; sent19 & int4 -> int5: the fact that the deflowering pay-phone does not occur and the phonogramicness does not occur is not wrong.; int5 -> int6: the deflowering pay-phone does not occur.;
that the pachisi but not the deflowering pay-phone occurs is not correct.
 -> hypothesis;
$hypothesis$ = the pachisi occurs but the deflowering pay-phone does not occur. ; $context$ = sent1: the detonation happens. sent2: if the fact that the palatalizing thermoplastic happens is not incorrect the ducking happens but the intonating does not occur. sent3: if the intrapulmonariness occurs then the championship occurs. sent4: the palatalizing agnate happens. sent5: the jacketing Englishwoman does not occur. sent6: the phonogramicness does not occur. sent7: if the deflowering bundling occurs the littleness happens. sent8: the fact that the pachisi happens hold if the overstrain does not occur. sent9: the deflowering lancetfish happens. sent10: the palatalizing laparoscopy but not the euchre occurs. sent11: the determination occurs. sent12: the littleness happens. sent13: the palatalizing antiestablishmentarianism does not occur and the abstraction does not occur. sent14: that the bailment does not occur is prevented by that the overstrain occurs. sent15: that the cordlessness does not occur is not false. sent16: the non-phonogramicness is caused by that the titillating happens. sent17: that the deflowering bundling occurs hold. sent18: if the deflowering bundling happens then the little happens but the palatalizing caboose does not occur. sent19: that the deflowering pay-phone does not occur and the phonogramicness does not occur is triggered by the titillating. sent20: the palatalizing agnate and the titillating occurs. sent21: that the blocking does not occur is prevented by the Wassermann. sent22: if the chirking occurs then the palatalizing caboose occurs. ; $proof$ = 
void -> assump1: Let's assume that the overstraining occurs.; sent14 & assump1 -> int1: the bailment occurs.; sent18 & sent17 -> int2: the little but not the palatalizing caboose occurs.; int2 -> int3: the palatalizing caboose does not occur.; sent20 -> int4: the titillating happens.; sent19 & int4 -> int5: the fact that the deflowering pay-phone does not occur and the phonogramicness does not occur is not wrong.; int5 -> int6: the deflowering pay-phone does not occur.; __UNKNOWN__