the tribute but not the embrowning ordering occurs.
sent1: if the jamming overtone does not occur the fact that the usefulness and the illiterateness happens is incorrect. sent2: that the abscising occurs and the sexing occurs prevents that the embrowning ordering happens. sent3: that the jamming overtone does not occur and the usefulness does not occur is caused by that the literate occurs. sent4: the tribute and the tyrannizing adjustment occurs if the tack does not occur. sent5: that not the tribute but the embrowning ordering happens does not hold. sent6: that the GCA and the livery occurs is brought about by that the bigamy does not occur. sent7: that the masking Pusan does not occur is prevented by the hotfoot. sent8: the tacking does not occur. sent9: the masking straw occurs. sent10: the hotfoot occurs and the literate happens. sent11: the embrowning sinus occurs and the masking microspore does not occur. sent12: if the caprineness does not occur then the abscising happens and the contribution occurs. sent13: that not the jamming overtone but the usefulness occurs causes that the sex happens. sent14: if that the tack does not occur is right then the tyrannizing adjustment happens. sent15: the hotfoot happens. sent16: if the abscising does not occur then the jamming overtone does not occur and the sex happens. sent17: if that that the usefulness but not the literateness occurs is true does not hold the hotfoot occurs. sent18: the caprineness does not occur. sent19: if the waddle does not occur and the anestrousness does not occur then the branching occurs. sent20: the sexing is caused by the fact that that the jamming overtone does not occur and the usefulness does not occur is true. sent21: the usefulness does not occur.
sent10 -> int1: the fact that the literateness occurs is not false.; int1 & sent3 -> int2: the jamming overtone does not occur and the usefulness does not occur.; int2 & sent20 -> int3: the sex occurs.; sent12 & sent18 -> int4: both the abscising and the contribution occurs.; int4 -> int5: the abscising occurs.; int3 & int5 -> int6: the abscising happens and the sex happens.; int6 & sent2 -> int7: the embrowning ordering does not occur.; sent4 & sent8 -> int8: the tribute and the tyrannizing adjustment occurs.; int8 -> int9: that the tribute happens hold.; int7 & int9 -> hypothesis;
both the nudge and the masking Pusan happens.
$hypothesis$ = the tribute but not the embrowning ordering occurs. ; $context$ = sent1: if the jamming overtone does not occur the fact that the usefulness and the illiterateness happens is incorrect. sent2: that the abscising occurs and the sexing occurs prevents that the embrowning ordering happens. sent3: that the jamming overtone does not occur and the usefulness does not occur is caused by that the literate occurs. sent4: the tribute and the tyrannizing adjustment occurs if the tack does not occur. sent5: that not the tribute but the embrowning ordering happens does not hold. sent6: that the GCA and the livery occurs is brought about by that the bigamy does not occur. sent7: that the masking Pusan does not occur is prevented by the hotfoot. sent8: the tacking does not occur. sent9: the masking straw occurs. sent10: the hotfoot occurs and the literate happens. sent11: the embrowning sinus occurs and the masking microspore does not occur. sent12: if the caprineness does not occur then the abscising happens and the contribution occurs. sent13: that not the jamming overtone but the usefulness occurs causes that the sex happens. sent14: if that the tack does not occur is right then the tyrannizing adjustment happens. sent15: the hotfoot happens. sent16: if the abscising does not occur then the jamming overtone does not occur and the sex happens. sent17: if that that the usefulness but not the literateness occurs is true does not hold the hotfoot occurs. sent18: the caprineness does not occur. sent19: if the waddle does not occur and the anestrousness does not occur then the branching occurs. sent20: the sexing is caused by the fact that that the jamming overtone does not occur and the usefulness does not occur is true. sent21: the usefulness does not occur. ; $proof$ = 
sent10 -> int1: the fact that the literateness occurs is not false.; int1 & sent3 -> int2: the jamming overtone does not occur and the usefulness does not occur.; int2 & sent20 -> int3: the sex occurs.; sent12 & sent18 -> int4: both the abscising and the contribution occurs.; int4 -> int5: the abscising occurs.; int3 & int5 -> int6: the abscising happens and the sex happens.; int6 & sent2 -> int7: the embrowning ordering does not occur.; sent4 & sent8 -> int8: the tribute and the tyrannizing adjustment occurs.; int8 -> int9: that the tribute happens hold.; int7 & int9 -> hypothesis; __PROVED__