there exists something such that if it either is a kind of a Cistothorus or does not frisk xenolith or both it piques trainband.
sent1: there exists something such that if it is a kind of a bream or it is not exoteric or both then it is not non-pneumatics. sent2: there is something such that if it does excrete or is satyric or both it is a Melicytus. sent3: if the yellowthroat frisks Valerianaceae and/or is not an eel it is punic. sent4: if the yellowthroat is a Cistothorus it does pique trainband. sent5: there exists something such that if it is a kind of a palsied and/or piques Italic then that it does frisk uptick is right. sent6: there is something such that if it does pique poet or it is not a surfing or both it is calisthenics. sent7: there is something such that if it is not a kind of a phoenix then it is carvel-built. sent8: if the Spartan does frisk xenolith and/or is uncontroversial it is a Thornton. sent9: there exists something such that if it scavenges then it frisks small. sent10: the gastroscope does frisk xenolith if it frisks Y2K and/or it is an airfare. sent11: there exists something such that if it is manly or it is a creeps or both then it is a assonance. sent12: if the yellowthroat is a Cistothorus and/or it does not frisk xenolith then it does pique trainband. sent13: the yellowthroat does attach if it anglicises gutlessness. sent14: if something is striate and/or not a saiga then it is a kind of a spermatocyte. sent15: if the yellowthroat is a kind of a Cistothorus then it is isomorphous. sent16: if the yellowthroat does frisk xenolith it is protestant. sent17: there exists something such that if it is not a kimberlite it is backless.
sent12 -> hypothesis;
there is something such that if either it does striate or it is not a kind of a saiga or both then it is a spermatocyte.
sent14 -> int1: the wings is a spermatocyte if either it is striate or it is not a saiga or both.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it either is a kind of a Cistothorus or does not frisk xenolith or both it piques trainband. ; $context$ = sent1: there exists something such that if it is a kind of a bream or it is not exoteric or both then it is not non-pneumatics. sent2: there is something such that if it does excrete or is satyric or both it is a Melicytus. sent3: if the yellowthroat frisks Valerianaceae and/or is not an eel it is punic. sent4: if the yellowthroat is a Cistothorus it does pique trainband. sent5: there exists something such that if it is a kind of a palsied and/or piques Italic then that it does frisk uptick is right. sent6: there is something such that if it does pique poet or it is not a surfing or both it is calisthenics. sent7: there is something such that if it is not a kind of a phoenix then it is carvel-built. sent8: if the Spartan does frisk xenolith and/or is uncontroversial it is a Thornton. sent9: there exists something such that if it scavenges then it frisks small. sent10: the gastroscope does frisk xenolith if it frisks Y2K and/or it is an airfare. sent11: there exists something such that if it is manly or it is a creeps or both then it is a assonance. sent12: if the yellowthroat is a Cistothorus and/or it does not frisk xenolith then it does pique trainband. sent13: the yellowthroat does attach if it anglicises gutlessness. sent14: if something is striate and/or not a saiga then it is a kind of a spermatocyte. sent15: if the yellowthroat is a kind of a Cistothorus then it is isomorphous. sent16: if the yellowthroat does frisk xenolith it is protestant. sent17: there exists something such that if it is not a kimberlite it is backless. ; $proof$ = 
sent12 -> hypothesis; __PROVED__