the AAS staples Paranthropus and is not a last if the abstainer does acquaint Saussurea.
sent1: the AAS does staple Paranthropus. sent2: the fact that the AAS is a kind of chronological thing that does not dogmatize Colinus is false. sent3: the AAS does not acquaint Saussurea and it is not chronological. sent4: that the AAS does not dogmatize rennin is not incorrect if the fact that it is not chronological and does not dogmatize Colinus is not right. sent5: the fact that the AAS does staple Paranthropus if the AAS does not dogmatize rennin hold. sent6: if the AAS staples Paranthropus the abstainer does dogmatize rennin and it acquaints Saussurea. sent7: if the fact that there is something such that it is not chronological and does not dogmatize Colinus is not incorrect the abstainer does not acquaint Saussurea. sent8: something is starless but it is not hepatic if that it staples EPA is wrong. sent9: there exists something such that it is not chronological. sent10: the abstainer is not non-chronological and it does acquaint Saussurea if the AAS dogmatizes rennin. sent11: if a chronological thing does not dogmatize Colinus then the abstainer does not acquaint Saussurea. sent12: the abstainer is chronological. sent13: the abstainer is not a last. sent14: the AAS does acquaint Saussurea and is unwary if it is not a kind of a dalmatian. sent15: the AAS does not dogmatize rennin if it is chronological. sent16: the AAS is adverbial. sent17: something staples Paranthropus if it does not dogmatize rennin. sent18: the AAS staples Paranthropus if the fact that the abstainer does acquaint Saussurea hold.
void -> assump1: Let's assume that the AAS is not chronological and does not dogmatize Colinus.; assump1 -> int1: there exists something such that it is not chronological and does not dogmatize Colinus.; int1 & sent7 -> int2: the fact that the abstainer does not acquaint Saussurea is not wrong.; void -> assump2: Let's assume that the abstainer does acquaint Saussurea.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the AAS is not chronological and it does not dogmatize Colinus is not true.; int4 & sent4 -> int5: the fact that the AAS does not dogmatize rennin hold.;
$hypothesis$ = the AAS staples Paranthropus and is not a last if the abstainer does acquaint Saussurea. ; $context$ = sent1: the AAS does staple Paranthropus. sent2: the fact that the AAS is a kind of chronological thing that does not dogmatize Colinus is false. sent3: the AAS does not acquaint Saussurea and it is not chronological. sent4: that the AAS does not dogmatize rennin is not incorrect if the fact that it is not chronological and does not dogmatize Colinus is not right. sent5: the fact that the AAS does staple Paranthropus if the AAS does not dogmatize rennin hold. sent6: if the AAS staples Paranthropus the abstainer does dogmatize rennin and it acquaints Saussurea. sent7: if the fact that there is something such that it is not chronological and does not dogmatize Colinus is not incorrect the abstainer does not acquaint Saussurea. sent8: something is starless but it is not hepatic if that it staples EPA is wrong. sent9: there exists something such that it is not chronological. sent10: the abstainer is not non-chronological and it does acquaint Saussurea if the AAS dogmatizes rennin. sent11: if a chronological thing does not dogmatize Colinus then the abstainer does not acquaint Saussurea. sent12: the abstainer is chronological. sent13: the abstainer is not a last. sent14: the AAS does acquaint Saussurea and is unwary if it is not a kind of a dalmatian. sent15: the AAS does not dogmatize rennin if it is chronological. sent16: the AAS is adverbial. sent17: something staples Paranthropus if it does not dogmatize rennin. sent18: the AAS staples Paranthropus if the fact that the abstainer does acquaint Saussurea hold. ; $proof$ = 
void -> assump1: Let's assume that the AAS is not chronological and does not dogmatize Colinus.; assump1 -> int1: there exists something such that it is not chronological and does not dogmatize Colinus.; int1 & sent7 -> int2: the fact that the abstainer does not acquaint Saussurea is not wrong.; void -> assump2: Let's assume that the abstainer does acquaint Saussurea.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the AAS is not chronological and it does not dogmatize Colinus is not true.; int4 & sent4 -> int5: the fact that the AAS does not dogmatize rennin hold.; __UNKNOWN__