the fact that both the non-maleficentness and the versification occurs is not false.
sent1: if the crystallizing inefficiency does not occur then that the vertical occurs and the COMINT occurs does not hold. sent2: if that the paternity does not occur and the atonalisticness does not occur does not hold then the side-to-sideness occurs. sent3: not the maleficentness but the reinterpretation happens. sent4: if that the fact that both the vertical and the COMINT occurs is not correct is correct then the COMINT does not occur. sent5: that the paternity occurs but the atonalisticness does not occur is not true. sent6: the animalization does not occur and the reinterpretation happens if the Olympian occurs. sent7: the grate does not occur. sent8: if the ineligibleness does not occur then the fact that the crystallizing thuggery does not occur but the welding creeper occurs does not hold. sent9: the crystallizing nicotine occurs and the interlocking happens if the COMINT does not occur. sent10: that the low-techness but not the elucidation happens is triggered by that the shattering virtue does not occur. sent11: if the versification does not occur that the paternity does not occur and the atonalisticness does not occur is not true. sent12: that the shattering virtue does not occur is caused by that the shattering virtue does not occur and/or the attachment does not occur. sent13: the Olympianness happens if the low-techness but not the elucidation happens. sent14: the crystallizing inefficiency does not occur if the fact that not the crystallizing thuggery but the welding creeper happens is not right. sent15: that the fact that not the grate but the animalization occurs does not hold is right if the side-to-sideness occurs. sent16: the animalization happens. sent17: that the interlocking occurs brings about that the shattering virtue does not occur and/or that the attachment does not occur.
void -> assump1: Let's assume that the versification does not occur.; sent11 & assump1 -> int1: the fact that the paternity does not occur and the atonalisticness does not occur does not hold.; int1 & sent2 -> int2: the side-to-sideness occurs.; int2 & sent15 -> int3: that the grating does not occur but the animalization occurs does not hold.; sent7 & sent16 -> int4: the grating does not occur but the animalization happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the versification happens.; sent3 -> int7: the maleficentness does not occur.; int6 & int7 -> hypothesis;
that the fact that not the maleficentness but the versification happens does not hold hold.
$hypothesis$ = the fact that both the non-maleficentness and the versification occurs is not false. ; $context$ = sent1: if the crystallizing inefficiency does not occur then that the vertical occurs and the COMINT occurs does not hold. sent2: if that the paternity does not occur and the atonalisticness does not occur does not hold then the side-to-sideness occurs. sent3: not the maleficentness but the reinterpretation happens. sent4: if that the fact that both the vertical and the COMINT occurs is not correct is correct then the COMINT does not occur. sent5: that the paternity occurs but the atonalisticness does not occur is not true. sent6: the animalization does not occur and the reinterpretation happens if the Olympian occurs. sent7: the grate does not occur. sent8: if the ineligibleness does not occur then the fact that the crystallizing thuggery does not occur but the welding creeper occurs does not hold. sent9: the crystallizing nicotine occurs and the interlocking happens if the COMINT does not occur. sent10: that the low-techness but not the elucidation happens is triggered by that the shattering virtue does not occur. sent11: if the versification does not occur that the paternity does not occur and the atonalisticness does not occur is not true. sent12: that the shattering virtue does not occur is caused by that the shattering virtue does not occur and/or the attachment does not occur. sent13: the Olympianness happens if the low-techness but not the elucidation happens. sent14: the crystallizing inefficiency does not occur if the fact that not the crystallizing thuggery but the welding creeper happens is not right. sent15: that the fact that not the grate but the animalization occurs does not hold is right if the side-to-sideness occurs. sent16: the animalization happens. sent17: that the interlocking occurs brings about that the shattering virtue does not occur and/or that the attachment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the versification does not occur.; sent11 & assump1 -> int1: the fact that the paternity does not occur and the atonalisticness does not occur does not hold.; int1 & sent2 -> int2: the side-to-sideness occurs.; int2 & sent15 -> int3: that the grating does not occur but the animalization occurs does not hold.; sent7 & sent16 -> int4: the grating does not occur but the animalization happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the versification happens.; sent3 -> int7: the maleficentness does not occur.; int6 & int7 -> hypothesis; __PROVED__