the blueing jockey does not occur or the commercial happens or both.
sent1: if the postmillennialness does not occur the flumping occurs. sent2: if the memorializing Marti does not occur then the powdering productivity happens and the elaborating occurs. sent3: the blueing Horne happens if the congratulation occurs. sent4: if that the nonterritorialness does not occur is true both the collaboration and the bacchanal occurs. sent5: the limnologicalness happens. sent6: if the gapping occurs that the corporatist happens hold. sent7: that both the non-doctoralness and the pioneering occurs is false if the streaming does not occur. sent8: that the flumping happens yields that the distributing happens. sent9: the elaborating occurs if the memorializing Marti does not occur. sent10: the blueing dangleberry does not occur. sent11: if the class does not occur then the blueing Horne happens. sent12: the Zoroastrian does not occur. sent13: either the congratulation happens or the class does not occur or both if the powdering productivity occurs. sent14: the wrestling rpm happens. sent15: the resolution occurs. sent16: the memorializing Marti does not occur. sent17: the wrestling Solzhenitsyn does not occur. sent18: that the frustration occurs is prevented by that the distributing happens and the blueing Horne occurs. sent19: if the frustration does not occur the fact that the blueing jockey does not occur is correct. sent20: that the postmillennialness happens triggers that both the non-doctoralness and the pioneering occurs. sent21: if the tidalness does not occur that the afraidness does not occur hold. sent22: the wrestling yanker does not occur.
void -> assump1: Let's assume that the postmillennialness happens.; sent20 & assump1 -> int1: not the doctoralness but the pioneering occurs.; sent2 & sent16 -> int2: the powdering productivity and the elaborating occurs.; int2 -> int3: the powdering productivity occurs.; sent13 & int3 -> int4: the congratulation happens or the class does not occur or both.; int4 & sent3 & sent11 -> int5: the blueing Horne occurs.;
$hypothesis$ = the blueing jockey does not occur or the commercial happens or both. ; $context$ = sent1: if the postmillennialness does not occur the flumping occurs. sent2: if the memorializing Marti does not occur then the powdering productivity happens and the elaborating occurs. sent3: the blueing Horne happens if the congratulation occurs. sent4: if that the nonterritorialness does not occur is true both the collaboration and the bacchanal occurs. sent5: the limnologicalness happens. sent6: if the gapping occurs that the corporatist happens hold. sent7: that both the non-doctoralness and the pioneering occurs is false if the streaming does not occur. sent8: that the flumping happens yields that the distributing happens. sent9: the elaborating occurs if the memorializing Marti does not occur. sent10: the blueing dangleberry does not occur. sent11: if the class does not occur then the blueing Horne happens. sent12: the Zoroastrian does not occur. sent13: either the congratulation happens or the class does not occur or both if the powdering productivity occurs. sent14: the wrestling rpm happens. sent15: the resolution occurs. sent16: the memorializing Marti does not occur. sent17: the wrestling Solzhenitsyn does not occur. sent18: that the frustration occurs is prevented by that the distributing happens and the blueing Horne occurs. sent19: if the frustration does not occur the fact that the blueing jockey does not occur is correct. sent20: that the postmillennialness happens triggers that both the non-doctoralness and the pioneering occurs. sent21: if the tidalness does not occur that the afraidness does not occur hold. sent22: the wrestling yanker does not occur. ; $proof$ = 
void -> assump1: Let's assume that the postmillennialness happens.; sent20 & assump1 -> int1: not the doctoralness but the pioneering occurs.; sent2 & sent16 -> int2: the powdering productivity and the elaborating occurs.; int2 -> int3: the powdering productivity occurs.; sent13 & int3 -> int4: the congratulation happens or the class does not occur or both.; int4 & sent3 & sent11 -> int5: the blueing Horne occurs.; __UNKNOWN__