the fact that the phenelzine is not a Shakespearian and not a legation is not right.
sent1: there is something such that the fact that it does not smock Hecht is not incorrect. sent2: that something is sciatic or it is not an oracle or both does not hold if it is a kind of a swath. sent3: if the mason does not spill terrorism the tourmaline is not politic. sent4: if the Levantine is not a legation that the phenelzine is not a Shakespearian and is not a legation is not correct. sent5: that the mason does not smock paperback is true. sent6: that the Levantine is not a legation hold if the fact that it does not spill terrorism or it is politic or both is not right. sent7: if the Levantine is not a flood that that it does not spill terrorism and/or is politic hold is wrong. sent8: that the tourmaline is not politic is not wrong. sent9: That the paperback does not smock mason is true. sent10: the fact that the phenelzine is not a flood and it does not smock paperback is not incorrect if the tourmaline is not politic. sent11: if the fact that that the tourmaline is both not a Livingstone and not a turnoff does not hold is not wrong the mason does smock paperback. sent12: if that something is sciatic or not an oracle or both does not hold it does not spill terrorism. sent13: if the fact that the Levantine does smock Hecht but it is not a swath is not right the mason is a kind of a swath.
void -> assump1: Let's assume that that the tourmaline is both not a Livingstone and not a turnoff does not hold.; sent11 & assump1 -> int1: the mason does smock paperback.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tourmaline is not a Livingstone and it is not a turnoff.;
the phenelzine is not a Shakespearian and not a legation.
sent12 -> int4: the mason does not spill terrorism if the fact that it is sciatic and/or is not an oracle is incorrect.; sent2 -> int5: that either the mason is sciatic or it is not an oracle or both does not hold if it is a kind of a swath.;
$hypothesis$ = the fact that the phenelzine is not a Shakespearian and not a legation is not right. ; $context$ = sent1: there is something such that the fact that it does not smock Hecht is not incorrect. sent2: that something is sciatic or it is not an oracle or both does not hold if it is a kind of a swath. sent3: if the mason does not spill terrorism the tourmaline is not politic. sent4: if the Levantine is not a legation that the phenelzine is not a Shakespearian and is not a legation is not correct. sent5: that the mason does not smock paperback is true. sent6: that the Levantine is not a legation hold if the fact that it does not spill terrorism or it is politic or both is not right. sent7: if the Levantine is not a flood that that it does not spill terrorism and/or is politic hold is wrong. sent8: that the tourmaline is not politic is not wrong. sent9: That the paperback does not smock mason is true. sent10: the fact that the phenelzine is not a flood and it does not smock paperback is not incorrect if the tourmaline is not politic. sent11: if the fact that that the tourmaline is both not a Livingstone and not a turnoff does not hold is not wrong the mason does smock paperback. sent12: if that something is sciatic or not an oracle or both does not hold it does not spill terrorism. sent13: if the fact that the Levantine does smock Hecht but it is not a swath is not right the mason is a kind of a swath. ; $proof$ = 
void -> assump1: Let's assume that that the tourmaline is both not a Livingstone and not a turnoff does not hold.; sent11 & assump1 -> int1: the mason does smock paperback.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tourmaline is not a Livingstone and it is not a turnoff.; __UNKNOWN__