there exists something such that if it is not a Algol and is insubstantial it is not non-spectrometric.
sent1: that there is something such that if it is both not a blazer and a Canopus then it is a kind of a ergotamine hold. sent2: if the drizzle is not insubstantial but bicylindrical the fact that it ignores crumb is right. sent3: there exists something such that if it is not a Panorpidae and does flick Nuda it is orthoptic. sent4: something is a kind of a Shoshone if it is not a Dipodidae and is spectrometric. sent5: if the Triton is not a Algol but a beanball then it is machine-made. sent6: the Triton is insubstantial if it is both not a niobium and holistic. sent7: there is something such that if that it is not gymnastics and it is vaginal hold then it is a spoil. sent8: there exists something such that if it is not dicarboxylic and flicks pot it is light-duty. sent9: if the Triton is a Algol that is insubstantial then it is spectrometric. sent10: there is something such that if it is a kind of a Algol and it is insubstantial it is spectrometric. sent11: there is something such that if it is not a kind of a plumb and is soteriological it orbs. sent12: if the Triton does not ignore sapsucker and does ignore da'wah it is a napu. sent13: the Triton is spectrometric if it is not a Algol and it is insubstantial. sent14: if the Triton is both non-odds and insubstantial then it flicks service.
sent13 -> hypothesis;
the fact that the eponymy is a Shoshone is right if it is both not a Dipodidae and spectrometric.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a Algol and is insubstantial it is not non-spectrometric. ; $context$ = sent1: that there is something such that if it is both not a blazer and a Canopus then it is a kind of a ergotamine hold. sent2: if the drizzle is not insubstantial but bicylindrical the fact that it ignores crumb is right. sent3: there exists something such that if it is not a Panorpidae and does flick Nuda it is orthoptic. sent4: something is a kind of a Shoshone if it is not a Dipodidae and is spectrometric. sent5: if the Triton is not a Algol but a beanball then it is machine-made. sent6: the Triton is insubstantial if it is both not a niobium and holistic. sent7: there is something such that if that it is not gymnastics and it is vaginal hold then it is a spoil. sent8: there exists something such that if it is not dicarboxylic and flicks pot it is light-duty. sent9: if the Triton is a Algol that is insubstantial then it is spectrometric. sent10: there is something such that if it is a kind of a Algol and it is insubstantial it is spectrometric. sent11: there is something such that if it is not a kind of a plumb and is soteriological it orbs. sent12: if the Triton does not ignore sapsucker and does ignore da'wah it is a napu. sent13: the Triton is spectrometric if it is not a Algol and it is insubstantial. sent14: if the Triton is both non-odds and insubstantial then it flicks service. ; $proof$ = 
sent13 -> hypothesis; __PROVED__