the puncture is a kind of a shebeen and it shoots.
sent1: the fact that the cyclohexanol appreciates but it does not refer Chlamydosaurus is not correct if the chessboard does not refer Chlamydosaurus. sent2: if the chessboard does not refer polished then the puncture does not appreciate and it does not refer Chlamydosaurus. sent3: if the Cimarron is a psychotherapist the puncture is a shebeen. sent4: that the chessboard is tearless a manometer is false. sent5: the veal is heterodyne. sent6: the chessboard does not refer Chlamydosaurus if that it is a kind of tearful a manometer is incorrect. sent7: that the Cimarron is not a kind of a psychotherapist is incorrect. sent8: if the fact that the cyclohexanol does appreciate and does not refer Chlamydosaurus does not hold then the hackmatack does not refer polished. sent9: if something does not appreciate then the fact that it is a shebeen and is a shot is not right. sent10: if something does not refer polished but it is a zymology the puncture is a kind of a canal. sent11: the fact that the chessboard is not tearless but it is a manometer is wrong. sent12: if that the chessboard is a shot but it is not a shebeen is not right the puncture does not refer Chlamydosaurus. sent13: if the puncture canals and/or it is not a kind of an iceman then it does shoot.
sent6 & sent11 -> int1: the chessboard does not refer Chlamydosaurus.; int1 & sent1 -> int2: that that the cyclohexanol does appreciate but it does not refer Chlamydosaurus is incorrect is correct.; int2 & sent8 -> int3: the hackmatack does not refer polished.; sent3 & sent7 -> int4: the puncture is a shebeen.;
that the puncture is a shebeen and does shoot is wrong.
sent9 -> int5: that the puncture is a shebeen and it is a shot does not hold if it does not appreciate.;
$hypothesis$ = the puncture is a kind of a shebeen and it shoots. ; $context$ = sent1: the fact that the cyclohexanol appreciates but it does not refer Chlamydosaurus is not correct if the chessboard does not refer Chlamydosaurus. sent2: if the chessboard does not refer polished then the puncture does not appreciate and it does not refer Chlamydosaurus. sent3: if the Cimarron is a psychotherapist the puncture is a shebeen. sent4: that the chessboard is tearless a manometer is false. sent5: the veal is heterodyne. sent6: the chessboard does not refer Chlamydosaurus if that it is a kind of tearful a manometer is incorrect. sent7: that the Cimarron is not a kind of a psychotherapist is incorrect. sent8: if the fact that the cyclohexanol does appreciate and does not refer Chlamydosaurus does not hold then the hackmatack does not refer polished. sent9: if something does not appreciate then the fact that it is a shebeen and is a shot is not right. sent10: if something does not refer polished but it is a zymology the puncture is a kind of a canal. sent11: the fact that the chessboard is not tearless but it is a manometer is wrong. sent12: if that the chessboard is a shot but it is not a shebeen is not right the puncture does not refer Chlamydosaurus. sent13: if the puncture canals and/or it is not a kind of an iceman then it does shoot. ; $proof$ = 
sent6 & sent11 -> int1: the chessboard does not refer Chlamydosaurus.; int1 & sent1 -> int2: that that the cyclohexanol does appreciate but it does not refer Chlamydosaurus is incorrect is correct.; int2 & sent8 -> int3: the hackmatack does not refer polished.; sent3 & sent7 -> int4: the puncture is a shebeen.; __UNKNOWN__