the fact that the hydrochlorothiazide is not a kind of a croton hold.
sent1: the hydrochlorothiazide does not surmount. sent2: if the cachalot surmounts and it is a kind of a pentacle then the brother-in-law does wend. sent3: the cachalot is not a kind of a croton. sent4: if the cachalot surmounts the hydrochlorothiazide is a pentacle. sent5: that the hydrochlorothiazide is not a croton but it does surmount is false if the fact that the brother-in-law is not a kind of a pentacle is correct. sent6: the brother-in-law is bicameral if the hydrochlorothiazide is not a pentacle and surmounts. sent7: the hydrochlorothiazide is non-Caesarian. sent8: something is not a pentacle if it is both not prescriptive and not polyvalent. sent9: the cachalot is a pentacle if the fact that the hydrochlorothiazide is a croton and it does surmount is not wrong. sent10: the cachalot surmounts if the brother-in-law is not bicameral and does wend. sent11: the brother-in-law is not bicameral and does wend. sent12: the brother-in-law is a kind of a Dutch. sent13: the cachalot is not bicameral. sent14: if the brother-in-law is bicameral and wends then the fact that the cachalot surmounts is not false. sent15: the cachalot is not bicameral if the fact that it does surmount is right. sent16: if the brother-in-law does not surmount then the hydrochlorothiazide is a croton that is a pentacle. sent17: the hydrochlorothiazide is not a pentacle if it surmounts. sent18: if something is a kind of a croton the fact that it does not wend is not false.
sent10 & sent11 -> int1: the cachalot surmounts.; int1 & sent4 -> int2: the hydrochlorothiazide is a pentacle.;
the hydrochlorothiazide is a croton.
sent8 -> int3: the brother-in-law is not a pentacle if it is not prescriptive and it is not polyvalent.;
$hypothesis$ = the fact that the hydrochlorothiazide is not a kind of a croton hold. ; $context$ = sent1: the hydrochlorothiazide does not surmount. sent2: if the cachalot surmounts and it is a kind of a pentacle then the brother-in-law does wend. sent3: the cachalot is not a kind of a croton. sent4: if the cachalot surmounts the hydrochlorothiazide is a pentacle. sent5: that the hydrochlorothiazide is not a croton but it does surmount is false if the fact that the brother-in-law is not a kind of a pentacle is correct. sent6: the brother-in-law is bicameral if the hydrochlorothiazide is not a pentacle and surmounts. sent7: the hydrochlorothiazide is non-Caesarian. sent8: something is not a pentacle if it is both not prescriptive and not polyvalent. sent9: the cachalot is a pentacle if the fact that the hydrochlorothiazide is a croton and it does surmount is not wrong. sent10: the cachalot surmounts if the brother-in-law is not bicameral and does wend. sent11: the brother-in-law is not bicameral and does wend. sent12: the brother-in-law is a kind of a Dutch. sent13: the cachalot is not bicameral. sent14: if the brother-in-law is bicameral and wends then the fact that the cachalot surmounts is not false. sent15: the cachalot is not bicameral if the fact that it does surmount is right. sent16: if the brother-in-law does not surmount then the hydrochlorothiazide is a croton that is a pentacle. sent17: the hydrochlorothiazide is not a pentacle if it surmounts. sent18: if something is a kind of a croton the fact that it does not wend is not false. ; $proof$ = 
sent10 & sent11 -> int1: the cachalot surmounts.; int1 & sent4 -> int2: the hydrochlorothiazide is a pentacle.; __UNKNOWN__