that there exists something such that if it is not nonarboreal then it is not harmonic and is vehicular is not false.
sent1: the hosier is not harmonic but it is vehicular if it is arboreal. sent2: there is something such that if it halves reenactor it is a kind of a milk that is a precariousness. sent3: there is something such that if it halves reenactor it is a Habakkuk and it is tympanic. sent4: if something is veinal then it is not a public and it is polyvalent. sent5: there is something such that if it is heroics the fact that it does not blaspheme is not wrong. sent6: there is something such that if it is a steamboat it is a kind of wary thing that is tactful. sent7: the hosier is not a harmonic if it is disloyal. sent8: there is something such that if it halves purl then it is both a swale and ipsilateral. sent9: the sister does not interpose if it is past. sent10: there exists something such that if it is a meed then it is not a piping but a controlled. sent11: there is something such that if it becomes then the fact that it is not a kind of a bollock and it is vestiary hold. sent12: there exists something such that if it halves jasmine then it is not non-microeconomics. sent13: if the hosier is a kind of a plunk it is both non-ebracteate and narrowed. sent14: if the fact that the hosier does halve sister is not false it is a kind of nonarboreal thing that flames. sent15: there is something such that if it functions Noether it is both a astrolabe and a public. sent16: the hosier is a harmonic and vehicular if the fact that it is arboreal is right. sent17: there is something such that if it is a kind of a secretaryship it is not capsular and it is a friendly. sent18: there is something such that if it functions globe the fact that it is a kind of a Mimosoideae that flames is not incorrect. sent19: there exists something such that if it is a Habakkuk then it is untrustworthy.
sent1 -> hypothesis;
there is something such that if it is veinal it is not a public and it is polyvalent.
sent4 -> int1: the businessman is not a kind of a public but it is polyvalent if it is veinal.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not nonarboreal then it is not harmonic and is vehicular is not false. ; $context$ = sent1: the hosier is not harmonic but it is vehicular if it is arboreal. sent2: there is something such that if it halves reenactor it is a kind of a milk that is a precariousness. sent3: there is something such that if it halves reenactor it is a Habakkuk and it is tympanic. sent4: if something is veinal then it is not a public and it is polyvalent. sent5: there is something such that if it is heroics the fact that it does not blaspheme is not wrong. sent6: there is something such that if it is a steamboat it is a kind of wary thing that is tactful. sent7: the hosier is not a harmonic if it is disloyal. sent8: there is something such that if it halves purl then it is both a swale and ipsilateral. sent9: the sister does not interpose if it is past. sent10: there exists something such that if it is a meed then it is not a piping but a controlled. sent11: there is something such that if it becomes then the fact that it is not a kind of a bollock and it is vestiary hold. sent12: there exists something such that if it halves jasmine then it is not non-microeconomics. sent13: if the hosier is a kind of a plunk it is both non-ebracteate and narrowed. sent14: if the fact that the hosier does halve sister is not false it is a kind of nonarboreal thing that flames. sent15: there is something such that if it functions Noether it is both a astrolabe and a public. sent16: the hosier is a harmonic and vehicular if the fact that it is arboreal is right. sent17: there is something such that if it is a kind of a secretaryship it is not capsular and it is a friendly. sent18: there is something such that if it functions globe the fact that it is a kind of a Mimosoideae that flames is not incorrect. sent19: there exists something such that if it is a Habakkuk then it is untrustworthy. ; $proof$ = 
sent1 -> hypothesis; __PROVED__