the vigesimalness occurs if the negotiating microbat occurs.
sent1: the allographicness happens. sent2: if that the clinicalness occurs and the buying occurs is not true then the buying does not occur. sent3: the epistemicness does not occur. sent4: the abstinence does not occur. sent5: that the hecatomb happens and/or the discomycetousness occurs prevents that the correctedness happens. sent6: the reprisal does not occur if the opinion occurs or the shrinking occurs or both. sent7: the non-vigesimalness is prevented by that the quivering engram does not occur. sent8: the negotiating cheesecake and/or the betteringness occurs. sent9: if the Energy does not occur that the trisecting dirtiness occurs is true. sent10: the Milanese happens. sent11: the infinitivalness happens or the lamentation happens or both. sent12: the weightiness happens or the curtainlessness happens or both. sent13: if the Alaskanness does not occur then the trisecting confiture occurs. sent14: the Manchurianness and/or the unveiling happens. sent15: if the clinicalness and/or the negotiating microbat occurs then the quivering engram does not occur. sent16: that the negotiating horseshoe does not occur causes the Slavness. sent17: that the sectarianness does not occur is prevented by that the trisecting moppet happens. sent18: the clinicalness occurs.
void -> assump1: Let's assume that the negotiating microbat occurs.; assump1 -> int1: the clinicalness occurs or the negotiating microbat occurs or both.; sent15 & int1 -> int2: the quivering engram does not occur.; sent7 & int2 -> int3: the vigesimalness occurs.; [assump1] & int3 -> hypothesis;
that the buying does not occur is correct.
$hypothesis$ = the vigesimalness occurs if the negotiating microbat occurs. ; $context$ = sent1: the allographicness happens. sent2: if that the clinicalness occurs and the buying occurs is not true then the buying does not occur. sent3: the epistemicness does not occur. sent4: the abstinence does not occur. sent5: that the hecatomb happens and/or the discomycetousness occurs prevents that the correctedness happens. sent6: the reprisal does not occur if the opinion occurs or the shrinking occurs or both. sent7: the non-vigesimalness is prevented by that the quivering engram does not occur. sent8: the negotiating cheesecake and/or the betteringness occurs. sent9: if the Energy does not occur that the trisecting dirtiness occurs is true. sent10: the Milanese happens. sent11: the infinitivalness happens or the lamentation happens or both. sent12: the weightiness happens or the curtainlessness happens or both. sent13: if the Alaskanness does not occur then the trisecting confiture occurs. sent14: the Manchurianness and/or the unveiling happens. sent15: if the clinicalness and/or the negotiating microbat occurs then the quivering engram does not occur. sent16: that the negotiating horseshoe does not occur causes the Slavness. sent17: that the sectarianness does not occur is prevented by that the trisecting moppet happens. sent18: the clinicalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the negotiating microbat occurs.; assump1 -> int1: the clinicalness occurs or the negotiating microbat occurs or both.; sent15 & int1 -> int2: the quivering engram does not occur.; sent7 & int2 -> int3: the vigesimalness occurs.; [assump1] & int3 -> hypothesis; __PROVED__