the carburetor is nonsectarian and it thrusts spironolactone.
sent1: the bootleg is both not a waking and not servomechanical if there exists something such that it is not a mink. sent2: if the fact that something does not thrust bioclimatology and it does not thrust spironolactone is not right then it does thrust bioclimatology. sent3: that something is a kind of nonsectarian thing that does thrust spironolactone is not right if the fact that it is not traumatic is not wrong. sent4: the bootleg does not thrust spironolactone. sent5: if the prankster is not servomechanical that that the carburetor does not thrust bioclimatology and it does not thrust spironolactone is not wrong does not hold. sent6: the carburetor is not a Welsh. sent7: if the carburetor does thrust bioclimatology then the ceibo does thrust bioclimatology. sent8: the bootleg is not traumatic if the carburetor is a kind of a Welsh but it is non-maxi. sent9: the carburetor does thrust spironolactone and it is discomycetous. sent10: the prankster is not servomechanical. sent11: the carburetor is a kind of non-Welsh thing that is not a maxi if it is not nonsectarian. sent12: the carburetor is discomycetous. sent13: something is both a maxi and nonsectarian if it is not traumatic. sent14: if something that is not Delphic is discomycetous it is not traumatic. sent15: if the carburetor is not a kind of a Welsh and it is not a kind of a maxi the bootleg is not traumatic. sent16: if the carburetor is not nonsectarian then it is not Welsh. sent17: the fact that the prankster is not a mink is correct.
void -> assump1: Let's assume that the carburetor is not nonsectarian.; sent11 & assump1 -> int1: the carburetor is not Welsh and is not maxi.; int1 & sent15 -> int2: the bootleg is not traumatic.; sent9 -> int3: the fact that the carburetor does not thrust spironolactone does not hold.;
the fact that the carburetor is nonsectarian and it does thrust spironolactone is not right.
sent3 -> int4: if the carburetor is not traumatic then the fact that it is nonsectarian thing that does thrust spironolactone is false.; sent14 -> int5: if the carburetor is not Delphic and is discomycetous then it is not traumatic.; sent17 -> int6: something is not a kind of a mink.; int6 & sent1 -> int7: the bootleg is not a waking and it is not servomechanical.; int7 -> int8: something is not a waking and it is not servomechanical.;
$hypothesis$ = the carburetor is nonsectarian and it thrusts spironolactone. ; $context$ = sent1: the bootleg is both not a waking and not servomechanical if there exists something such that it is not a mink. sent2: if the fact that something does not thrust bioclimatology and it does not thrust spironolactone is not right then it does thrust bioclimatology. sent3: that something is a kind of nonsectarian thing that does thrust spironolactone is not right if the fact that it is not traumatic is not wrong. sent4: the bootleg does not thrust spironolactone. sent5: if the prankster is not servomechanical that that the carburetor does not thrust bioclimatology and it does not thrust spironolactone is not wrong does not hold. sent6: the carburetor is not a Welsh. sent7: if the carburetor does thrust bioclimatology then the ceibo does thrust bioclimatology. sent8: the bootleg is not traumatic if the carburetor is a kind of a Welsh but it is non-maxi. sent9: the carburetor does thrust spironolactone and it is discomycetous. sent10: the prankster is not servomechanical. sent11: the carburetor is a kind of non-Welsh thing that is not a maxi if it is not nonsectarian. sent12: the carburetor is discomycetous. sent13: something is both a maxi and nonsectarian if it is not traumatic. sent14: if something that is not Delphic is discomycetous it is not traumatic. sent15: if the carburetor is not a kind of a Welsh and it is not a kind of a maxi the bootleg is not traumatic. sent16: if the carburetor is not nonsectarian then it is not Welsh. sent17: the fact that the prankster is not a mink is correct. ; $proof$ = 
void -> assump1: Let's assume that the carburetor is not nonsectarian.; sent11 & assump1 -> int1: the carburetor is not Welsh and is not maxi.; int1 & sent15 -> int2: the bootleg is not traumatic.; sent9 -> int3: the fact that the carburetor does not thrust spironolactone does not hold.; __UNKNOWN__