something is both unofficial and not a vertical.
sent1: there exists something such that it is a kind of paranasal thing that is not part-time. sent2: the sheldrake is rectal and it spends aliquot if the SHAPE is not a kind of a single. sent3: the fact that something is both not a syrinx and not vertical is incorrect if it is rectal. sent4: the sheldrake is non-vertical. sent5: there exists something such that it is not a kind of an official.
the stockyard is not an official.
sent3 -> int1: if the sheldrake is rectal then that it is both not a syrinx and non-vertical is not true.;
$hypothesis$ = something is both unofficial and not a vertical. ; $context$ = sent1: there exists something such that it is a kind of paranasal thing that is not part-time. sent2: the sheldrake is rectal and it spends aliquot if the SHAPE is not a kind of a single. sent3: the fact that something is both not a syrinx and not vertical is incorrect if it is rectal. sent4: the sheldrake is non-vertical. sent5: there exists something such that it is not a kind of an official. ; $proof$ = 
__UNKNOWN__