there is something such that if it is not a kind of a gape and it swelters vibrio then it is consolable.
sent1: if the vibrio is not consolable and is a tarnish the fact that it is a ratter hold. sent2: there exists something such that if it is not fossiliferous and it is simian then it is a conjugation. sent3: the garment gapes if it does not truss celery and it mediates. sent4: if the garment is not a gape but it does swelter vibrio it is consolable. sent5: there is something such that if it is a kind of a gape that swelters vibrio it is consolable. sent6: there is something such that if it is both not essential and noisy it gutters shortness. sent7: if the garment gapes and swelters vibrio it is consolable. sent8: there exists something such that if it is not a serfdom and is nonwoody then it is forgettable. sent9: that something is macrocephalic if it does not ligate and does truss annunciator hold. sent10: there is something such that if it is non-polymeric thing that tastes lipectomy it is a Cross.
sent4 -> hypothesis;
there is something such that if it does not ligate and trusses annunciator then it is macrocephalic.
sent9 -> int1: if the hibachi does not ligate but it trusses annunciator then it is macrocephalic.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a gape and it swelters vibrio then it is consolable. ; $context$ = sent1: if the vibrio is not consolable and is a tarnish the fact that it is a ratter hold. sent2: there exists something such that if it is not fossiliferous and it is simian then it is a conjugation. sent3: the garment gapes if it does not truss celery and it mediates. sent4: if the garment is not a gape but it does swelter vibrio it is consolable. sent5: there is something such that if it is a kind of a gape that swelters vibrio it is consolable. sent6: there is something such that if it is both not essential and noisy it gutters shortness. sent7: if the garment gapes and swelters vibrio it is consolable. sent8: there exists something such that if it is not a serfdom and is nonwoody then it is forgettable. sent9: that something is macrocephalic if it does not ligate and does truss annunciator hold. sent10: there is something such that if it is non-polymeric thing that tastes lipectomy it is a Cross. ; $proof$ = 
sent4 -> hypothesis; __PROVED__