the prodding frontage does not occur.
sent1: if the housekeeping Cherbourg happens the prodding frontage happens. sent2: that the calamity and the enthroning occurs is wrong. sent3: the flatsness or the pedagogicalness or both occurs. sent4: that the housekeeping Cherbourg happens or the justifying aborticide occurs or both brings about the non-annelidness. sent5: if the affairs does not occur the synclinalness does not occur. sent6: the housekeeping faun happens and/or the pyrolatry does not occur. sent7: the combing does not occur if the pelvimetry does not occur and the chemotherapy does not occur. sent8: the browse does not occur if the fact that not the housekeeping Cherbourg but the justifying aborticide happens does not hold. sent9: the fact that not the entozoanness but the swoop happens is not right if the comb happens. sent10: if the combing does not occur then that the swooping does not occur and the prodding frontage happens is not true. sent11: if the fact that that the housekeeping Cherbourg happens and/or the trolling does not occur is not incorrect is false the abomination happens. sent12: the gleam occurs if the abomination happens. sent13: if the housekeeping nightshade happens the prenatalness occurs. sent14: if the fact that both the calamity and the enthroning happens is not true then the justifying aborticide does not occur. sent15: that the housekeeping Cherbourg and the justifying aborticide occurs is caused by that the trolling does not occur. sent16: the non-synclinalness brings about that the pelvimetry does not occur and the chemotherapy does not occur. sent17: the affairs is prevented by that the housekeeping faun occurs or that the pyrolatry does not occur or both. sent18: if the justifying aborticide does not occur then the fact that the fact that either the housekeeping Cherbourg happens or the troll does not occur or both does not hold is not incorrect. sent19: if the abomination does not occur then that the gleaming occurs and the trolling happens is incorrect. sent20: the veto does not occur if the synergisticness happens and/or the discussing occurs.
sent14 & sent2 -> int1: the justifying aborticide does not occur.; int1 & sent18 -> int2: the fact that the housekeeping Cherbourg occurs and/or the trolling does not occur does not hold.; int2 & sent11 -> int3: the abomination happens.; int3 & sent12 -> int4: the gleaming happens.; int4 -> int5: the gleam and/or the entozoanness occurs.; void -> assump1: Let's assume that the prodding frontage happens.; sent17 & sent6 -> int6: the affairs does not occur.; sent5 & int6 -> int7: the synclinalness does not occur.; sent16 & int7 -> int8: the pelvimetry does not occur and the chemotherapy does not occur.; sent7 & int8 -> int9: the comb does not occur.; sent10 & int9 -> int10: that that not the swoop but the prodding frontage happens hold does not hold.;
the browse does not occur.
$hypothesis$ = the prodding frontage does not occur. ; $context$ = sent1: if the housekeeping Cherbourg happens the prodding frontage happens. sent2: that the calamity and the enthroning occurs is wrong. sent3: the flatsness or the pedagogicalness or both occurs. sent4: that the housekeeping Cherbourg happens or the justifying aborticide occurs or both brings about the non-annelidness. sent5: if the affairs does not occur the synclinalness does not occur. sent6: the housekeeping faun happens and/or the pyrolatry does not occur. sent7: the combing does not occur if the pelvimetry does not occur and the chemotherapy does not occur. sent8: the browse does not occur if the fact that not the housekeeping Cherbourg but the justifying aborticide happens does not hold. sent9: the fact that not the entozoanness but the swoop happens is not right if the comb happens. sent10: if the combing does not occur then that the swooping does not occur and the prodding frontage happens is not true. sent11: if the fact that that the housekeeping Cherbourg happens and/or the trolling does not occur is not incorrect is false the abomination happens. sent12: the gleam occurs if the abomination happens. sent13: if the housekeeping nightshade happens the prenatalness occurs. sent14: if the fact that both the calamity and the enthroning happens is not true then the justifying aborticide does not occur. sent15: that the housekeeping Cherbourg and the justifying aborticide occurs is caused by that the trolling does not occur. sent16: the non-synclinalness brings about that the pelvimetry does not occur and the chemotherapy does not occur. sent17: the affairs is prevented by that the housekeeping faun occurs or that the pyrolatry does not occur or both. sent18: if the justifying aborticide does not occur then the fact that the fact that either the housekeeping Cherbourg happens or the troll does not occur or both does not hold is not incorrect. sent19: if the abomination does not occur then that the gleaming occurs and the trolling happens is incorrect. sent20: the veto does not occur if the synergisticness happens and/or the discussing occurs. ; $proof$ = 
sent14 & sent2 -> int1: the justifying aborticide does not occur.; int1 & sent18 -> int2: the fact that the housekeeping Cherbourg occurs and/or the trolling does not occur does not hold.; int2 & sent11 -> int3: the abomination happens.; int3 & sent12 -> int4: the gleaming happens.; int4 -> int5: the gleam and/or the entozoanness occurs.; void -> assump1: Let's assume that the prodding frontage happens.; sent17 & sent6 -> int6: the affairs does not occur.; sent5 & int6 -> int7: the synclinalness does not occur.; sent16 & int7 -> int8: the pelvimetry does not occur and the chemotherapy does not occur.; sent7 & int8 -> int9: the comb does not occur.; sent10 & int9 -> int10: that that not the swoop but the prodding frontage happens hold does not hold.; __UNKNOWN__