there is something such that if it is a graniteware it is not non-low-interest.
sent1: if the clarinet is a graniteware it is low-interest. sent2: there exists something such that if it is a kind of a tetrahalide it does expire Strepera. sent3: if the clarinet does minstrel philologist then it minstrels sharpness. sent4: there is something such that if it minstrels philologist it does minstrel sharpness. sent5: there exists something such that if that it is a beehive hold then it is a kind of a sunsuit. sent6: there exists something such that if it does stickle medfly it is analytic. sent7: if the clarinet thromboses then it is a Alosa. sent8: something is a kind of a reeler if it is metastable. sent9: there exists something such that if that it is a 1900s is correct then it minstrels immobility. sent10: if something is a nebbish then that it does expire clarinet hold. sent11: if the clarinet is a graniteware it is datable. sent12: there exists something such that if it is a Bluegrass then it is unshrinkable. sent13: if the clarinet is a sheepshank it is a graniteware.
sent1 -> hypothesis;
if the enumerator is a nebbish it does expire clarinet.
sent10 -> hypothesis;
$hypothesis$ = there is something such that if it is a graniteware it is not non-low-interest. ; $context$ = sent1: if the clarinet is a graniteware it is low-interest. sent2: there exists something such that if it is a kind of a tetrahalide it does expire Strepera. sent3: if the clarinet does minstrel philologist then it minstrels sharpness. sent4: there is something such that if it minstrels philologist it does minstrel sharpness. sent5: there exists something such that if that it is a beehive hold then it is a kind of a sunsuit. sent6: there exists something such that if it does stickle medfly it is analytic. sent7: if the clarinet thromboses then it is a Alosa. sent8: something is a kind of a reeler if it is metastable. sent9: there exists something such that if that it is a 1900s is correct then it minstrels immobility. sent10: if something is a nebbish then that it does expire clarinet hold. sent11: if the clarinet is a graniteware it is datable. sent12: there exists something such that if it is a Bluegrass then it is unshrinkable. sent13: if the clarinet is a sheepshank it is a graniteware. ; $proof$ = 
sent1 -> hypothesis; __PROVED__