the patentee is not a hypsography.
sent1: the mortgagor is not achenial. sent2: if there exists something such that the fact that it is not achenial is correct either the flavonoid is not pious or it is not a smart or both. sent3: something is impious if that it is impious thing that is not non-smart is incorrect. sent4: the laver is a tent if it is smart and is not a capercaillie. sent5: if the oystercatcher is not a hypsography then the patentee is a hypsography. sent6: if the oystercatcher is not a profligacy the patentee is a congruity and a hypsography. sent7: the fact that the Meccano is a smart and it does clear is incorrect. sent8: the jolly is non-smart. sent9: there exists nothing that is a kind of a Cirsium and throbs. sent10: something that is a hypsography and not a profligacy is pious. sent11: if something is pious and is achenial it is not a profligacy. sent12: if that the patentee is a smart and it is a Antoninus is not true it is not a smart. sent13: something is pious if it is a smart. sent14: there exists nothing that is pious thing that is a smart. sent15: if the mortgagor is a Cirsium but it is not achenial the fact that the flavonoid is achenial is not wrong. sent16: the oystercatcher is not pious if the fact that something is not pious or it is not smart or both is right. sent17: the patentee does not catalyze asceticism. sent18: the patentee is smart if it does fingerprint Mytilidae and it does not contract.
void -> assump1: Let's assume that the patentee is a hypsography.; sent10 -> int1: the patentee is pious if it is a hypsography and is not a profligacy.; sent3 -> int2: the patentee is not pious if the fact that it is pious and it is smart does not hold.; sent14 -> int3: the fact that the patentee is pious and it is a smart does not hold.; int2 & int3 -> int4: the patentee is not pious.;
the patentee is a congruity.
sent1 -> int5: there are non-achenial things.; int5 & sent2 -> int6: the flavonoid is either impious or not smart or both.; int6 -> int7: there exists something such that it is not pious or it is non-smart or both.; int7 & sent16 -> int8: the oystercatcher is not pious.; int8 -> int9: the oystercatcher is either not a profligacy or not pious or both.;
$hypothesis$ = the patentee is not a hypsography. ; $context$ = sent1: the mortgagor is not achenial. sent2: if there exists something such that the fact that it is not achenial is correct either the flavonoid is not pious or it is not a smart or both. sent3: something is impious if that it is impious thing that is not non-smart is incorrect. sent4: the laver is a tent if it is smart and is not a capercaillie. sent5: if the oystercatcher is not a hypsography then the patentee is a hypsography. sent6: if the oystercatcher is not a profligacy the patentee is a congruity and a hypsography. sent7: the fact that the Meccano is a smart and it does clear is incorrect. sent8: the jolly is non-smart. sent9: there exists nothing that is a kind of a Cirsium and throbs. sent10: something that is a hypsography and not a profligacy is pious. sent11: if something is pious and is achenial it is not a profligacy. sent12: if that the patentee is a smart and it is a Antoninus is not true it is not a smart. sent13: something is pious if it is a smart. sent14: there exists nothing that is pious thing that is a smart. sent15: if the mortgagor is a Cirsium but it is not achenial the fact that the flavonoid is achenial is not wrong. sent16: the oystercatcher is not pious if the fact that something is not pious or it is not smart or both is right. sent17: the patentee does not catalyze asceticism. sent18: the patentee is smart if it does fingerprint Mytilidae and it does not contract. ; $proof$ = 
void -> assump1: Let's assume that the patentee is a hypsography.; sent10 -> int1: the patentee is pious if it is a hypsography and is not a profligacy.; sent3 -> int2: the patentee is not pious if the fact that it is pious and it is smart does not hold.; sent14 -> int3: the fact that the patentee is pious and it is a smart does not hold.; int2 & int3 -> int4: the patentee is not pious.; __UNKNOWN__