the halothane is positional.
sent1: the mammal does not blackmail harshness. sent2: the accuser does not edge firstborn. sent3: the mammal does not edge Oceanid. sent4: the nitrile is suppurative if there exists something such that that it is not a kind of a thriftshop is not wrong. sent5: if that something is graphic and it is a Saussurea is not correct then it is not a graphic. sent6: the nitrile does not blackmail harshness if something does not edge accuser and does not edge Oceanid. sent7: if something does not blackmail harshness then that it is a graphic and it is a kind of a Saussurea is false. sent8: there is something such that that it is a kind of a Saussurea is not false. sent9: the mycologist is a Saussurea that menaces. sent10: that if the halothane does not blackmail harshness the mammal is graphic thing that is positional is not wrong. sent11: the fact that the accuser is not futuristic or it is lymphatic or both does not hold if it does not edge firstborn. sent12: if there is something such that it is a graphic the nitrile is nonsuppurative and unfit. sent13: if the mammal is not a graphic and it is not suppurative it is unfit. sent14: something is not a thriftshop. sent15: if the fact that the accuser is not futuristic and/or is lymphatic does not hold then the mammal does not edge accuser. sent16: the halothane is positional if there is something such that it is unfit and it is a kind of a Saussurea. sent17: The harshness does not blackmail mammal. sent18: if the mammal does not blackmail harshness then it is a Saussurea.
sent14 & sent4 -> int1: the nitrile is suppurative.; sent18 & sent1 -> int2: the mammal is a kind of a Saussurea.;
the nitrile is a Saussurea.
$hypothesis$ = the halothane is positional. ; $context$ = sent1: the mammal does not blackmail harshness. sent2: the accuser does not edge firstborn. sent3: the mammal does not edge Oceanid. sent4: the nitrile is suppurative if there exists something such that that it is not a kind of a thriftshop is not wrong. sent5: if that something is graphic and it is a Saussurea is not correct then it is not a graphic. sent6: the nitrile does not blackmail harshness if something does not edge accuser and does not edge Oceanid. sent7: if something does not blackmail harshness then that it is a graphic and it is a kind of a Saussurea is false. sent8: there is something such that that it is a kind of a Saussurea is not false. sent9: the mycologist is a Saussurea that menaces. sent10: that if the halothane does not blackmail harshness the mammal is graphic thing that is positional is not wrong. sent11: the fact that the accuser is not futuristic or it is lymphatic or both does not hold if it does not edge firstborn. sent12: if there is something such that it is a graphic the nitrile is nonsuppurative and unfit. sent13: if the mammal is not a graphic and it is not suppurative it is unfit. sent14: something is not a thriftshop. sent15: if the fact that the accuser is not futuristic and/or is lymphatic does not hold then the mammal does not edge accuser. sent16: the halothane is positional if there is something such that it is unfit and it is a kind of a Saussurea. sent17: The harshness does not blackmail mammal. sent18: if the mammal does not blackmail harshness then it is a Saussurea. ; $proof$ = 
sent14 & sent4 -> int1: the nitrile is suppurative.; sent18 & sent1 -> int2: the mammal is a kind of a Saussurea.; __UNKNOWN__