the homering does not occur if the bregmaticness does not occur.
sent1: if the Labor does not occur then the poaching does not occur. sent2: that the hubbub happens is prevented by that the seminalness does not occur. sent3: that the seminalness does not occur triggers that the hubbub does not occur and the homering does not occur. sent4: the alabasterness does not occur if the realigning progressiveness does not occur. sent5: that the realigning haft happens leads to that the officializing quira occurs. sent6: the hubbub does not occur. sent7: the homer happens. sent8: the stylization does not occur. sent9: the hubbub does not occur but the homer occurs. sent10: the sedimentariness does not occur and the alligator does not occur if the allomerism does not occur. sent11: the acceptableness happens. sent12: the hubbub does not occur and the homer occurs if the seminalness does not occur. sent13: that the emergency happens is true. sent14: if the Labor happens the mercuricness occurs. sent15: the homering is triggered by the non-bregmaticness. sent16: the investment does not occur. sent17: the venturing does not occur. sent18: the frolicking deal does not occur. sent19: the minimization does not occur. sent20: the piece does not occur and the sedimentariness does not occur if the Jamesianness does not occur. sent21: that the officializing quira happens prevents that the bregmaticness does not occur.
void -> assump2: Let's assume that the realigning haft occurs.; sent5 & assump2 -> int1: the officializing quira happens.; int1 & sent21 -> int2: the bregmaticness happens.; void -> assump1: Let's assume that the fact that the bregmaticness does not occur is not wrong.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the realigning haft does not occur.;
$hypothesis$ = the homering does not occur if the bregmaticness does not occur. ; $context$ = sent1: if the Labor does not occur then the poaching does not occur. sent2: that the hubbub happens is prevented by that the seminalness does not occur. sent3: that the seminalness does not occur triggers that the hubbub does not occur and the homering does not occur. sent4: the alabasterness does not occur if the realigning progressiveness does not occur. sent5: that the realigning haft happens leads to that the officializing quira occurs. sent6: the hubbub does not occur. sent7: the homer happens. sent8: the stylization does not occur. sent9: the hubbub does not occur but the homer occurs. sent10: the sedimentariness does not occur and the alligator does not occur if the allomerism does not occur. sent11: the acceptableness happens. sent12: the hubbub does not occur and the homer occurs if the seminalness does not occur. sent13: that the emergency happens is true. sent14: if the Labor happens the mercuricness occurs. sent15: the homering is triggered by the non-bregmaticness. sent16: the investment does not occur. sent17: the venturing does not occur. sent18: the frolicking deal does not occur. sent19: the minimization does not occur. sent20: the piece does not occur and the sedimentariness does not occur if the Jamesianness does not occur. sent21: that the officializing quira happens prevents that the bregmaticness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the realigning haft occurs.; sent5 & assump2 -> int1: the officializing quira happens.; int1 & sent21 -> int2: the bregmaticness happens.; void -> assump1: Let's assume that the fact that the bregmaticness does not occur is not wrong.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the realigning haft does not occur.; __UNKNOWN__