the poi does not become reconditeness and is not a acetylation if the steroid is not a disapprobation.
sent1: the steroid is not atrial. sent2: the fact that if there exists something such that that it is not atrial and is not a Nijinsky does not hold the poi is not a acetylation is not false. sent3: the fact that the treasury is not atrial and it is not a Nijinsky is not true if it is not autumnal. sent4: the steroid manacles if there exists something such that that it is a acetylation and is a Nijinsky does not hold. sent5: the steroid does not become reconditeness or it is a kind of a disapprobation or both if it manacles. sent6: if the poi becomes reconditeness it does manacle. sent7: there is something such that the fact that it is a kind of autumnal thing that is not a disapprobation is wrong. sent8: the treasury is a stub. sent9: something that does not become reconditeness or is a kind of a disapprobation or both does not become reconditeness. sent10: the steroid is a disapprobation if the poi manacles. sent11: there is something such that that it is a acetylation and it is a kind of a Nijinsky is not right. sent12: the fact that the treasury is a kind of atrial thing that is not a Nijinsky is incorrect. sent13: something is a kind of non-atrial thing that is not a Nijinsky.
void -> assump2: Let's assume that the poi does become reconditeness.; sent6 & assump2 -> int1: the poi manacles.; int1 & sent10 -> int2: the steroid is a disapprobation.; void -> assump1: Let's assume that the steroid is not a disapprobation.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the poi does not become reconditeness.;
that the crayfish is both not a clairvoyant and not autumnal is false.
sent9 -> int5: the steroid does not become reconditeness if it does not become reconditeness and/or it is a disapprobation.; sent11 & sent4 -> int6: that the steroid manacles is not wrong.; sent5 & int6 -> int7: the steroid does not become reconditeness and/or is a disapprobation.; int5 & int7 -> int8: the steroid does not become reconditeness.; int8 -> int9: the steroid does not become reconditeness and/or is autumnal.; int9 -> int10: something either does not become reconditeness or is autumnal or both.;
$hypothesis$ = the poi does not become reconditeness and is not a acetylation if the steroid is not a disapprobation. ; $context$ = sent1: the steroid is not atrial. sent2: the fact that if there exists something such that that it is not atrial and is not a Nijinsky does not hold the poi is not a acetylation is not false. sent3: the fact that the treasury is not atrial and it is not a Nijinsky is not true if it is not autumnal. sent4: the steroid manacles if there exists something such that that it is a acetylation and is a Nijinsky does not hold. sent5: the steroid does not become reconditeness or it is a kind of a disapprobation or both if it manacles. sent6: if the poi becomes reconditeness it does manacle. sent7: there is something such that the fact that it is a kind of autumnal thing that is not a disapprobation is wrong. sent8: the treasury is a stub. sent9: something that does not become reconditeness or is a kind of a disapprobation or both does not become reconditeness. sent10: the steroid is a disapprobation if the poi manacles. sent11: there is something such that that it is a acetylation and it is a kind of a Nijinsky is not right. sent12: the fact that the treasury is a kind of atrial thing that is not a Nijinsky is incorrect. sent13: something is a kind of non-atrial thing that is not a Nijinsky. ; $proof$ = 
void -> assump2: Let's assume that the poi does become reconditeness.; sent6 & assump2 -> int1: the poi manacles.; int1 & sent10 -> int2: the steroid is a disapprobation.; void -> assump1: Let's assume that the steroid is not a disapprobation.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the poi does not become reconditeness.; __UNKNOWN__