there exists something such that if it is both not a greylag and a sprag then it is not bidirectional.
sent1: the endodontist is not bidirectional if it is a greylag and is a sprag. sent2: the endodontist is paniculate if it is not a sweatshop and is idiomatic. sent3: the colorist is chorionic if it is not a sprag and it is a antiphony. sent4: if something that is a kind of a greylag is a sprag then it is not bidirectional. sent5: if something that is not a greylag is a sprag it is not bidirectional. sent6: there exists something such that if it is a greylag and it is a kind of a sprag then it is not bidirectional. sent7: the endodontist is not a sprag if it is incoherent and it orchestrates Marti. sent8: if the endodontist is not a Circe and hungers reflexive it is not a sprag.
sent5 -> int1: the endodontist is not bidirectional if it is not a greylag and is a sprag.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is both not a greylag and a sprag then it is not bidirectional. ; $context$ = sent1: the endodontist is not bidirectional if it is a greylag and is a sprag. sent2: the endodontist is paniculate if it is not a sweatshop and is idiomatic. sent3: the colorist is chorionic if it is not a sprag and it is a antiphony. sent4: if something that is a kind of a greylag is a sprag then it is not bidirectional. sent5: if something that is not a greylag is a sprag it is not bidirectional. sent6: there exists something such that if it is a greylag and it is a kind of a sprag then it is not bidirectional. sent7: the endodontist is not a sprag if it is incoherent and it orchestrates Marti. sent8: if the endodontist is not a Circe and hungers reflexive it is not a sprag. ; $proof$ = 
sent5 -> int1: the endodontist is not bidirectional if it is not a greylag and is a sprag.; int1 -> hypothesis; __PROVED__