the alum is a ECM.
sent1: if there exists something such that that the fact that it is not autologous and/or it is autogamous is correct is not correct then the ornithine is ballistic. sent2: something that does page punctilio is not leprous. sent3: something is not ballistic or it is not subordinate or both if it is not glottochronological. sent4: if the ornithine is ballistic then the criollo is not subordinate. sent5: if the criollo is not leprous that it is not capsular and is not non-glottochronological is not correct. sent6: if something is a kind of a cash then it is a ECM. sent7: if something does not subordinate it is not capsular and it is glottochronological. sent8: the criollo is not leprous. sent9: if the celecoxib does page punctilio then the Miro page punctilio. sent10: that the criollo is both a cash and not capsular does not hold if the Miro is not leprous.
void -> assump1: Let's assume that that the Puck is not autologous and/or it is autogamous does not hold.; assump1 -> int1: there exists something such that that it either is not autologous or is autogamous or both is not right.; int1 & sent1 -> int2: the ornithine is ballistic.; int2 & sent4 -> int3: the fact that the criollo is not a subordinate is true.; sent7 -> int4: the criollo is not capsular but glottochronological if it is not a kind of a subordinate.; int3 & int4 -> int5: the criollo is not capsular but it is glottochronological.; sent5 & sent8 -> int6: the fact that the criollo is not capsular but it is glottochronological is false.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: either the Puck is not autologous or it is autogamous or both.; sent6 -> int9: the alum is a ECM if it is a kind of a cash.;
the fact that the alum is not a kind of a ECM is not false.
sent3 -> int10: if the ornithine is not glottochronological then it is either non-ballistic or not subordinate or both.; sent2 -> int11: the Miro is not leprous if it pages punctilio.;
$hypothesis$ = the alum is a ECM. ; $context$ = sent1: if there exists something such that that the fact that it is not autologous and/or it is autogamous is correct is not correct then the ornithine is ballistic. sent2: something that does page punctilio is not leprous. sent3: something is not ballistic or it is not subordinate or both if it is not glottochronological. sent4: if the ornithine is ballistic then the criollo is not subordinate. sent5: if the criollo is not leprous that it is not capsular and is not non-glottochronological is not correct. sent6: if something is a kind of a cash then it is a ECM. sent7: if something does not subordinate it is not capsular and it is glottochronological. sent8: the criollo is not leprous. sent9: if the celecoxib does page punctilio then the Miro page punctilio. sent10: that the criollo is both a cash and not capsular does not hold if the Miro is not leprous. ; $proof$ = 
void -> assump1: Let's assume that that the Puck is not autologous and/or it is autogamous does not hold.; assump1 -> int1: there exists something such that that it either is not autologous or is autogamous or both is not right.; int1 & sent1 -> int2: the ornithine is ballistic.; int2 & sent4 -> int3: the fact that the criollo is not a subordinate is true.; sent7 -> int4: the criollo is not capsular but glottochronological if it is not a kind of a subordinate.; int3 & int4 -> int5: the criollo is not capsular but it is glottochronological.; sent5 & sent8 -> int6: the fact that the criollo is not capsular but it is glottochronological is false.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: either the Puck is not autologous or it is autogamous or both.; sent6 -> int9: the alum is a ECM if it is a kind of a cash.; __UNKNOWN__