the fact that the Moselle is both not a Sufi and not Marian does not hold.
sent1: the belay is not a pyrite if there is something such that either it is not a kind of a pyrite or it is not a kind of a marl or both. sent2: if the belay is not a differential that the joystick is not Marian and it is not a kind of a differential is false. sent3: if the belay is not Marian then the fact that the Moselle is not a Sufi and it is not Marian is false. sent4: if the belay is not Marian that the Moselle is Sufi thing that is not Marian is not correct. sent5: the registrar is not a pyrite or it is not a marl or both. sent6: the belay is not a differential. sent7: if something is a differential then it is Marian. sent8: the belay is not a Toyohashi.
the woad is Marian.
sent7 -> int1: if the woad is differential it is Marian.;
$hypothesis$ = the fact that the Moselle is both not a Sufi and not Marian does not hold. ; $context$ = sent1: the belay is not a pyrite if there is something such that either it is not a kind of a pyrite or it is not a kind of a marl or both. sent2: if the belay is not a differential that the joystick is not Marian and it is not a kind of a differential is false. sent3: if the belay is not Marian then the fact that the Moselle is not a Sufi and it is not Marian is false. sent4: if the belay is not Marian that the Moselle is Sufi thing that is not Marian is not correct. sent5: the registrar is not a pyrite or it is not a marl or both. sent6: the belay is not a differential. sent7: if something is a differential then it is Marian. sent8: the belay is not a Toyohashi. ; $proof$ = 
__UNKNOWN__