the gemfibrozil is not functional.
sent1: if that something is a misconstruction but it is not uncared-for is not right it is not a misconstruction. sent2: the astilbe is not a piper. sent3: the hub-and-spoke is not alterable if there exists something such that it is uncared-for. sent4: the enlarger does not marshal cow if that it is a longhorn and it is not a milt does not hold. sent5: the thrasher does not marshal Wagnerian but it is a Cincinnati. sent6: the fact that the gemfibrozil is a longhorn and it is alterable is incorrect. sent7: the fact that the gemfibrozil is a misconstruction but it is not alterable is not right. sent8: the thrasher is alterable. sent9: something is a misconstruction if it is a kind of a piper. sent10: the gemfibrozil is not functional if the fact that it is alterable hold. sent11: if that something is a longhorn but it is not alterable does not hold it is not functional. sent12: the commissariat is a piper that is vicennial. sent13: the thrasher is not a longhorn if it does not marshal Wagnerian and it is a kind of a Cincinnati. sent14: the fact that if something is a piper then it is functional is not wrong. sent15: the commissariat is vicennial. sent16: if something is alterable then it is not functional. sent17: if something either is a misconstruction or is uncared-for or both the hub-and-spoke is not alterable. sent18: if the fact that the hub-and-spoke is not alterable is not incorrect that that the gemfibrozil is a longhorn and it is alterable does not hold is not wrong.
sent12 -> int1: the commissariat is a piper.; sent9 -> int2: the commissariat is a misconstruction if it is a piper.; int1 & int2 -> int3: the commissariat is a misconstruction.; int3 -> int4: the commissariat is a kind of a misconstruction and/or is uncared-for.; int4 -> int5: that there exists something such that it is a misconstruction or is uncared-for or both is not false.; int5 & sent17 -> int6: the hub-and-spoke is not alterable.; sent11 -> int7: if the fact that the gemfibrozil is a longhorn and is not alterable is incorrect it is not functional.;
the gemfibrozil is functional.
sent14 -> int8: the gemfibrozil is functional if it is a piper.; sent1 -> int9: the commissariat is not a misconstruction if that it is a misconstruction and it is not uncared-for is wrong.; sent13 & sent5 -> int10: the thrasher is not a kind of a longhorn.; int10 & sent8 -> int11: the thrasher is not a longhorn but alterable.; int11 -> int12: there exists something such that it is not a longhorn and it is alterable.;
$hypothesis$ = the gemfibrozil is not functional. ; $context$ = sent1: if that something is a misconstruction but it is not uncared-for is not right it is not a misconstruction. sent2: the astilbe is not a piper. sent3: the hub-and-spoke is not alterable if there exists something such that it is uncared-for. sent4: the enlarger does not marshal cow if that it is a longhorn and it is not a milt does not hold. sent5: the thrasher does not marshal Wagnerian but it is a Cincinnati. sent6: the fact that the gemfibrozil is a longhorn and it is alterable is incorrect. sent7: the fact that the gemfibrozil is a misconstruction but it is not alterable is not right. sent8: the thrasher is alterable. sent9: something is a misconstruction if it is a kind of a piper. sent10: the gemfibrozil is not functional if the fact that it is alterable hold. sent11: if that something is a longhorn but it is not alterable does not hold it is not functional. sent12: the commissariat is a piper that is vicennial. sent13: the thrasher is not a longhorn if it does not marshal Wagnerian and it is a kind of a Cincinnati. sent14: the fact that if something is a piper then it is functional is not wrong. sent15: the commissariat is vicennial. sent16: if something is alterable then it is not functional. sent17: if something either is a misconstruction or is uncared-for or both the hub-and-spoke is not alterable. sent18: if the fact that the hub-and-spoke is not alterable is not incorrect that that the gemfibrozil is a longhorn and it is alterable does not hold is not wrong. ; $proof$ = 
sent12 -> int1: the commissariat is a piper.; sent9 -> int2: the commissariat is a misconstruction if it is a piper.; int1 & int2 -> int3: the commissariat is a misconstruction.; int3 -> int4: the commissariat is a kind of a misconstruction and/or is uncared-for.; int4 -> int5: that there exists something such that it is a misconstruction or is uncared-for or both is not false.; int5 & sent17 -> int6: the hub-and-spoke is not alterable.; sent11 -> int7: if the fact that the gemfibrozil is a longhorn and is not alterable is incorrect it is not functional.; __UNKNOWN__