the transeuntness but not the jab happens.
sent1: the grumbling algidity does not occur and the tetrametricness does not occur. sent2: the happening happens and the fundamental happens. sent3: the fact that the layoff occurs is not wrong. sent4: the non-prostheticsness results in that the scentlessness does not occur and the inadmissibleness does not occur. sent5: the noncausativeness does not occur. sent6: if that the refusing does not occur is correct then the jabbing does not occur. sent7: the vulgarization does not occur. sent8: the amoristicness does not occur. sent9: the temperament does not occur. sent10: the ducking occurs. sent11: the scatology does not occur and the avionicness does not occur. sent12: the protest and the budgetariness happens. sent13: both the callithumpianness and the transeuntness happens. sent14: if the negotiation happens and the scholarliness happens then the alignment does not occur. sent15: the placentalness does not occur. sent16: the guiltiness occurs. sent17: the count does not occur. sent18: the phytotherapy occurs. sent19: that the rubdown does not occur prevents that the rhythmicalness occurs. sent20: the flimsiness does not occur. sent21: that the prostheticsness occurs is prevented by that the refusing and the layoff occurs. sent22: the scentlessness does not occur. sent23: the fact that the catholicness does not occur is not false. sent24: that the craving happens is prevented by that the Tantricness and the stinting used-car happens. sent25: if the noncausativeness does not occur both the phytotherapy and the inadmissibleness occurs. sent26: if the recharging does not occur the paleolithicness occurs.
void -> assump1: Let's assume that the refusing occurs.; assump1 & sent3 -> int1: the refusing and the layoff occurs.; int1 & sent21 -> int2: the prostheticsness does not occur.; int2 & sent4 -> int3: the non-scentlessness and the non-inadmissibleness occurs.; int3 -> int4: the inadmissibleness does not occur.; sent25 & sent5 -> int5: the phytotherapy and the inadmissibleness happens.; int5 -> int6: the fact that the inadmissibleness occurs is right.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the refusing does not occur.; int8 & sent6 -> int9: the jabbing does not occur.; sent13 -> int10: the transeuntness happens.; int9 & int10 -> hypothesis;
that that the transeuntness occurs and the jab does not occur is right does not hold.
 -> hypothesis;
$hypothesis$ = the transeuntness but not the jab happens. ; $context$ = sent1: the grumbling algidity does not occur and the tetrametricness does not occur. sent2: the happening happens and the fundamental happens. sent3: the fact that the layoff occurs is not wrong. sent4: the non-prostheticsness results in that the scentlessness does not occur and the inadmissibleness does not occur. sent5: the noncausativeness does not occur. sent6: if that the refusing does not occur is correct then the jabbing does not occur. sent7: the vulgarization does not occur. sent8: the amoristicness does not occur. sent9: the temperament does not occur. sent10: the ducking occurs. sent11: the scatology does not occur and the avionicness does not occur. sent12: the protest and the budgetariness happens. sent13: both the callithumpianness and the transeuntness happens. sent14: if the negotiation happens and the scholarliness happens then the alignment does not occur. sent15: the placentalness does not occur. sent16: the guiltiness occurs. sent17: the count does not occur. sent18: the phytotherapy occurs. sent19: that the rubdown does not occur prevents that the rhythmicalness occurs. sent20: the flimsiness does not occur. sent21: that the prostheticsness occurs is prevented by that the refusing and the layoff occurs. sent22: the scentlessness does not occur. sent23: the fact that the catholicness does not occur is not false. sent24: that the craving happens is prevented by that the Tantricness and the stinting used-car happens. sent25: if the noncausativeness does not occur both the phytotherapy and the inadmissibleness occurs. sent26: if the recharging does not occur the paleolithicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the refusing occurs.; assump1 & sent3 -> int1: the refusing and the layoff occurs.; int1 & sent21 -> int2: the prostheticsness does not occur.; int2 & sent4 -> int3: the non-scentlessness and the non-inadmissibleness occurs.; int3 -> int4: the inadmissibleness does not occur.; sent25 & sent5 -> int5: the phytotherapy and the inadmissibleness happens.; int5 -> int6: the fact that the inadmissibleness occurs is right.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the refusing does not occur.; int8 & sent6 -> int9: the jabbing does not occur.; sent13 -> int10: the transeuntness happens.; int9 & int10 -> hypothesis; __PROVED__