the Merovingian is a Nicolson and it is a disquieted.
sent1: something is a Nicolson if the fact that it is provocative thing that is not a kind of a Nicolson is not right. sent2: the fact that the parturiency is a kind of a play hold if the Merovingian is unreproducible. sent3: that the Merovingian is provocative but it is not a Nicolson is not true. sent4: the fact that the dodderer is unreproducible and is a Nicolson is wrong if there exists something such that it quarters monoculture. sent5: if that something is provocative and is not a kind of a tract is incorrect it is a tract. sent6: the parturiency is not a kind of a humanist. sent7: if the fact that either something is unreproducible or it does not quarter monoculture or both is not right it is not a dead. sent8: if something is not a humanist that it is a tract and it does play is not true. sent9: if the parturiency is a play the dodderer is a kind of a tract. sent10: if the Merovingian does not quarter monoculture the parturiency is a kind of a play. sent11: if the parturiency is not humanist then it plays or it is a tract or both. sent12: that the dodderer is not a kind of a humanist is true if it is a tract. sent13: the fact that the Bailey is a Nicolson that is not a Paul is not correct if something is unreproducible. sent14: if something is a tract it quarters monoculture. sent15: if something is non-dead it is a disquieted. sent16: if something does play then it quarters monoculture. sent17: if that the Merovingian is a tract and plays is not true it does not plays.
void -> assump1: Let's assume that the Merovingian is unreproducible and/or it does not quarter monoculture.; assump1 & sent2 & sent10 -> int1: the parturiency plays.; int1 & sent9 -> int2: the dodderer is a kind of a tract.; int2 & sent12 -> int3: the dodderer is not humanist.; sent7 -> int4: that the Merovingian is not a kind of a dead hold if that it is unreproducible or it does not quarter monoculture or both is false.; sent15 -> int5: the Merovingian is a disquieted if it is not a kind of a dead.; sent1 -> int6: if the fact that the Merovingian is provocative but it is not a Nicolson is not right it is a Nicolson.; int6 & sent3 -> int7: the Merovingian is a Nicolson.;
the fact that the Bailey is a kind of a Nicolson and is not a Paul is false.
sent8 -> int8: if the dodderer is non-humanist then the fact that it is a tract and a play does not hold.;
$hypothesis$ = the Merovingian is a Nicolson and it is a disquieted. ; $context$ = sent1: something is a Nicolson if the fact that it is provocative thing that is not a kind of a Nicolson is not right. sent2: the fact that the parturiency is a kind of a play hold if the Merovingian is unreproducible. sent3: that the Merovingian is provocative but it is not a Nicolson is not true. sent4: the fact that the dodderer is unreproducible and is a Nicolson is wrong if there exists something such that it quarters monoculture. sent5: if that something is provocative and is not a kind of a tract is incorrect it is a tract. sent6: the parturiency is not a kind of a humanist. sent7: if the fact that either something is unreproducible or it does not quarter monoculture or both is not right it is not a dead. sent8: if something is not a humanist that it is a tract and it does play is not true. sent9: if the parturiency is a play the dodderer is a kind of a tract. sent10: if the Merovingian does not quarter monoculture the parturiency is a kind of a play. sent11: if the parturiency is not humanist then it plays or it is a tract or both. sent12: that the dodderer is not a kind of a humanist is true if it is a tract. sent13: the fact that the Bailey is a Nicolson that is not a Paul is not correct if something is unreproducible. sent14: if something is a tract it quarters monoculture. sent15: if something is non-dead it is a disquieted. sent16: if something does play then it quarters monoculture. sent17: if that the Merovingian is a tract and plays is not true it does not plays. ; $proof$ = 
void -> assump1: Let's assume that the Merovingian is unreproducible and/or it does not quarter monoculture.; assump1 & sent2 & sent10 -> int1: the parturiency plays.; int1 & sent9 -> int2: the dodderer is a kind of a tract.; int2 & sent12 -> int3: the dodderer is not humanist.; sent7 -> int4: that the Merovingian is not a kind of a dead hold if that it is unreproducible or it does not quarter monoculture or both is false.; sent15 -> int5: the Merovingian is a disquieted if it is not a kind of a dead.; sent1 -> int6: if the fact that the Merovingian is provocative but it is not a Nicolson is not right it is a Nicolson.; int6 & sent3 -> int7: the Merovingian is a Nicolson.; __UNKNOWN__