the tiptoe is not an interlocutor.
sent1: if there is something such that the fact that either it is unproductive or it is a kind of an erica or both does not hold then the eparch is not a kind of a celery. sent2: there is something such that the fact that it is impure and it is not non-metrological is wrong. sent3: if that the bubblejet is parliamentary is not true then that the ingenue is unproductive or it is an erica or both is not right. sent4: the antiemetic does not function resistance. sent5: if the Bermudan is not metrological then the fact that the fact that it is a kind of a mountebank that is not an interlocutor is correct is wrong. sent6: if something is not a claret then it is not metrological. sent7: if the antiemetic does not function resistance then it either is not parliamentary or dives ion or both. sent8: the tiptoe is impure if it is a kind of an interlocutor. sent9: the bubblejet is non-parliamentary if there exists something such that it either is not non-parliamentary or dives ion or both. sent10: the Bermudan is not a claret if that the tiptoe is not a tucker-bag and/or it is not a kind of a vessel is wrong. sent11: there is something such that it is both impure and metrological. sent12: if the fact that something is non-metrological thing that clarets is wrong it is a mountebank. sent13: if there is something such that that it is impure thing that is metrological does not hold the tiptoe is not impure. sent14: the fact that the corselet is not metrological but it does claret is false if the eparch is a vessel. sent15: the tiptoe is a kind of an interlocutor if the caterer is non-impure thing that is a kind of an interlocutor. sent16: if something is not a celery then it is a vessel and it is a tucker-bag. sent17: the tiptoe is not blond. sent18: if something is not metrological then the tiptoe is not impure.
void -> assump1: Let's assume that the tiptoe is a kind of an interlocutor.; sent8 & assump1 -> int1: that the tiptoe is impure hold.; sent2 & sent13 -> int2: the tiptoe is not impure.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Bermudan is impure.
sent6 -> int4: if the Bermudan is not a claret it is not metrological.;
$hypothesis$ = the tiptoe is not an interlocutor. ; $context$ = sent1: if there is something such that the fact that either it is unproductive or it is a kind of an erica or both does not hold then the eparch is not a kind of a celery. sent2: there is something such that the fact that it is impure and it is not non-metrological is wrong. sent3: if that the bubblejet is parliamentary is not true then that the ingenue is unproductive or it is an erica or both is not right. sent4: the antiemetic does not function resistance. sent5: if the Bermudan is not metrological then the fact that the fact that it is a kind of a mountebank that is not an interlocutor is correct is wrong. sent6: if something is not a claret then it is not metrological. sent7: if the antiemetic does not function resistance then it either is not parliamentary or dives ion or both. sent8: the tiptoe is impure if it is a kind of an interlocutor. sent9: the bubblejet is non-parliamentary if there exists something such that it either is not non-parliamentary or dives ion or both. sent10: the Bermudan is not a claret if that the tiptoe is not a tucker-bag and/or it is not a kind of a vessel is wrong. sent11: there is something such that it is both impure and metrological. sent12: if the fact that something is non-metrological thing that clarets is wrong it is a mountebank. sent13: if there is something such that that it is impure thing that is metrological does not hold the tiptoe is not impure. sent14: the fact that the corselet is not metrological but it does claret is false if the eparch is a vessel. sent15: the tiptoe is a kind of an interlocutor if the caterer is non-impure thing that is a kind of an interlocutor. sent16: if something is not a celery then it is a vessel and it is a tucker-bag. sent17: the tiptoe is not blond. sent18: if something is not metrological then the tiptoe is not impure. ; $proof$ = 
void -> assump1: Let's assume that the tiptoe is a kind of an interlocutor.; sent8 & assump1 -> int1: that the tiptoe is impure hold.; sent2 & sent13 -> int2: the tiptoe is not impure.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__