the bodkin is a sack.
sent1: the kanamycin is not a Etonian but it is a kind of a hill if the fact that it does not court is right. sent2: if that either something is not a proenzyme or it is not a sack or both does not hold it is a strapless. sent3: the kanamycin is not a proenzyme. sent4: if that something is either not a Burgoyne or not an enticement or both is false it is a Etonian. sent5: if that something is either not a strapless or not a lambkin or both is false it does sack. sent6: the kanamycin is a proenzyme if the fact that it is not a strapless and/or is not a lambkin is false. sent7: if that something is not nectar-rich but it does sack is false then it does not sack. sent8: if the bodkin is not a kind of a proenzyme then the fact that the kanamycin is not a kind of a lambkin or it is not a strapless or both is false. sent9: the fact that that the Romanov either is not a kind of a sack or does not troll Toledo or both is false is not incorrect. sent10: the kanamycin is a steradian. sent11: if that the kanamycin is not a sack and/or is not a kind of a strapless does not hold that it is a proenzyme is not incorrect. sent12: that the kanamycin is a sack if the bodkin is not a kind of a proenzyme is true. sent13: the kanamycin is not a sack. sent14: if that the kanamycin is not a Etonian is right it is a proenzyme that does not sack. sent15: if the bodkin is not a kind of a proenzyme then the kanamycin is a strapless. sent16: the kanamycin is a lambkin if the bodkin is not a proenzyme. sent17: the gypsum is a kind of a sack. sent18: if the bodkin is not a proenzyme then that either the kanamycin is not a kind of a strapless or it is not a lambkin or both is not right. sent19: if that something is not a proenzyme and/or is not a lambkin is wrong it is a strapless. sent20: the bodkin is a kind of a proenzyme if that it is not a kind of a strapless and/or is a lambkin is false. sent21: that the bodkin is not a sack or not a proenzyme or both is incorrect if the kanamycin is not a strapless.
sent5 -> int1: the bodkin is a sack if the fact that it is not a strapless or not a lambkin or both is false.;
the bodkin does not sack.
sent7 -> int2: if the fact that the bodkin is not nectar-rich and does sack is not right then it is not a sack.;
$hypothesis$ = the bodkin is a sack. ; $context$ = sent1: the kanamycin is not a Etonian but it is a kind of a hill if the fact that it does not court is right. sent2: if that either something is not a proenzyme or it is not a sack or both does not hold it is a strapless. sent3: the kanamycin is not a proenzyme. sent4: if that something is either not a Burgoyne or not an enticement or both is false it is a Etonian. sent5: if that something is either not a strapless or not a lambkin or both is false it does sack. sent6: the kanamycin is a proenzyme if the fact that it is not a strapless and/or is not a lambkin is false. sent7: if that something is not nectar-rich but it does sack is false then it does not sack. sent8: if the bodkin is not a kind of a proenzyme then the fact that the kanamycin is not a kind of a lambkin or it is not a strapless or both is false. sent9: the fact that that the Romanov either is not a kind of a sack or does not troll Toledo or both is false is not incorrect. sent10: the kanamycin is a steradian. sent11: if that the kanamycin is not a sack and/or is not a kind of a strapless does not hold that it is a proenzyme is not incorrect. sent12: that the kanamycin is a sack if the bodkin is not a kind of a proenzyme is true. sent13: the kanamycin is not a sack. sent14: if that the kanamycin is not a Etonian is right it is a proenzyme that does not sack. sent15: if the bodkin is not a kind of a proenzyme then the kanamycin is a strapless. sent16: the kanamycin is a lambkin if the bodkin is not a proenzyme. sent17: the gypsum is a kind of a sack. sent18: if the bodkin is not a proenzyme then that either the kanamycin is not a kind of a strapless or it is not a lambkin or both is not right. sent19: if that something is not a proenzyme and/or is not a lambkin is wrong it is a strapless. sent20: the bodkin is a kind of a proenzyme if that it is not a kind of a strapless and/or is a lambkin is false. sent21: that the bodkin is not a sack or not a proenzyme or both is incorrect if the kanamycin is not a strapless. ; $proof$ = 
sent5 -> int1: the bodkin is a sack if the fact that it is not a strapless or not a lambkin or both is false.; __UNKNOWN__