the fact that the non-invertibleness does not occur and the station does not occur is false.
sent1: if the ouster does not occur then the non-invertibleness does not occur and the station does not occur. sent2: the obtrusiveness does not occur and the snick does not occur. sent3: that the subrogating Abukir does not occur and the subrogating waddler does not occur prevents the non-invertibleness. sent4: the fact that the station does not occur is right. sent5: the subrogating Abukir happens. sent6: that the Florentine does not occur hold if the lysogenizing fame happens and the besoting assessor happens. sent7: the priestliness does not occur and the wrangling does not occur. sent8: the besoting greenness does not occur if that the besoting ballistocardiograph does not occur is not false. sent9: the subrogating Abukir does not occur if the bundling suffix does not occur. sent10: the fact that the ouster and the bundling suffix happens is false if the sectionalness does not occur. sent11: that the lysogenizing fame does not occur is prevented by that the lysogenizing insufficiency happens. sent12: the besoting ballistocardiograph does not occur if that both the besoting ballistocardiograph and the wholesomeness occurs does not hold. sent13: the hee-haw and the two-dimensionalness occurs. sent14: if the fact that the ouster occurs and the bundling suffix occurs is wrong then the subrogating Abukir does not occur. sent15: if that the hee-hawing occurs hold then the fact that the lysogenizing insufficiency happens is correct. sent16: if the fact that the Florentine does not occur is right then the subrogating Abukir and/or the subrogating waddler occurs. sent17: if the non-invertibleness does not occur and the station does not occur then the sectionalness does not occur. sent18: if the besoting greenness does not occur then the besoting assessor happens and the beetle happens. sent19: if the obtrusiveness does not occur the fact that the besoting ballistocardiograph and the wholesomeness occurs is false.
void -> assump1: Let's assume that the non-invertibleness does not occur and the stationing does not occur.; sent17 & assump1 -> int1: the sectional does not occur.; int1 & sent10 -> int2: that the ouster happens and the bundling suffix occurs is false.; int2 & sent14 -> int3: the subrogating Abukir does not occur.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the non-invertibleness does not occur and the station does not occur.
sent13 -> int5: the hee-haw occurs.; sent15 & int5 -> int6: that the lysogenizing insufficiency occurs hold.; sent11 & int6 -> int7: that the lysogenizing fame occurs is not false.; sent2 -> int8: the obtrusiveness does not occur.; sent19 & int8 -> int9: the fact that the besoting ballistocardiograph occurs and the wholesomeness happens is false.; sent12 & int9 -> int10: the besoting ballistocardiograph does not occur.; sent8 & int10 -> int11: the besoting greenness does not occur.; sent18 & int11 -> int12: that the besoting assessor and the beetle occurs is not false.; int12 -> int13: the besoting assessor occurs.; int7 & int13 -> int14: the lysogenizing fame and the besoting assessor occurs.; sent6 & int14 -> int15: the Florentine does not occur.; sent16 & int15 -> int16: the subrogating Abukir and/or the subrogating waddler occurs.;
$hypothesis$ = the fact that the non-invertibleness does not occur and the station does not occur is false. ; $context$ = sent1: if the ouster does not occur then the non-invertibleness does not occur and the station does not occur. sent2: the obtrusiveness does not occur and the snick does not occur. sent3: that the subrogating Abukir does not occur and the subrogating waddler does not occur prevents the non-invertibleness. sent4: the fact that the station does not occur is right. sent5: the subrogating Abukir happens. sent6: that the Florentine does not occur hold if the lysogenizing fame happens and the besoting assessor happens. sent7: the priestliness does not occur and the wrangling does not occur. sent8: the besoting greenness does not occur if that the besoting ballistocardiograph does not occur is not false. sent9: the subrogating Abukir does not occur if the bundling suffix does not occur. sent10: the fact that the ouster and the bundling suffix happens is false if the sectionalness does not occur. sent11: that the lysogenizing fame does not occur is prevented by that the lysogenizing insufficiency happens. sent12: the besoting ballistocardiograph does not occur if that both the besoting ballistocardiograph and the wholesomeness occurs does not hold. sent13: the hee-haw and the two-dimensionalness occurs. sent14: if the fact that the ouster occurs and the bundling suffix occurs is wrong then the subrogating Abukir does not occur. sent15: if that the hee-hawing occurs hold then the fact that the lysogenizing insufficiency happens is correct. sent16: if the fact that the Florentine does not occur is right then the subrogating Abukir and/or the subrogating waddler occurs. sent17: if the non-invertibleness does not occur and the station does not occur then the sectionalness does not occur. sent18: if the besoting greenness does not occur then the besoting assessor happens and the beetle happens. sent19: if the obtrusiveness does not occur the fact that the besoting ballistocardiograph and the wholesomeness occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the non-invertibleness does not occur and the stationing does not occur.; sent17 & assump1 -> int1: the sectional does not occur.; int1 & sent10 -> int2: that the ouster happens and the bundling suffix occurs is false.; int2 & sent14 -> int3: the subrogating Abukir does not occur.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__