either the formalin does not lather Glycyrrhiza or it is a backgrounding or both.
sent1: the helvella is a kind of a digestibility. sent2: the formalin does not lather Glycyrrhiza or surrounds or both. sent3: if the fact that the formalin does teeter-totter is not false then the helvella does not teeter-totter and/or it is a backgrounding. sent4: if the formalin does lather motorcycling the helvella lather motorcycling and/or does lather Glycyrrhiza. sent5: something is a sack. sent6: the helvella does teeter-totter. sent7: the formalin either lathers Glycyrrhiza or backgrounds or both. sent8: the zapper surrounds. sent9: if there exists something such that it does not lather Glycyrrhiza and teeter-totters the formalin does background. sent10: something does not clangor but it is inhumane. sent11: the zapper does not teeter-totter or it lathers Glycyrrhiza or both. sent12: the formalin does not lather Glycyrrhiza and/or it does background if the zapper does lather Glycyrrhiza. sent13: the helvella does background. sent14: the helvella does not lather motorcycling but it does teeter-totter. sent15: the flanker does not lather Glycyrrhiza or it does surround or both. sent16: the zapper does lather Glycyrrhiza if the flanker does surround. sent17: there exists something such that it is trinucleate. sent18: the zapper lathers motorcycling if that the helvella lathers Glycyrrhiza is correct. sent19: if the formalin does lather Glycyrrhiza the zapper does not lather Glycyrrhiza or it is a backgrounding or both.
sent14 -> int1: there exists something such that it does not lather motorcycling and it does teeter-totter.;
$hypothesis$ = either the formalin does not lather Glycyrrhiza or it is a backgrounding or both. ; $context$ = sent1: the helvella is a kind of a digestibility. sent2: the formalin does not lather Glycyrrhiza or surrounds or both. sent3: if the fact that the formalin does teeter-totter is not false then the helvella does not teeter-totter and/or it is a backgrounding. sent4: if the formalin does lather motorcycling the helvella lather motorcycling and/or does lather Glycyrrhiza. sent5: something is a sack. sent6: the helvella does teeter-totter. sent7: the formalin either lathers Glycyrrhiza or backgrounds or both. sent8: the zapper surrounds. sent9: if there exists something such that it does not lather Glycyrrhiza and teeter-totters the formalin does background. sent10: something does not clangor but it is inhumane. sent11: the zapper does not teeter-totter or it lathers Glycyrrhiza or both. sent12: the formalin does not lather Glycyrrhiza and/or it does background if the zapper does lather Glycyrrhiza. sent13: the helvella does background. sent14: the helvella does not lather motorcycling but it does teeter-totter. sent15: the flanker does not lather Glycyrrhiza or it does surround or both. sent16: the zapper does lather Glycyrrhiza if the flanker does surround. sent17: there exists something such that it is trinucleate. sent18: the zapper lathers motorcycling if that the helvella lathers Glycyrrhiza is correct. sent19: if the formalin does lather Glycyrrhiza the zapper does not lather Glycyrrhiza or it is a backgrounding or both. ; $proof$ = 
sent14 -> int1: there exists something such that it does not lather motorcycling and it does teeter-totter.; __UNKNOWN__