the adrenalectomy but not the radioing valgus occurs.
sent1: that the pointing happens is right. sent2: either the non-microscopicness or the incumbency or both results in the orbing mouth. sent3: the fact that the discrepancy does not occur is not incorrect. sent4: if the sprouting occurs then the upmarketness occurs. sent5: if the pointing but not the discrepancy happens the upmarketness does not occur. sent6: the fact that the gratifying but not the radioing discounter happens is incorrect if the depersonalization does not occur. sent7: the fact that the fact that that the gratifying occurs and the radioing discounter occurs is right is false is not false if the depersonalization does not occur. sent8: the masking occurs if that the sprout occurs is not incorrect. sent9: that the gratifying and the radioing discounter occurs is not true. sent10: the depersonalization does not occur. sent11: the fact that the adrenalectomy occurs is not incorrect if the masking happens. sent12: if the radioing discounter occurs then the radioing valgus does not occur. sent13: the non-upmarketness and/or that the sprout occurs yields the masking. sent14: if the point does not occur that the adrenalectomy happens but the radioing valgus does not occur does not hold. sent15: the fact that the radioing valgus does not occur is not incorrect if the fact that the gratifying but not the radioing discounter occurs does not hold.
sent1 & sent3 -> int1: the point but not the discrepancy occurs.; int1 & sent5 -> int2: the fact that the upmarketness does not occur is true.; int2 -> int3: the non-upmarketness and/or the sprout occurs.; int3 & sent13 -> int4: the masking occurs.; int4 & sent11 -> int5: the adrenalectomy occurs.; sent6 & sent10 -> int6: that the gratifying but not the radioing discounter happens is not true.; sent15 & int6 -> int7: the radioing valgus does not occur.; int5 & int7 -> hypothesis;
the fact that the adrenalectomy happens and the radioing valgus does not occur does not hold.
$hypothesis$ = the adrenalectomy but not the radioing valgus occurs. ; $context$ = sent1: that the pointing happens is right. sent2: either the non-microscopicness or the incumbency or both results in the orbing mouth. sent3: the fact that the discrepancy does not occur is not incorrect. sent4: if the sprouting occurs then the upmarketness occurs. sent5: if the pointing but not the discrepancy happens the upmarketness does not occur. sent6: the fact that the gratifying but not the radioing discounter happens is incorrect if the depersonalization does not occur. sent7: the fact that the fact that that the gratifying occurs and the radioing discounter occurs is right is false is not false if the depersonalization does not occur. sent8: the masking occurs if that the sprout occurs is not incorrect. sent9: that the gratifying and the radioing discounter occurs is not true. sent10: the depersonalization does not occur. sent11: the fact that the adrenalectomy occurs is not incorrect if the masking happens. sent12: if the radioing discounter occurs then the radioing valgus does not occur. sent13: the non-upmarketness and/or that the sprout occurs yields the masking. sent14: if the point does not occur that the adrenalectomy happens but the radioing valgus does not occur does not hold. sent15: the fact that the radioing valgus does not occur is not incorrect if the fact that the gratifying but not the radioing discounter occurs does not hold. ; $proof$ = 
sent1 & sent3 -> int1: the point but not the discrepancy occurs.; int1 & sent5 -> int2: the fact that the upmarketness does not occur is true.; int2 -> int3: the non-upmarketness and/or the sprout occurs.; int3 & sent13 -> int4: the masking occurs.; int4 & sent11 -> int5: the adrenalectomy occurs.; sent6 & sent10 -> int6: that the gratifying but not the radioing discounter happens is not true.; sent15 & int6 -> int7: the radioing valgus does not occur.; int5 & int7 -> hypothesis; __PROVED__