there exists something such that if it is not a kind of a quay then it is not non-operatic and is disreputable.
sent1: the quillwort is operatic. sent2: the river is an acetate and disreputable. sent3: something is disreputable if it is a kind of a quay. sent4: if the quillwort is a quay that it is both operatic and disreputable is not false. sent5: the quillwort is a noddle and is a Thylacinus. sent6: there is something such that if it is not a kind of a mismatch then it is a penne. sent7: there exists something such that if it is not a quay then it is disreputable. sent8: there is something such that if it is a kind of a Ludian then it does queue mercenary and queues demagoguery. sent9: something is disreputable if it is not a quay. sent10: if something does not queue authority it is a kind of a thumbed.
sent9 -> int1: if the quillwort is not a kind of a quay then it is disreputable.; void -> assump1: Let's assume that the quillwort is not a quay.; int1 & assump1 -> int2: the quillwort is disreputable.; int2 & sent1 -> int3: the quillwort is operatic thing that is disreputable.; [assump1] & int3 -> int4: the quillwort is operatic and is disreputable if it is not a quay.; int4 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a quay then it is not non-operatic and is disreputable. ; $context$ = sent1: the quillwort is operatic. sent2: the river is an acetate and disreputable. sent3: something is disreputable if it is a kind of a quay. sent4: if the quillwort is a quay that it is both operatic and disreputable is not false. sent5: the quillwort is a noddle and is a Thylacinus. sent6: there is something such that if it is not a kind of a mismatch then it is a penne. sent7: there exists something such that if it is not a quay then it is disreputable. sent8: there is something such that if it is a kind of a Ludian then it does queue mercenary and queues demagoguery. sent9: something is disreputable if it is not a quay. sent10: if something does not queue authority it is a kind of a thumbed. ; $proof$ = 
sent9 -> int1: if the quillwort is not a kind of a quay then it is disreputable.; void -> assump1: Let's assume that the quillwort is not a quay.; int1 & assump1 -> int2: the quillwort is disreputable.; int2 & sent1 -> int3: the quillwort is operatic thing that is disreputable.; [assump1] & int3 -> int4: the quillwort is operatic and is disreputable if it is not a quay.; int4 -> hypothesis; __PROVED__