the itinerating occurs.
sent1: if the fact that the concretion does not occur and the skiing does not occur is not true the compromising millennium does not occur. sent2: that the liveliness does not occur is caused by that the concretion and the skiing occurs. sent3: the ectomorphicness occurs. sent4: that the Maoist but not the preparing unbelief occurs is brought about by the ectomorphicness. sent5: that the storminess happens is not wrong if the dabbing clearance occurs. sent6: the swelling occurs if the fact that the pealing does not occur or the compromising AUC happens or both does not hold. sent7: if the Maoist happens but the preparing unbelief does not occur then that the civicness does not occur is right. sent8: the non-pneumaticness is brought about by that the countercharge does not occur. sent9: the pealing happens if the compromising AUC happens. sent10: if not the pronominal but the Shuhaness happens then the ebracteateness does not occur. sent11: that the concretion does not occur and the skiing does not occur is not right if the pneumaticness does not occur. sent12: the countercharge does not occur if the fact that the countercharge occurs and the scissoring Trollope occurs is incorrect. sent13: the liveliness and the jumper happens. sent14: the fact that the concretion does not occur is right. sent15: that the jumper occurs and the liveliness happens is false if the scissoring Worcester does not occur. sent16: that both the board and the compromising millennium happens is brought about by that the liveliness does not occur. sent17: that the curtailment happens causes that the scissoring Worcester does not occur. sent18: if that the fact that the jumper and the liveliness occurs is not right is right the jumper does not occur. sent19: the fact that that the fact that the postmeridianness happens but the jumper does not occur is not false is false if the board occurs is not incorrect. sent20: that the board does not occur prevents that the itinerating does not occur. sent21: the compromising millennium does not occur and the postmeridianness does not occur. sent22: the liveliness happens. sent23: if the civicness does not occur the fact that the countercharge happens and the scissoring Trollope occurs does not hold. sent24: the compromising millennium does not occur. sent25: that the pealing and the non-postmeridianness occurs is not right if the concretion does not occur.
void -> assump1: Let's assume that the compromising AUC occurs.; sent9 & assump1 -> int1: the pealing occurs.; sent21 -> int2: the fact that the postmeridianness does not occur is not false.; int1 & int2 -> int3: the pealing and the non-postmeridianness happens.; sent25 & sent14 -> int4: that both the pealing and the non-postmeridianness occurs is wrong.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the compromising AUC does not occur.; sent13 -> int7: the jumper happens.; int6 & int7 -> int8: not the compromising AUC but the jumper occurs.;
the swell occurs and the measuring happens.
sent4 & sent3 -> int9: the Maoist happens and the preparing unbelief does not occur.; sent7 & int9 -> int10: the civicness does not occur.; sent23 & int10 -> int11: the fact that the countercharge happens and the scissoring Trollope occurs is wrong.; sent12 & int11 -> int12: the countercharge does not occur.; sent8 & int12 -> int13: the pneumaticness does not occur.; sent11 & int13 -> int14: the fact that the concretion does not occur and the skiing does not occur is not correct.; sent1 & int14 -> int15: the compromising millennium does not occur.;
$hypothesis$ = the itinerating occurs. ; $context$ = sent1: if the fact that the concretion does not occur and the skiing does not occur is not true the compromising millennium does not occur. sent2: that the liveliness does not occur is caused by that the concretion and the skiing occurs. sent3: the ectomorphicness occurs. sent4: that the Maoist but not the preparing unbelief occurs is brought about by the ectomorphicness. sent5: that the storminess happens is not wrong if the dabbing clearance occurs. sent6: the swelling occurs if the fact that the pealing does not occur or the compromising AUC happens or both does not hold. sent7: if the Maoist happens but the preparing unbelief does not occur then that the civicness does not occur is right. sent8: the non-pneumaticness is brought about by that the countercharge does not occur. sent9: the pealing happens if the compromising AUC happens. sent10: if not the pronominal but the Shuhaness happens then the ebracteateness does not occur. sent11: that the concretion does not occur and the skiing does not occur is not right if the pneumaticness does not occur. sent12: the countercharge does not occur if the fact that the countercharge occurs and the scissoring Trollope occurs is incorrect. sent13: the liveliness and the jumper happens. sent14: the fact that the concretion does not occur is right. sent15: that the jumper occurs and the liveliness happens is false if the scissoring Worcester does not occur. sent16: that both the board and the compromising millennium happens is brought about by that the liveliness does not occur. sent17: that the curtailment happens causes that the scissoring Worcester does not occur. sent18: if that the fact that the jumper and the liveliness occurs is not right is right the jumper does not occur. sent19: the fact that that the fact that the postmeridianness happens but the jumper does not occur is not false is false if the board occurs is not incorrect. sent20: that the board does not occur prevents that the itinerating does not occur. sent21: the compromising millennium does not occur and the postmeridianness does not occur. sent22: the liveliness happens. sent23: if the civicness does not occur the fact that the countercharge happens and the scissoring Trollope occurs does not hold. sent24: the compromising millennium does not occur. sent25: that the pealing and the non-postmeridianness occurs is not right if the concretion does not occur. ; $proof$ = 
void -> assump1: Let's assume that the compromising AUC occurs.; sent9 & assump1 -> int1: the pealing occurs.; sent21 -> int2: the fact that the postmeridianness does not occur is not false.; int1 & int2 -> int3: the pealing and the non-postmeridianness happens.; sent25 & sent14 -> int4: that both the pealing and the non-postmeridianness occurs is wrong.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the compromising AUC does not occur.; sent13 -> int7: the jumper happens.; int6 & int7 -> int8: not the compromising AUC but the jumper occurs.; __UNKNOWN__