if the granulating does not occur then the harrying Geum occurs.
sent1: the non-intermediateness brings about that the non-platyrrhineness and the encrusting Olivier occurs. sent2: the harrying Geum does not occur if that the harrying Geum occurs and the harrying goldsmith happens is wrong. sent3: that the modeling and the exponentialness happens is wrong. sent4: the reactiveness occurs if the fact that the modeling does not occur and the exponentialness occurs is not correct. sent5: if the fact that not the bedewing K.E. but the intermediate happens is wrong the intermediate does not occur. sent6: the aleuronicness happens if not the Flemish but the encrusting shoebill happens. sent7: the anestrousness occurs if that not the harrying amyl but the encrusting snivel happens is not true. sent8: the harrying Geum happens if the reactiveness occurs. sent9: if the granulating occurs the harrying Geum happens. sent10: the encircling is prevented by that the reactiveness occurs and the granulating does not occur. sent11: if the bedewing needy happens the fructifying occurs. sent12: that the solvent does not occur is prevented by that not the passage but the bedewing raffia occurs. sent13: the modeling does not occur. sent14: the reactiveness occurs if the modeling happens. sent15: that the granulating does not occur is prevented by that the modeling and the exponentialness happens. sent16: the self-fertilization occurs. sent17: that the encrusting sou'-sou'-east does not occur is prevented by that not the harrying osteotomy but the afloatness happens. sent18: that the indulgence does not occur but the bedewing redeye happens is not right. sent19: the wronging does not occur. sent20: the slithering occurs. sent21: if the platyrrhine does not occur then the fact that both the harrying Geum and the harrying goldsmith happens is incorrect. sent22: that the non-anosmicness and the combinativeness happens does not hold.
void -> assump2: Let's assume that the modeling does not occur but the exponentialness happens.;
the encircling does not occur.
$hypothesis$ = if the granulating does not occur then the harrying Geum occurs. ; $context$ = sent1: the non-intermediateness brings about that the non-platyrrhineness and the encrusting Olivier occurs. sent2: the harrying Geum does not occur if that the harrying Geum occurs and the harrying goldsmith happens is wrong. sent3: that the modeling and the exponentialness happens is wrong. sent4: the reactiveness occurs if the fact that the modeling does not occur and the exponentialness occurs is not correct. sent5: if the fact that not the bedewing K.E. but the intermediate happens is wrong the intermediate does not occur. sent6: the aleuronicness happens if not the Flemish but the encrusting shoebill happens. sent7: the anestrousness occurs if that not the harrying amyl but the encrusting snivel happens is not true. sent8: the harrying Geum happens if the reactiveness occurs. sent9: if the granulating occurs the harrying Geum happens. sent10: the encircling is prevented by that the reactiveness occurs and the granulating does not occur. sent11: if the bedewing needy happens the fructifying occurs. sent12: that the solvent does not occur is prevented by that not the passage but the bedewing raffia occurs. sent13: the modeling does not occur. sent14: the reactiveness occurs if the modeling happens. sent15: that the granulating does not occur is prevented by that the modeling and the exponentialness happens. sent16: the self-fertilization occurs. sent17: that the encrusting sou'-sou'-east does not occur is prevented by that not the harrying osteotomy but the afloatness happens. sent18: that the indulgence does not occur but the bedewing redeye happens is not right. sent19: the wronging does not occur. sent20: the slithering occurs. sent21: if the platyrrhine does not occur then the fact that both the harrying Geum and the harrying goldsmith happens is incorrect. sent22: that the non-anosmicness and the combinativeness happens does not hold. ; $proof$ = 
void -> assump2: Let's assume that the modeling does not occur but the exponentialness happens.; __UNKNOWN__