the discard does not occur.
sent1: if the shearing does not occur then the fact that the quirking happens and the Barbadianness happens is not true. sent2: the spiraling evangelicalism does not occur if that either the polarness happens or the expedient does not occur or both is not correct. sent3: if the fact that the quirk and the Barbadianness happens is not correct then the Barbadianness does not occur. sent4: the backlessness happens. sent5: both the slagging blacksnake and the spiraling maleness occurs if the backlessness does not occur. sent6: the fact that the fact that the inoffensiveness does not occur and the discard does not occur is not true is not wrong if the archaisticness does not occur. sent7: if that the full-termness does not occur is not wrong that the discarding does not occur hold. sent8: if the fact that the inoffensiveness does not occur and the discarding does not occur is not true then the discarding occurs. sent9: the slagging blacksnake occurs. sent10: that both the devitalization and the propitiating happens is brought about by that the deflating meaning does not occur. sent11: if the propitiating occurs the reading does not occur and the slagging quad does not occur. sent12: the spiraling meter happens but the exergonicness does not occur. sent13: if the spiraling evangelicalism does not occur then both the hooking Navarino and the zymoidness happens. sent14: that the hooking Navarino happens leads to that the deflating meaning does not occur but the nuclearness happens. sent15: if the archaisticness occurs and the inoffensiveness happens then the slagging blacksnake does not occur. sent16: if the Barbadian does not occur then the fact that the polarness or the non-expedientness or both happens is not right. sent17: if the reading does not occur and the slagging quad does not occur the deflating mesoderm does not occur. sent18: the archaisticness happens. sent19: that the deflating mesoderm does not occur results in that both the non-full-termness and the backedness occurs.
void -> assump1: Let's assume that the inoffensiveness occurs.; sent18 & assump1 -> int1: both the archaisticness and the inoffensiveness happens.; int1 & sent15 -> int2: the slagging blacksnake does not occur.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the inoffensiveness does not occur.; int4 & sent4 -> int5: the backlessness and the non-inoffensiveness happens.;
the spiraling maleness occurs and the awfulness does not occur.
$hypothesis$ = the discard does not occur. ; $context$ = sent1: if the shearing does not occur then the fact that the quirking happens and the Barbadianness happens is not true. sent2: the spiraling evangelicalism does not occur if that either the polarness happens or the expedient does not occur or both is not correct. sent3: if the fact that the quirk and the Barbadianness happens is not correct then the Barbadianness does not occur. sent4: the backlessness happens. sent5: both the slagging blacksnake and the spiraling maleness occurs if the backlessness does not occur. sent6: the fact that the fact that the inoffensiveness does not occur and the discard does not occur is not true is not wrong if the archaisticness does not occur. sent7: if that the full-termness does not occur is not wrong that the discarding does not occur hold. sent8: if the fact that the inoffensiveness does not occur and the discarding does not occur is not true then the discarding occurs. sent9: the slagging blacksnake occurs. sent10: that both the devitalization and the propitiating happens is brought about by that the deflating meaning does not occur. sent11: if the propitiating occurs the reading does not occur and the slagging quad does not occur. sent12: the spiraling meter happens but the exergonicness does not occur. sent13: if the spiraling evangelicalism does not occur then both the hooking Navarino and the zymoidness happens. sent14: that the hooking Navarino happens leads to that the deflating meaning does not occur but the nuclearness happens. sent15: if the archaisticness occurs and the inoffensiveness happens then the slagging blacksnake does not occur. sent16: if the Barbadian does not occur then the fact that the polarness or the non-expedientness or both happens is not right. sent17: if the reading does not occur and the slagging quad does not occur the deflating mesoderm does not occur. sent18: the archaisticness happens. sent19: that the deflating mesoderm does not occur results in that both the non-full-termness and the backedness occurs. ; $proof$ = 
void -> assump1: Let's assume that the inoffensiveness occurs.; sent18 & assump1 -> int1: both the archaisticness and the inoffensiveness happens.; int1 & sent15 -> int2: the slagging blacksnake does not occur.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the inoffensiveness does not occur.; int4 & sent4 -> int5: the backlessness and the non-inoffensiveness happens.; __UNKNOWN__