the fact that there exists something such that it is both not non-orthopedic and trigonometric does not hold.
sent1: if the smaltite is not trigonometric then the applique is trigonometric. sent2: the Englishman does hand Omotic and/or is unproductive if it is not a wax-chandler. sent3: there are artful things. sent4: if the addict is not a curry the barn does not hand time-switch and is a bunter. sent5: if the Englishman does not hand Omotic or is unproductive or both the smaltite is not trigonometric. sent6: if the Englishman does not hand Omotic the smaltite is not trigonometric. sent7: something does hand time-switch and it is a bunter. sent8: the Englishman does hand Omotic if something that does not hand time-switch is a wax-chandler. sent9: there exists something such that it is artful and it is not sleeveless. sent10: if that something is not a bunter and not orthopedic is incorrect then it hands Englishman. sent11: that the barn does not hand time-switch is correct. sent12: the applique does not hand time-switch or it is trigonometric or both if it is not a wax-chandler. sent13: the barn does not hand time-switch if the addict is not a kind of a curry. sent14: the addict is not a curry if there exists something such that it is artful but not sleeveless. sent15: something is a subfamily. sent16: something is a bunter. sent17: if that something is trigonometric is not false then the fact that it is not a bunter and it is not orthopedic does not hold. sent18: there exists something such that it is an arbor. sent19: there exists something such that the fact that it does hand Omotic and it is not a wax-chandler is false. sent20: if something does not hand time-switch and is a bunter the applique is orthopedic. sent21: there is something such that that it does not hand time-switch hold. sent22: the Englishman is not a wax-chandler. sent23: there exists something such that it is both a curry and trigonometric. sent24: there exists something such that it is not sleeveless. sent25: if that the Englishman is not a wax-chandler is not incorrect it does not hand Omotic and/or it is unproductive. sent26: if the applique is not a curry it is not a bunter and/or is orthopedic.
sent9 & sent14 -> int1: the addict is not a kind of a curry.; int1 & sent4 -> int2: the barn does not hand time-switch and is a bunter.; int2 -> int3: something does not hand time-switch but it is a bunter.; int3 & sent20 -> int4: the applique is orthopedic.; sent25 & sent22 -> int5: the Englishman does not hand Omotic or it is unproductive or both.; sent5 & int5 -> int6: the smaltite is not trigonometric.; sent1 & int6 -> int7: the applique is trigonometric.; int4 & int7 -> int8: the applique is orthopedic and is trigonometric.; int8 -> hypothesis;
the addict hands Englishman and is unproductive.
sent10 -> int9: if that the fact that the addict is not a bunter and is not orthopedic is false is not incorrect then it does hand Englishman.; sent17 -> int10: that the addict is not a kind of a bunter and is not orthopedic is false if it is trigonometric.;
$hypothesis$ = the fact that there exists something such that it is both not non-orthopedic and trigonometric does not hold. ; $context$ = sent1: if the smaltite is not trigonometric then the applique is trigonometric. sent2: the Englishman does hand Omotic and/or is unproductive if it is not a wax-chandler. sent3: there are artful things. sent4: if the addict is not a curry the barn does not hand time-switch and is a bunter. sent5: if the Englishman does not hand Omotic or is unproductive or both the smaltite is not trigonometric. sent6: if the Englishman does not hand Omotic the smaltite is not trigonometric. sent7: something does hand time-switch and it is a bunter. sent8: the Englishman does hand Omotic if something that does not hand time-switch is a wax-chandler. sent9: there exists something such that it is artful and it is not sleeveless. sent10: if that something is not a bunter and not orthopedic is incorrect then it hands Englishman. sent11: that the barn does not hand time-switch is correct. sent12: the applique does not hand time-switch or it is trigonometric or both if it is not a wax-chandler. sent13: the barn does not hand time-switch if the addict is not a kind of a curry. sent14: the addict is not a curry if there exists something such that it is artful but not sleeveless. sent15: something is a subfamily. sent16: something is a bunter. sent17: if that something is trigonometric is not false then the fact that it is not a bunter and it is not orthopedic does not hold. sent18: there exists something such that it is an arbor. sent19: there exists something such that the fact that it does hand Omotic and it is not a wax-chandler is false. sent20: if something does not hand time-switch and is a bunter the applique is orthopedic. sent21: there is something such that that it does not hand time-switch hold. sent22: the Englishman is not a wax-chandler. sent23: there exists something such that it is both a curry and trigonometric. sent24: there exists something such that it is not sleeveless. sent25: if that the Englishman is not a wax-chandler is not incorrect it does not hand Omotic and/or it is unproductive. sent26: if the applique is not a curry it is not a bunter and/or is orthopedic. ; $proof$ = 
sent9 & sent14 -> int1: the addict is not a kind of a curry.; int1 & sent4 -> int2: the barn does not hand time-switch and is a bunter.; int2 -> int3: something does not hand time-switch but it is a bunter.; int3 & sent20 -> int4: the applique is orthopedic.; sent25 & sent22 -> int5: the Englishman does not hand Omotic or it is unproductive or both.; sent5 & int5 -> int6: the smaltite is not trigonometric.; sent1 & int6 -> int7: the applique is trigonometric.; int4 & int7 -> int8: the applique is orthopedic and is trigonometric.; int8 -> hypothesis; __DISPROVED__