the Lord is a bobbin and/or it does gall linecut.
sent1: the cocobolo does not gall Capricorn. sent2: if the Lord is a kind of a bobbin and galls Capricorn the cocobolo is not smokeless. sent3: if that something is a kind of non-smokeless thing that does gall Capricorn is incorrect it does not gall Capricorn. sent4: if the sphinx is not a determent the fact that the Lord is a bobbin and/or it galls linecut is not correct. sent5: the sphinx is not a bobbin if it is not a kind of a bluecoat. sent6: the Lord is not logistic. sent7: that the Lord is a bobbin and/or it does gall linecut if the sphinx is not a bobbin hold. sent8: The Capricorn does not gall cocobolo. sent9: if the abridger does not gall Capricorn the sphinx is not a determent. sent10: the fact that there exists something such that it is not a bluecoat is true. sent11: something is not non-smokeless if it does not gall Capricorn. sent12: if the cocobolo does not gall Capricorn it is a bobbin. sent13: that the stew is not a bobbin is not wrong. sent14: if the cocobolo is smokeless and it is a determent the sphinx is not a bluecoat. sent15: if that something is not a kind of a bluecoat but it galls Capricorn is not true then it does not galls Capricorn.
sent11 -> int1: the cocobolo is smokeless if it does not gall Capricorn.; int1 & sent1 -> int2: the cocobolo is smokeless.;
the paragrapher does gall linecut.
sent15 -> int3: the paragrapher does not gall Capricorn if the fact that the fact that it is not a bluecoat and it does gall Capricorn is true is not true.;
$hypothesis$ = the Lord is a bobbin and/or it does gall linecut. ; $context$ = sent1: the cocobolo does not gall Capricorn. sent2: if the Lord is a kind of a bobbin and galls Capricorn the cocobolo is not smokeless. sent3: if that something is a kind of non-smokeless thing that does gall Capricorn is incorrect it does not gall Capricorn. sent4: if the sphinx is not a determent the fact that the Lord is a bobbin and/or it galls linecut is not correct. sent5: the sphinx is not a bobbin if it is not a kind of a bluecoat. sent6: the Lord is not logistic. sent7: that the Lord is a bobbin and/or it does gall linecut if the sphinx is not a bobbin hold. sent8: The Capricorn does not gall cocobolo. sent9: if the abridger does not gall Capricorn the sphinx is not a determent. sent10: the fact that there exists something such that it is not a bluecoat is true. sent11: something is not non-smokeless if it does not gall Capricorn. sent12: if the cocobolo does not gall Capricorn it is a bobbin. sent13: that the stew is not a bobbin is not wrong. sent14: if the cocobolo is smokeless and it is a determent the sphinx is not a bluecoat. sent15: if that something is not a kind of a bluecoat but it galls Capricorn is not true then it does not galls Capricorn. ; $proof$ = 
sent11 -> int1: the cocobolo is smokeless if it does not gall Capricorn.; int1 & sent1 -> int2: the cocobolo is smokeless.; __UNKNOWN__