the effecting swiz occurs if the fluctuating happens.
sent1: the butchery but not the refitting happens. sent2: if the make-believe but not the plebiscite happens then the organizing millet happens. sent3: the enlisting does not occur if the microscopy does not occur and the tripping outbreak does not occur. sent4: the plebiscite does not occur. sent5: if the infiniteness occurs the mutableness occurs. sent6: the organizing Merckx does not occur if the aphaereticness does not occur and the ELISA does not occur. sent7: that the pullulating does not occur and the deep-seaness does not occur results in the effecting swiz. sent8: the organizing zloty but not the edging happens. sent9: that the organizing globule occurs hold if the enlisting does not occur. sent10: the vandalism does not occur. sent11: that the enlisting does not occur triggers that the organizing globule occurs and the pullulating does not occur. sent12: that the enlisting occurs is prevented by that the microscopy happens but the tripping outbreak does not occur. sent13: the microscopy does not occur and the tripping outbreak does not occur. sent14: the make-believe but not the plebiscite happens. sent15: the viscometricness occurs if the fact that the shoot-'em-up occurs but the effecting saprobe does not occur is not incorrect. sent16: the vandalism does not occur and the lysogenicness does not occur. sent17: that both the deep-sea and the fluctuating happens brings about that the organizing millet does not occur. sent18: the organizing globule occurs. sent19: the stylishness does not occur. sent20: the fact that the inscriptiveness does not occur is right. sent21: the microscopy does not occur. sent22: that the organizing millet happens is brought about by that both the make-believe and the plebiscite happens.
void -> assump1: Let's assume that the deep-seaness happens.; void -> assump2: Let's assume that the fluctuating happens.; assump1 & assump2 -> int1: both the deep-sea and the fluctuating occurs.; int1 & sent17 -> int2: the organizing millet does not occur.; sent2 & sent14 -> int3: the organizing millet happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the deep-seaness does not occur.; sent3 & sent13 -> int6: the enlisting does not occur.; sent11 & int6 -> int7: the organizing globule but not the pullulating happens.; int7 -> int8: the pullulating does not occur.; int5 & int8 -> int9: the pullulating does not occur and the deep-seaness does not occur.; int9 & sent7 -> int10: the effecting swiz occurs.; [assump2] & int10 -> hypothesis;
$hypothesis$ = the effecting swiz occurs if the fluctuating happens. ; $context$ = sent1: the butchery but not the refitting happens. sent2: if the make-believe but not the plebiscite happens then the organizing millet happens. sent3: the enlisting does not occur if the microscopy does not occur and the tripping outbreak does not occur. sent4: the plebiscite does not occur. sent5: if the infiniteness occurs the mutableness occurs. sent6: the organizing Merckx does not occur if the aphaereticness does not occur and the ELISA does not occur. sent7: that the pullulating does not occur and the deep-seaness does not occur results in the effecting swiz. sent8: the organizing zloty but not the edging happens. sent9: that the organizing globule occurs hold if the enlisting does not occur. sent10: the vandalism does not occur. sent11: that the enlisting does not occur triggers that the organizing globule occurs and the pullulating does not occur. sent12: that the enlisting occurs is prevented by that the microscopy happens but the tripping outbreak does not occur. sent13: the microscopy does not occur and the tripping outbreak does not occur. sent14: the make-believe but not the plebiscite happens. sent15: the viscometricness occurs if the fact that the shoot-'em-up occurs but the effecting saprobe does not occur is not incorrect. sent16: the vandalism does not occur and the lysogenicness does not occur. sent17: that both the deep-sea and the fluctuating happens brings about that the organizing millet does not occur. sent18: the organizing globule occurs. sent19: the stylishness does not occur. sent20: the fact that the inscriptiveness does not occur is right. sent21: the microscopy does not occur. sent22: that the organizing millet happens is brought about by that both the make-believe and the plebiscite happens. ; $proof$ = 
void -> assump1: Let's assume that the deep-seaness happens.; void -> assump2: Let's assume that the fluctuating happens.; assump1 & assump2 -> int1: both the deep-sea and the fluctuating occurs.; int1 & sent17 -> int2: the organizing millet does not occur.; sent2 & sent14 -> int3: the organizing millet happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the deep-seaness does not occur.; sent3 & sent13 -> int6: the enlisting does not occur.; sent11 & int6 -> int7: the organizing globule but not the pullulating happens.; int7 -> int8: the pullulating does not occur.; int5 & int8 -> int9: the pullulating does not occur and the deep-seaness does not occur.; int9 & sent7 -> int10: the effecting swiz occurs.; [assump2] & int10 -> hypothesis; __PROVED__