that the glomming negus does not occur is not wrong.
sent1: if the polyphonicness happens the Noachianness does not occur. sent2: that the glomming negus occurs and the Malianness occurs is brought about by that the glomming classwork does not occur. sent3: the Malianness and the glomming classwork happens. sent4: that the sponge happens is right. sent5: either the polyphonicness happens or the facelift does not occur or both. sent6: the effortfulness does not occur. sent7: that the monopolization does not occur is brought about by that the sustainableness occurs. sent8: the complecting ocelot does not occur. sent9: the lambing exclusion does not occur. sent10: if the facelift does not occur the Noachianness does not occur. sent11: the non-Noachianness results in that the nonsubmersibleness occurs and the architecture occurs. sent12: that the architecture happens hold if that the Noachianness does not occur is true. sent13: that the glomming negus does not occur is not incorrect if the glomming skybox does not occur.
sent3 -> int1: the fact that the Malianness occurs is not incorrect.; void -> assump1: Let's assume that that the glomming skybox occurs is not wrong.; int1 & assump1 -> int2: the Malianness happens and the glomming skybox occurs.; sent5 & sent1 & sent10 -> int3: the Noachianness does not occur.; sent11 & int3 -> int4: that both the nonsubmersibleness and the architecture happens is not incorrect.; int4 -> int5: the nonsubmersibleness occurs.;
the glomming negus happens.
$hypothesis$ = that the glomming negus does not occur is not wrong. ; $context$ = sent1: if the polyphonicness happens the Noachianness does not occur. sent2: that the glomming negus occurs and the Malianness occurs is brought about by that the glomming classwork does not occur. sent3: the Malianness and the glomming classwork happens. sent4: that the sponge happens is right. sent5: either the polyphonicness happens or the facelift does not occur or both. sent6: the effortfulness does not occur. sent7: that the monopolization does not occur is brought about by that the sustainableness occurs. sent8: the complecting ocelot does not occur. sent9: the lambing exclusion does not occur. sent10: if the facelift does not occur the Noachianness does not occur. sent11: the non-Noachianness results in that the nonsubmersibleness occurs and the architecture occurs. sent12: that the architecture happens hold if that the Noachianness does not occur is true. sent13: that the glomming negus does not occur is not incorrect if the glomming skybox does not occur. ; $proof$ = 
sent3 -> int1: the fact that the Malianness occurs is not incorrect.; void -> assump1: Let's assume that that the glomming skybox occurs is not wrong.; int1 & assump1 -> int2: the Malianness happens and the glomming skybox occurs.; sent5 & sent1 & sent10 -> int3: the Noachianness does not occur.; sent11 & int3 -> int4: that both the nonsubmersibleness and the architecture happens is not incorrect.; int4 -> int5: the nonsubmersibleness occurs.; __UNKNOWN__