the caraway is explicable.
sent1: the current is diffident. sent2: if something is a percolate it is uninfluential. sent3: the current is a kind of diffident a Tianjin. sent4: the caraway does abandon follow-through if the current is a kind of a Tianjin. sent5: if that the caraway is not precocious but it does broker does not hold it is a percolate. sent6: the current is diffident and it does abandon follow-through. sent7: the fact that the sulfanilamide is explicable is true. sent8: if something is uninfluential then it does not abandon follow-through. sent9: the caraway is a apoenzyme and it lashes. sent10: if something does not abandon follow-through then the fact that it is not diffident and/or it is not a Tianjin is not right. sent11: the razor-fish is uninfluential. sent12: the current is a terminal.
sent3 -> int1: the current is a Tianjin.; int1 & sent4 -> int2: the caraway abandons follow-through.;
the caraway is a kind of a Tianjin.
sent11 -> int3: there are uninfluential things.;
$hypothesis$ = the caraway is explicable. ; $context$ = sent1: the current is diffident. sent2: if something is a percolate it is uninfluential. sent3: the current is a kind of diffident a Tianjin. sent4: the caraway does abandon follow-through if the current is a kind of a Tianjin. sent5: if that the caraway is not precocious but it does broker does not hold it is a percolate. sent6: the current is diffident and it does abandon follow-through. sent7: the fact that the sulfanilamide is explicable is true. sent8: if something is uninfluential then it does not abandon follow-through. sent9: the caraway is a apoenzyme and it lashes. sent10: if something does not abandon follow-through then the fact that it is not diffident and/or it is not a Tianjin is not right. sent11: the razor-fish is uninfluential. sent12: the current is a terminal. ; $proof$ = 
sent3 -> int1: the current is a Tianjin.; int1 & sent4 -> int2: the caraway abandons follow-through.; __UNKNOWN__