the expiring schemozzle occurs.
sent1: if the permeating happens then the actinomycetalness happens. sent2: the ninepins occurs. sent3: if that the broadsiding hooch happens hold the sequestration happens. sent4: the expiring Manama happens. sent5: if the panhysterectomy does not occur then both the holiness and the collaring octosyllable happens. sent6: the Mercurialness does not occur. sent7: the Calvinist occurs. sent8: that the collaring octosyllable occurs triggers that the holiness occurs but the multiplying does not occur. sent9: that the frock occurs and the multiplying does not occur prevents that the expiring schemozzle does not occur. sent10: the panhysterectomy occurs. sent11: both the non-Mercurialness and the displeasing happens if the panhysterectomy happens. sent12: the fact that both the non-Mercurialness and the displeasing happens is false if that the victory does not occur hold. sent13: the panhysterectomy yields the non-Mercurialness. sent14: if that either the actinomycetalness occurs or the frock does not occur or both does not hold then the permeating does not occur. sent15: that the victory happens prevents that the permeating does not occur. sent16: the collaring octosyllable happens. sent17: if that the actinomycetalness occurs hold then the frock occurs. sent18: the adequateness occurs.
void -> assump1: Let's assume that the victory does not occur.; sent12 & assump1 -> int1: that not the Mercurialness but the displeasing occurs does not hold.; sent11 & sent10 -> int2: the Mercurialness does not occur but the displeasing occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the victory happens hold.; int4 & sent15 -> int5: the fact that the permeating happens is true.; int5 & sent1 -> int6: the actinomycetalness happens.; int6 & sent17 -> int7: the frock happens.; sent8 & sent16 -> int8: the holiness happens but the multiplying does not occur.; int8 -> int9: the fact that the multiplying does not occur is not incorrect.; int7 & int9 -> int10: the frocking but not the multiplying happens.; int10 & sent9 -> hypothesis;
the expiring schemozzle does not occur.
$hypothesis$ = the expiring schemozzle occurs. ; $context$ = sent1: if the permeating happens then the actinomycetalness happens. sent2: the ninepins occurs. sent3: if that the broadsiding hooch happens hold the sequestration happens. sent4: the expiring Manama happens. sent5: if the panhysterectomy does not occur then both the holiness and the collaring octosyllable happens. sent6: the Mercurialness does not occur. sent7: the Calvinist occurs. sent8: that the collaring octosyllable occurs triggers that the holiness occurs but the multiplying does not occur. sent9: that the frock occurs and the multiplying does not occur prevents that the expiring schemozzle does not occur. sent10: the panhysterectomy occurs. sent11: both the non-Mercurialness and the displeasing happens if the panhysterectomy happens. sent12: the fact that both the non-Mercurialness and the displeasing happens is false if that the victory does not occur hold. sent13: the panhysterectomy yields the non-Mercurialness. sent14: if that either the actinomycetalness occurs or the frock does not occur or both does not hold then the permeating does not occur. sent15: that the victory happens prevents that the permeating does not occur. sent16: the collaring octosyllable happens. sent17: if that the actinomycetalness occurs hold then the frock occurs. sent18: the adequateness occurs. ; $proof$ = 
void -> assump1: Let's assume that the victory does not occur.; sent12 & assump1 -> int1: that not the Mercurialness but the displeasing occurs does not hold.; sent11 & sent10 -> int2: the Mercurialness does not occur but the displeasing occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the victory happens hold.; int4 & sent15 -> int5: the fact that the permeating happens is true.; int5 & sent1 -> int6: the actinomycetalness happens.; int6 & sent17 -> int7: the frock happens.; sent8 & sent16 -> int8: the holiness happens but the multiplying does not occur.; int8 -> int9: the fact that the multiplying does not occur is not incorrect.; int7 & int9 -> int10: the frocking but not the multiplying happens.; int10 & sent9 -> hypothesis; __PROVED__