if the quercitron is not a kind of a shrinkage the ergonovine does not permit Metroxylon and it is not scholastic.
sent1: if something is not scholastic the ergonovine is a shrinkage. sent2: if that something is loopy is true it is not scholastic. sent3: the ergonovine is not scholastic if it is loopy. sent4: if the quercitron is not a shrinkage the ergonovine does permit Metroxylon and is not scholastic. sent5: if the ergonovine is loopy then it does permit Metroxylon and is not scholastic. sent6: the ergonovine is not scholastic. sent7: something permits Metroxylon but it is not scholastic if it is loopy. sent8: that the georgette is not Dominican is not incorrect. sent9: the elocutionist is not a shrinkage. sent10: if the quercitron is a kind of a run-up it is not loopy. sent11: if the quercitron is a shrinkage then the ergonovine does not permit Metroxylon and is not scholastic. sent12: the ergonovine is not scholastic if the quercitron is not a kind of a shrinkage. sent13: if the ergonovine is scholastic then it is not loopy and it is not a shrinkage. sent14: if there is something such that it is not loopy then the fact that the quercitron is a shrinkage hold.
void -> assump1: Let's assume that the ergonovine is not loopy.; assump1 -> int1: there exists something such that it is not loopy.; int1 & sent14 -> int2: the quercitron is a kind of a shrinkage.; void -> assump2: Let's assume that the fact that the quercitron is not a kind of a shrinkage hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ergonovine is loopy.;
$hypothesis$ = if the quercitron is not a kind of a shrinkage the ergonovine does not permit Metroxylon and it is not scholastic. ; $context$ = sent1: if something is not scholastic the ergonovine is a shrinkage. sent2: if that something is loopy is true it is not scholastic. sent3: the ergonovine is not scholastic if it is loopy. sent4: if the quercitron is not a shrinkage the ergonovine does permit Metroxylon and is not scholastic. sent5: if the ergonovine is loopy then it does permit Metroxylon and is not scholastic. sent6: the ergonovine is not scholastic. sent7: something permits Metroxylon but it is not scholastic if it is loopy. sent8: that the georgette is not Dominican is not incorrect. sent9: the elocutionist is not a shrinkage. sent10: if the quercitron is a kind of a run-up it is not loopy. sent11: if the quercitron is a shrinkage then the ergonovine does not permit Metroxylon and is not scholastic. sent12: the ergonovine is not scholastic if the quercitron is not a kind of a shrinkage. sent13: if the ergonovine is scholastic then it is not loopy and it is not a shrinkage. sent14: if there is something such that it is not loopy then the fact that the quercitron is a shrinkage hold. ; $proof$ = 
void -> assump1: Let's assume that the ergonovine is not loopy.; assump1 -> int1: there exists something such that it is not loopy.; int1 & sent14 -> int2: the quercitron is a kind of a shrinkage.; void -> assump2: Let's assume that the fact that the quercitron is not a kind of a shrinkage hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ergonovine is loopy.; __UNKNOWN__