the risking quarterfinal occurs.
sent1: if that the stripping setscrew occurs but the consultation does not occur does not hold the commanding Pithecanthropus happens. sent2: if the commanding PWR does not occur then the knuckleball happens and the stripping congestion occurs. sent3: if the knuckleball occurs then the blackmailing occurs. sent4: the nonsuppurativeness happens if the fact that not the Grant but the homemadeness occurs is incorrect. sent5: that the risking quarterfinal does not occur is caused by that the commanding Pithecanthropus but not the facultativeness occurs. sent6: if the stripping congestion does not occur the knuckleball happens and the commanding PWR happens. sent7: the fact that the euclidianness happens is correct if the bossism occurs. sent8: the option happens if that the blackmail happens is not false. sent9: the fact that the stripping Polygonum happens but the risking priming does not occur does not hold if that the consolidating happens is not false. sent10: the commanding PWR occurs if the stripping congestion does not occur. sent11: if that the stripping Polygonum but not the risking priming occurs is wrong the facultativeness does not occur. sent12: that the Grant does not occur but the homemadeness happens is incorrect if the stripping congestion happens. sent13: the correctness does not occur if the fact that the stabling cross-examination does not occur hold. sent14: the microcephalicness does not occur and the corvee does not occur. sent15: the gyralness occurs. sent16: the consolidating does not occur. sent17: if the fact that not the homemadeness but the Grant happens is incorrect then the stripping congestion does not occur. sent18: the fact that the homemadeness happens is not wrong. sent19: that the decelerating does not occur is brought about by that the microcephalicness does not occur and the corvee does not occur. sent20: if the fact that not the moderatorship but the mastering occurs is not true the Frenchness does not occur. sent21: if the decelerating does not occur then that the stripping setscrew but not the consultation happens is wrong.
void -> assump1: Let's assume that the non-homemadeness and the Grant happens.; assump1 -> int1: the homemadeness does not occur.; sent18 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the homemadeness does not occur and the Grant happens is false.; sent17 & int3 -> int4: the stripping congestion does not occur.; sent6 & int4 -> int5: both the knuckleball and the commanding PWR happens.; int5 -> int6: the knuckleball occurs.; sent3 & int6 -> int7: the blackmailing happens.; sent8 & int7 -> int8: the option happens.;
the nonsuppurativeness occurs.
sent19 & sent14 -> int9: the decelerating does not occur.; sent21 & int9 -> int10: the fact that the stripping setscrew occurs and the consultation does not occur does not hold.; sent1 & int10 -> int11: the commanding Pithecanthropus occurs.;
$hypothesis$ = the risking quarterfinal occurs. ; $context$ = sent1: if that the stripping setscrew occurs but the consultation does not occur does not hold the commanding Pithecanthropus happens. sent2: if the commanding PWR does not occur then the knuckleball happens and the stripping congestion occurs. sent3: if the knuckleball occurs then the blackmailing occurs. sent4: the nonsuppurativeness happens if the fact that not the Grant but the homemadeness occurs is incorrect. sent5: that the risking quarterfinal does not occur is caused by that the commanding Pithecanthropus but not the facultativeness occurs. sent6: if the stripping congestion does not occur the knuckleball happens and the commanding PWR happens. sent7: the fact that the euclidianness happens is correct if the bossism occurs. sent8: the option happens if that the blackmail happens is not false. sent9: the fact that the stripping Polygonum happens but the risking priming does not occur does not hold if that the consolidating happens is not false. sent10: the commanding PWR occurs if the stripping congestion does not occur. sent11: if that the stripping Polygonum but not the risking priming occurs is wrong the facultativeness does not occur. sent12: that the Grant does not occur but the homemadeness happens is incorrect if the stripping congestion happens. sent13: the correctness does not occur if the fact that the stabling cross-examination does not occur hold. sent14: the microcephalicness does not occur and the corvee does not occur. sent15: the gyralness occurs. sent16: the consolidating does not occur. sent17: if the fact that not the homemadeness but the Grant happens is incorrect then the stripping congestion does not occur. sent18: the fact that the homemadeness happens is not wrong. sent19: that the decelerating does not occur is brought about by that the microcephalicness does not occur and the corvee does not occur. sent20: if the fact that not the moderatorship but the mastering occurs is not true the Frenchness does not occur. sent21: if the decelerating does not occur then that the stripping setscrew but not the consultation happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the non-homemadeness and the Grant happens.; assump1 -> int1: the homemadeness does not occur.; sent18 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the homemadeness does not occur and the Grant happens is false.; sent17 & int3 -> int4: the stripping congestion does not occur.; sent6 & int4 -> int5: both the knuckleball and the commanding PWR happens.; int5 -> int6: the knuckleball occurs.; sent3 & int6 -> int7: the blackmailing happens.; sent8 & int7 -> int8: the option happens.; __UNKNOWN__