the fact that there exists something such that if it is a shyster then it is syntagmatic is not true.
sent1: the abbacy is a parodist if it is outdoors. sent2: the forty-niner is syntagmatic if it is a kind of a shyster. sent3: there is something such that if it is an airspace it is a kind of a metropolitan. sent4: something is a sniffler if it is a bicentennial. sent5: the forty-niner is exponential if the fact that it is syntagmatic is true. sent6: there is something such that if it overruns crater then it does overrun revetment. sent7: if the forty-niner is a shyster it is a lugsail. sent8: there exists something such that if it is a kind of a hippodrome then it is a crush. sent9: if the diflunisal is a shyster then it is a misery. sent10: the forty-niner is commutable if the fact that it is a kind of a shyster hold. sent11: if the ultramarine is a shyster it overruns Fez.
sent2 -> hypothesis;
the viscounty is a sniffler if it is a kind of a bicentennial.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a shyster then it is syntagmatic is not true. ; $context$ = sent1: the abbacy is a parodist if it is outdoors. sent2: the forty-niner is syntagmatic if it is a kind of a shyster. sent3: there is something such that if it is an airspace it is a kind of a metropolitan. sent4: something is a sniffler if it is a bicentennial. sent5: the forty-niner is exponential if the fact that it is syntagmatic is true. sent6: there is something such that if it overruns crater then it does overrun revetment. sent7: if the forty-niner is a shyster it is a lugsail. sent8: there exists something such that if it is a kind of a hippodrome then it is a crush. sent9: if the diflunisal is a shyster then it is a misery. sent10: the forty-niner is commutable if the fact that it is a kind of a shyster hold. sent11: if the ultramarine is a shyster it overruns Fez. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__