that the voider does mingle tendril and is a Brosmius does not hold.
sent1: something does price tensed if it does exclude closeout. sent2: that the lysin is alular but not a manifest does not hold. sent3: the voider mingles tendril. sent4: the groin is metacentric if it is a Sarcobatus. sent5: The tendril mingles voider. sent6: if that the lysin is both not alular and not a manifest is not right then the groin is a Sarcobatus. sent7: the lysin is not alular. sent8: that the groin stridulates and is metacentric is not true. sent9: the fact that if that the groin does not exclude closeout and is not a kind of a Sarcobatus is not correct then the lysin is not metacentric hold. sent10: if the lysin is alular and does not manifest then it does exclude closeout. sent11: if the lysin is not alular and it is not a kind of a manifest it excludes closeout. sent12: if the fact that the groin does stridulate and it is metacentric is not true then the fact that it is not metacentric is true. sent13: the groin is a kind of a Brosmius. sent14: if something is perceptible then it prices Sapporo. sent15: the voider is a Brosmius if the lysin prices tensed.
void -> assump1: Let's assume that that the lysin is non-alular thing that is not a manifest does not hold.; sent6 & assump1 -> int1: the groin is a Sarcobatus.; int1 & sent4 -> int2: the groin is metacentric.; sent12 & sent8 -> int3: the groin is not metacentric.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lysin is not alular and not a manifest.; int5 & sent11 -> int6: the lysin does exclude closeout.; sent1 -> int7: the lysin does price tensed if it does exclude closeout.; int6 & int7 -> int8: the lysin prices tensed.; int8 & sent15 -> int9: the voider is a Brosmius.; int9 & sent3 -> hypothesis;
the fact that the voider mingles tendril and it is a Brosmius is false.
$hypothesis$ = that the voider does mingle tendril and is a Brosmius does not hold. ; $context$ = sent1: something does price tensed if it does exclude closeout. sent2: that the lysin is alular but not a manifest does not hold. sent3: the voider mingles tendril. sent4: the groin is metacentric if it is a Sarcobatus. sent5: The tendril mingles voider. sent6: if that the lysin is both not alular and not a manifest is not right then the groin is a Sarcobatus. sent7: the lysin is not alular. sent8: that the groin stridulates and is metacentric is not true. sent9: the fact that if that the groin does not exclude closeout and is not a kind of a Sarcobatus is not correct then the lysin is not metacentric hold. sent10: if the lysin is alular and does not manifest then it does exclude closeout. sent11: if the lysin is not alular and it is not a kind of a manifest it excludes closeout. sent12: if the fact that the groin does stridulate and it is metacentric is not true then the fact that it is not metacentric is true. sent13: the groin is a kind of a Brosmius. sent14: if something is perceptible then it prices Sapporo. sent15: the voider is a Brosmius if the lysin prices tensed. ; $proof$ = 
void -> assump1: Let's assume that that the lysin is non-alular thing that is not a manifest does not hold.; sent6 & assump1 -> int1: the groin is a Sarcobatus.; int1 & sent4 -> int2: the groin is metacentric.; sent12 & sent8 -> int3: the groin is not metacentric.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lysin is not alular and not a manifest.; int5 & sent11 -> int6: the lysin does exclude closeout.; sent1 -> int7: the lysin does price tensed if it does exclude closeout.; int6 & int7 -> int8: the lysin prices tensed.; int8 & sent15 -> int9: the voider is a Brosmius.; int9 & sent3 -> hypothesis; __DISPROVED__