the klondike does not occur.
sent1: the gathering freeman occurs and the bumming occurs. sent2: if the prohibition does not occur then the fact that the legatoness does not occur is true. sent3: the fact that that the change occurs prevents that the catechism does not occur is not wrong. sent4: that the plumbicness does not occur and the engineering does not occur yields that the justifying does not occur. sent5: that the gathering freeman does not occur is brought about by that the expense happens or the film does not occur or both. sent6: the change happens and the sickening Argusianus occurs if that the gathering Pseudepigrapha does not occur is not false. sent7: if the filming does not occur the klondike and the expense occurs. sent8: the alterableness does not occur. sent9: the fact that the gathering Pseudepigrapha but not the countercurrent happens is not correct if the justifying does not occur. sent10: the thermostaticsness does not occur if the fact that the thermostaticsness occurs but the taxation does not occur does not hold. sent11: if the expense does not occur the gathering Suez does not occur. sent12: if the nominating does not occur then the anisogamicness does not occur but the noncurrentness occurs. sent13: the plumbicness does not occur and the engineering does not occur. sent14: if the catechism and the bregmaticness happens then the nominating does not occur. sent15: if the bumming does not occur then the fact that the gathering freeman occurs and the gathering Suez occurs does not hold. sent16: if the device happens the fact that the thermostaticsness but not the taxation happens is not true. sent17: that the formulariness happens and/or the sickening decipherer happens is caused by that the alterableness does not occur. sent18: if the anisogamicness does not occur then both the device and the proselytism happens. sent19: the bumming does not occur if the thermostaticsness does not occur. sent20: if the fact that the gathering Pseudepigrapha but not the countercurrent happens is not correct the fact that the gathering Pseudepigrapha does not occur is correct.
void -> assump1: Let's assume that the expense happens.; assump1 -> int1: the expensing occurs or the filming does not occur or both.; int1 & sent5 -> int2: that the gathering freeman does not occur hold.; sent1 -> int3: the gathering freeman happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the expensing does not occur.; int5 & sent11 -> int6: the gathering Suez does not occur.;
the klondike occurs.
sent4 & sent13 -> int7: the justifying does not occur.; sent9 & int7 -> int8: the fact that the gathering Pseudepigrapha occurs but the countercurrent does not occur does not hold.; sent20 & int8 -> int9: the gathering Pseudepigrapha does not occur.; sent6 & int9 -> int10: the changing and the sickening Argusianus occurs.; int10 -> int11: the change happens.; sent3 & int11 -> int12: the catechism occurs.; sent17 & sent8 -> int13: the fact that the formulary occurs and/or the sickening decipherer happens is correct.;
$hypothesis$ = the klondike does not occur. ; $context$ = sent1: the gathering freeman occurs and the bumming occurs. sent2: if the prohibition does not occur then the fact that the legatoness does not occur is true. sent3: the fact that that the change occurs prevents that the catechism does not occur is not wrong. sent4: that the plumbicness does not occur and the engineering does not occur yields that the justifying does not occur. sent5: that the gathering freeman does not occur is brought about by that the expense happens or the film does not occur or both. sent6: the change happens and the sickening Argusianus occurs if that the gathering Pseudepigrapha does not occur is not false. sent7: if the filming does not occur the klondike and the expense occurs. sent8: the alterableness does not occur. sent9: the fact that the gathering Pseudepigrapha but not the countercurrent happens is not correct if the justifying does not occur. sent10: the thermostaticsness does not occur if the fact that the thermostaticsness occurs but the taxation does not occur does not hold. sent11: if the expense does not occur the gathering Suez does not occur. sent12: if the nominating does not occur then the anisogamicness does not occur but the noncurrentness occurs. sent13: the plumbicness does not occur and the engineering does not occur. sent14: if the catechism and the bregmaticness happens then the nominating does not occur. sent15: if the bumming does not occur then the fact that the gathering freeman occurs and the gathering Suez occurs does not hold. sent16: if the device happens the fact that the thermostaticsness but not the taxation happens is not true. sent17: that the formulariness happens and/or the sickening decipherer happens is caused by that the alterableness does not occur. sent18: if the anisogamicness does not occur then both the device and the proselytism happens. sent19: the bumming does not occur if the thermostaticsness does not occur. sent20: if the fact that the gathering Pseudepigrapha but not the countercurrent happens is not correct the fact that the gathering Pseudepigrapha does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the expense happens.; assump1 -> int1: the expensing occurs or the filming does not occur or both.; int1 & sent5 -> int2: that the gathering freeman does not occur hold.; sent1 -> int3: the gathering freeman happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the expensing does not occur.; int5 & sent11 -> int6: the gathering Suez does not occur.; __UNKNOWN__