both the expressing and the squat happens.
sent1: the winning occurs and the experimenting occurs. sent2: the bastinadoing Weizmann does not occur. sent3: the fact that the hanging does not occur and the career happens does not hold. sent4: not the nonindustrialness but the impelling groupware occurs. sent5: the sinistralness occurs and the operculateness occurs. sent6: the non-conciseness and the Bam happens. sent7: the gastroduodenalness happens if the fact that the etiologicalness does not occur hold. sent8: the blaze occurs. sent9: if the atomization happens the unscientificness happens. sent10: the overreaching widgeon does not occur. sent11: the indirectness occurs. sent12: the squat occurs. sent13: the bastinadoing overdraft happens if the shunning fleet occurs. sent14: that the bastinadoing Weizmann does not occur but the unscientificness happens is not correct. sent15: that the indirectness and the express occurs is brought about by that the atomization does not occur. sent16: the indirectness is caused by that the atomization does not occur. sent17: the fact that the invention happens is true. sent18: the jumper occurs and the Lutheran happens.
void -> assump1: Let's assume that that the atomization occurs is not wrong.; sent9 & assump1 -> int1: the unscientificness occurs.; int1 & sent2 -> int2: not the bastinadoing Weizmann but the unscientificness occurs.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the atomization does not occur.; int4 & sent15 -> int5: the indirectness and the express happens.; int5 -> int6: the expressing occurs.; int6 & sent12 -> hypothesis;
the fact that the expressing and the squatting occurs is not correct.
 -> hypothesis;
$hypothesis$ = both the expressing and the squat happens. ; $context$ = sent1: the winning occurs and the experimenting occurs. sent2: the bastinadoing Weizmann does not occur. sent3: the fact that the hanging does not occur and the career happens does not hold. sent4: not the nonindustrialness but the impelling groupware occurs. sent5: the sinistralness occurs and the operculateness occurs. sent6: the non-conciseness and the Bam happens. sent7: the gastroduodenalness happens if the fact that the etiologicalness does not occur hold. sent8: the blaze occurs. sent9: if the atomization happens the unscientificness happens. sent10: the overreaching widgeon does not occur. sent11: the indirectness occurs. sent12: the squat occurs. sent13: the bastinadoing overdraft happens if the shunning fleet occurs. sent14: that the bastinadoing Weizmann does not occur but the unscientificness happens is not correct. sent15: that the indirectness and the express occurs is brought about by that the atomization does not occur. sent16: the indirectness is caused by that the atomization does not occur. sent17: the fact that the invention happens is true. sent18: the jumper occurs and the Lutheran happens. ; $proof$ = 
void -> assump1: Let's assume that that the atomization occurs is not wrong.; sent9 & assump1 -> int1: the unscientificness occurs.; int1 & sent2 -> int2: not the bastinadoing Weizmann but the unscientificness occurs.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the atomization does not occur.; int4 & sent15 -> int5: the indirectness and the express happens.; int5 -> int6: the expressing occurs.; int6 & sent12 -> hypothesis; __PROVED__