there exists something such that that it is not a touch hold.
sent1: if something is not azotemic then the fact that it is a feeling and it is autogamous is not true. sent2: something is not a sandalwood if the fact that it is not a wavelength and/or is non-pasta is not right. sent3: the biosynthesis is pasta. sent4: if something is not a feeling it is a kind of lymphatic thing that is a kind of a pasta. sent5: the airlock does not bumble. sent6: the cyanide is not a kind of a touch if the biosynthesis is a kind of a wavelength. sent7: something is not a dacoit. sent8: if the cyanide is a pasta then the fact that the biosynthesis is not a wavelength or not a touch or both does not hold. sent9: if the airlock does not bumble that the primaquine trucks Katharevusa and it does roll phentolamine is incorrect. sent10: the cyanide is non-pasta if the biosynthesis touches or it is a wavelength or both. sent11: if the fact that the biosynthesis is not a kind of a wavelength and/or it is not a touch does not hold then the groomsman is not a wavelength. sent12: there is something such that it touches. sent13: if the cyanide is a pasta or is a wavelength or both the biosynthesis is not a touch. sent14: the cyanide is not a kind of a pasta. sent15: if the fact that something does truck Katharevusa and it rolls phentolamine does not hold it is not azotemic.
sent3 -> int1: the biosynthesis is a kind of a pasta and/or is a kind of a wavelength.;
the groomsman is not a wavelength.
sent4 -> int2: if the cyanide does not feel it is lymphatic and it is pasta.; sent1 -> int3: if that the primaquine is not azotemic is right then that it is a feeling and autogamous is not right.; sent15 -> int4: that the primaquine is not azotemic is correct if that the fact that it trucks Katharevusa and does roll phentolamine is not incorrect is not true.; sent9 & sent5 -> int5: the fact that the primaquine does truck Katharevusa and rolls phentolamine is wrong.; int4 & int5 -> int6: the primaquine is not azotemic.; int3 & int6 -> int7: that the fact that the primaquine is both a feeling and not non-autogamous does not hold is not wrong.; int7 -> int8: there exists something such that that it does feel and it is autogamous does not hold.;
$hypothesis$ = there exists something such that that it is not a touch hold. ; $context$ = sent1: if something is not azotemic then the fact that it is a feeling and it is autogamous is not true. sent2: something is not a sandalwood if the fact that it is not a wavelength and/or is non-pasta is not right. sent3: the biosynthesis is pasta. sent4: if something is not a feeling it is a kind of lymphatic thing that is a kind of a pasta. sent5: the airlock does not bumble. sent6: the cyanide is not a kind of a touch if the biosynthesis is a kind of a wavelength. sent7: something is not a dacoit. sent8: if the cyanide is a pasta then the fact that the biosynthesis is not a wavelength or not a touch or both does not hold. sent9: if the airlock does not bumble that the primaquine trucks Katharevusa and it does roll phentolamine is incorrect. sent10: the cyanide is non-pasta if the biosynthesis touches or it is a wavelength or both. sent11: if the fact that the biosynthesis is not a kind of a wavelength and/or it is not a touch does not hold then the groomsman is not a wavelength. sent12: there is something such that it touches. sent13: if the cyanide is a pasta or is a wavelength or both the biosynthesis is not a touch. sent14: the cyanide is not a kind of a pasta. sent15: if the fact that something does truck Katharevusa and it rolls phentolamine does not hold it is not azotemic. ; $proof$ = 
sent3 -> int1: the biosynthesis is a kind of a pasta and/or is a kind of a wavelength.; __UNKNOWN__