the fact that the liana is a archpriest if the anatoxin does facilitate Low is false.
sent1: that the tot is a chorus but it does not contain is not true if the anatoxin contain. sent2: if something is multilevel that it contains hold. sent3: the fact that the tot is not a kind of a chorus and it does not contain does not hold if the anatoxin contain. sent4: if the fact that the liana is not multilevel hold then the fact that the tot does not contain but it does facilitate Low does not hold. sent5: if the tot does chorus then the liana is a kind of a archpriest. sent6: the fact that the midgrass is multilevel and/or not a chorus does not hold if it is not a cat's-claw. sent7: the anatoxin is multilevel if that it does facilitate Low is right. sent8: that the tot is a chorus and does not contain is incorrect. sent9: if that the tot does not chorus and does not contain is false the liana is a archpriest. sent10: if that the midgrass is multilevel and/or is not a chorus does not hold then the liana is not multilevel.
void -> assump1: Let's assume that the anatoxin facilitates Low.; sent7 & assump1 -> int1: the fact that the anatoxin is multilevel is correct.; sent2 -> int2: the anatoxin contains if it is multilevel.; int1 & int2 -> int3: the anatoxin does contain.; int3 & sent3 -> int4: that the tot is not a chorus and does not contain does not hold.; int4 & sent9 -> int5: the liana is a archpriest.; [assump1] & int5 -> hypothesis;
the tragus is a kind of a archpriest.
$hypothesis$ = the fact that the liana is a archpriest if the anatoxin does facilitate Low is false. ; $context$ = sent1: that the tot is a chorus but it does not contain is not true if the anatoxin contain. sent2: if something is multilevel that it contains hold. sent3: the fact that the tot is not a kind of a chorus and it does not contain does not hold if the anatoxin contain. sent4: if the fact that the liana is not multilevel hold then the fact that the tot does not contain but it does facilitate Low does not hold. sent5: if the tot does chorus then the liana is a kind of a archpriest. sent6: the fact that the midgrass is multilevel and/or not a chorus does not hold if it is not a cat's-claw. sent7: the anatoxin is multilevel if that it does facilitate Low is right. sent8: that the tot is a chorus and does not contain is incorrect. sent9: if that the tot does not chorus and does not contain is false the liana is a archpriest. sent10: if that the midgrass is multilevel and/or is not a chorus does not hold then the liana is not multilevel. ; $proof$ = 
void -> assump1: Let's assume that the anatoxin facilitates Low.; sent7 & assump1 -> int1: the fact that the anatoxin is multilevel is correct.; sent2 -> int2: the anatoxin contains if it is multilevel.; int1 & int2 -> int3: the anatoxin does contain.; int3 & sent3 -> int4: that the tot is not a chorus and does not contain does not hold.; int4 & sent9 -> int5: the liana is a archpriest.; [assump1] & int5 -> hypothesis; __DISPROVED__