the fungalness occurs if the judicialness occurs.
sent1: the bimolecularness prevents that the breasting does not occur. sent2: the mowing does not occur if the loudness does not occur. sent3: that the mastering earplug does not occur and the ministerialness does not occur is false if the lashing happens. sent4: the loudness does not occur. sent5: the flare is prevented by that the mowing does not occur and the androgynousness occurs. sent6: if the mastering Celastrus occurs the fact that the relaxation does not occur and the mastering earplug does not occur is wrong. sent7: that both the non-judicialness and the non-fungalness happens is brought about by that the flaring does not occur. sent8: that the bradding blender does not occur does not hold. sent9: if the judicialness happens the fact that the flurrying does not occur and the demoting shiv does not occur is not true. sent10: that the foreshock does not occur yields that the androgynousness and the mastering freedom occurs. sent11: the fact that the mastering spectrogram does not occur and the swashing does not occur does not hold if the judicialness does not occur. sent12: if the judicialness occurs the fact that the flurrying does not occur but the demoting shiv happens is not correct. sent13: that the foreshock does not occur is triggered by that the non-calcanealness and/or the bradding annelid occurs. sent14: that the flurry does not occur but the demoting shiv occurs is not true. sent15: the fact that if that the flurrying does not occur and the demoting shiv does not occur is incorrect then the fungalness occurs is true. sent16: the fact that the non-Nicaeanness and the affine happens is false if the nonoperationalness occurs. sent17: if the judicialness does not occur then that the clanging does not occur and the lashing does not occur is not right. sent18: the demoting shiv leads to that the fungalness occurs.
void -> assump1: Let's assume that the judicialness occurs.; sent9 & assump1 -> int1: that the flurrying does not occur and the demoting shiv does not occur does not hold.; sent15 & int1 -> int2: the fungalness occurs.; [assump1] & int2 -> hypothesis;
that the clanging does not occur and the lashing does not occur is not correct.
sent2 & sent4 -> int3: the mowing does not occur.;
$hypothesis$ = the fungalness occurs if the judicialness occurs. ; $context$ = sent1: the bimolecularness prevents that the breasting does not occur. sent2: the mowing does not occur if the loudness does not occur. sent3: that the mastering earplug does not occur and the ministerialness does not occur is false if the lashing happens. sent4: the loudness does not occur. sent5: the flare is prevented by that the mowing does not occur and the androgynousness occurs. sent6: if the mastering Celastrus occurs the fact that the relaxation does not occur and the mastering earplug does not occur is wrong. sent7: that both the non-judicialness and the non-fungalness happens is brought about by that the flaring does not occur. sent8: that the bradding blender does not occur does not hold. sent9: if the judicialness happens the fact that the flurrying does not occur and the demoting shiv does not occur is not true. sent10: that the foreshock does not occur yields that the androgynousness and the mastering freedom occurs. sent11: the fact that the mastering spectrogram does not occur and the swashing does not occur does not hold if the judicialness does not occur. sent12: if the judicialness occurs the fact that the flurrying does not occur but the demoting shiv happens is not correct. sent13: that the foreshock does not occur is triggered by that the non-calcanealness and/or the bradding annelid occurs. sent14: that the flurry does not occur but the demoting shiv occurs is not true. sent15: the fact that if that the flurrying does not occur and the demoting shiv does not occur is incorrect then the fungalness occurs is true. sent16: the fact that the non-Nicaeanness and the affine happens is false if the nonoperationalness occurs. sent17: if the judicialness does not occur then that the clanging does not occur and the lashing does not occur is not right. sent18: the demoting shiv leads to that the fungalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the judicialness occurs.; sent9 & assump1 -> int1: that the flurrying does not occur and the demoting shiv does not occur does not hold.; sent15 & int1 -> int2: the fungalness occurs.; [assump1] & int2 -> hypothesis; __PROVED__