if that the quadratics occurs is not false the receipting does not occur.
sent1: that the singling Upjohn does not occur causes that the stroking peacekeeper does not occur. sent2: if the performance does not occur the fact that the biggerness does not occur and the perjury happens does not hold. sent3: that the non-biggerness and the perjury happens is false. sent4: if the ticking does not occur then the stroking peacekeeper does not occur. sent5: either the singling Upjohn does not occur or the ticking does not occur or both. sent6: the stroking Strepera happens. sent7: if the palatableness occurs the lunacy happens. sent8: the laxness happens if the bottle does not occur. sent9: if the alarmism does not occur then the fact that the culminating occurs is not incorrect. sent10: if the stroking peacekeeper does not occur then the perjury does not occur. sent11: that the reversibleness and the quadraticsness happens results in that the performance does not occur. sent12: if the performance does not occur the fact that the biggerness does not occur and the perjury does not occur does not hold. sent13: if the stroking lira does not occur the patterning silva occurs. sent14: the receipting does not occur if the reversible does not occur. sent15: the receipting occurs. sent16: if the hula does not occur then the fact that the metalworking happens is not false. sent17: the dimensionalness does not occur. sent18: that the non-acceptableness and the non-anticyclonicness occurs is not correct. sent19: the singling cadetship happens. sent20: if the ticking does not occur the stroking peacekeeper happens. sent21: that the degeneration does not occur is true if the rejoinder does not occur.
void -> assump1: Let's assume that the reversible occurs.; void -> assump2: Let's assume that the quadraticsness happens.; assump1 & assump2 -> int1: both the reversibleness and the quadraticsness occurs.; int1 & sent11 -> int2: that the performance does not occur is not wrong.; int2 & sent12 -> int3: the fact that the biggerness does not occur and the perjury does not occur does not hold.; sent5 & sent1 & sent4 -> int4: the stroking peacekeeper does not occur.;
$hypothesis$ = if that the quadratics occurs is not false the receipting does not occur. ; $context$ = sent1: that the singling Upjohn does not occur causes that the stroking peacekeeper does not occur. sent2: if the performance does not occur the fact that the biggerness does not occur and the perjury happens does not hold. sent3: that the non-biggerness and the perjury happens is false. sent4: if the ticking does not occur then the stroking peacekeeper does not occur. sent5: either the singling Upjohn does not occur or the ticking does not occur or both. sent6: the stroking Strepera happens. sent7: if the palatableness occurs the lunacy happens. sent8: the laxness happens if the bottle does not occur. sent9: if the alarmism does not occur then the fact that the culminating occurs is not incorrect. sent10: if the stroking peacekeeper does not occur then the perjury does not occur. sent11: that the reversibleness and the quadraticsness happens results in that the performance does not occur. sent12: if the performance does not occur the fact that the biggerness does not occur and the perjury does not occur does not hold. sent13: if the stroking lira does not occur the patterning silva occurs. sent14: the receipting does not occur if the reversible does not occur. sent15: the receipting occurs. sent16: if the hula does not occur then the fact that the metalworking happens is not false. sent17: the dimensionalness does not occur. sent18: that the non-acceptableness and the non-anticyclonicness occurs is not correct. sent19: the singling cadetship happens. sent20: if the ticking does not occur the stroking peacekeeper happens. sent21: that the degeneration does not occur is true if the rejoinder does not occur. ; $proof$ = 
void -> assump1: Let's assume that the reversible occurs.; void -> assump2: Let's assume that the quadraticsness happens.; assump1 & assump2 -> int1: both the reversibleness and the quadraticsness occurs.; int1 & sent11 -> int2: that the performance does not occur is not wrong.; int2 & sent12 -> int3: the fact that the biggerness does not occur and the perjury does not occur does not hold.; sent5 & sent1 & sent4 -> int4: the stroking peacekeeper does not occur.; __UNKNOWN__