the Uniat either is not a kind of a dorsum or does not sing or both.
sent1: the Uniat does not sing if the fact that the tarn is not a Brady and/or it is a neckband is false. sent2: there is something such that that it is not a vested and it is feudal is not true. sent3: the fact that something does not orchestrate Kurdistan and/or is not feudal is not correct if it is not a kind of a Brady. sent4: that something is not a dorsum and/or it does not sing is false if it is a kind of a Brady. sent5: if there exists something such that the fact that it is both not soluble and an outlier is not right the Uniat burglarizes shanny. sent6: if something is trophotropic the fact that it is not a Brady and/or it is a kind of a neckband is not true. sent7: the fact that the Uniat is a Brady hold if there is something such that that it is not a vested but feudal does not hold.
sent2 & sent7 -> int1: the Uniat is a Brady.; sent4 -> int2: if the Uniat is a Brady then that it is not a dorsum and/or it does not sing does not hold.; int1 & int2 -> hypothesis;
the Uniat either is not a dorsum or does not sing or both.
sent6 -> int3: that either the tarn is not a Brady or it is a neckband or both is incorrect if it is trophotropic.;
$hypothesis$ = the Uniat either is not a kind of a dorsum or does not sing or both. ; $context$ = sent1: the Uniat does not sing if the fact that the tarn is not a Brady and/or it is a neckband is false. sent2: there is something such that that it is not a vested and it is feudal is not true. sent3: the fact that something does not orchestrate Kurdistan and/or is not feudal is not correct if it is not a kind of a Brady. sent4: that something is not a dorsum and/or it does not sing is false if it is a kind of a Brady. sent5: if there exists something such that the fact that it is both not soluble and an outlier is not right the Uniat burglarizes shanny. sent6: if something is trophotropic the fact that it is not a Brady and/or it is a kind of a neckband is not true. sent7: the fact that the Uniat is a Brady hold if there is something such that that it is not a vested but feudal does not hold. ; $proof$ = 
sent2 & sent7 -> int1: the Uniat is a Brady.; sent4 -> int2: if the Uniat is a Brady then that it is not a dorsum and/or it does not sing does not hold.; int1 & int2 -> hypothesis; __DISPROVED__