the butt is a bisection and is not a parasail.
sent1: the fact that the butt is a bisection and a parasail is not right. sent2: the servant is not a kind of a ramrod and it is not a Teton. sent3: if the strickle does not laicize Soricidae and it does not bear that the butt does laicize sordidness is correct. sent4: if the butt does not laicize sordidness the strickle is not a parasail and is not a bisection. sent5: if the fact that the Genevan does not laicize sordidness hold then the strickle does not bear and it is not a sulfacetamide. sent6: the servant does not laicize Soricidae. sent7: something that does not laicize sordidness is both a bisection and not a parasail. sent8: if the strickle does not laicize sordidness the Genevan is not a sulfacetamide and it is not a bearing. sent9: the servant is not a bisection. sent10: the fact that the butt is a kind of a bisection that is a kind of a parasail is not true if it does laicize Soricidae. sent11: if the butt laicizes Soricidae then that it is a bisection and it is not a parasail is false. sent12: the butt does laicize Soricidae if that the Genevan is a kind of a sulfacetamide but it does not bear hold. sent13: the strickle does not bear if the fact that the servant bear but it is not a sulfacetamide is not true. sent14: the strickle is not a kind of a parasail. sent15: that the Genevan is a sulfacetamide but it is not a bearing does not hold if it is a kind of a bisection. sent16: the butt does laicize Soricidae if the Genevan is not a kind of a sulfacetamide and it does not bear. sent17: the fact that the Genevan is not a parasail hold. sent18: the strickle incorporates. sent19: the butt does not laicize sordidness but it incorporates if the strickle is not a bearing. sent20: that the Genevan is not a sulfacetamide is correct. sent21: if the strickle laicizes sordidness then the servant incorporates. sent22: if the servant laicizes Soricidae then that it incorporates and is not a bisection does not hold. sent23: if the butt is both not a parasail and not a sulfacetamide then the Genevan bears. sent24: if the strickle does not laicize sordidness the Genevan is not a kind of a sulfacetamide. sent25: that the servant does not incorporate is correct.
void -> assump1: Let's assume that the strickle laicizes sordidness.; sent21 & assump1 -> int1: the servant does incorporate.; int1 & sent25 -> int2: this is contradiction.; [assump1] & int2 -> int3: the strickle does not laicize sordidness.; int3 & sent8 -> int4: the Genevan is not a sulfacetamide and is not a kind of a bearing.; int4 & sent16 -> int5: the butt does laicize Soricidae.; int5 & sent11 -> hypothesis;
the butt is a bisection and is not a kind of a parasail.
sent7 -> int6: if the fact that the butt does not laicize sordidness hold it is a bisection that is not a kind of a parasail.;
$hypothesis$ = the butt is a bisection and is not a parasail. ; $context$ = sent1: the fact that the butt is a bisection and a parasail is not right. sent2: the servant is not a kind of a ramrod and it is not a Teton. sent3: if the strickle does not laicize Soricidae and it does not bear that the butt does laicize sordidness is correct. sent4: if the butt does not laicize sordidness the strickle is not a parasail and is not a bisection. sent5: if the fact that the Genevan does not laicize sordidness hold then the strickle does not bear and it is not a sulfacetamide. sent6: the servant does not laicize Soricidae. sent7: something that does not laicize sordidness is both a bisection and not a parasail. sent8: if the strickle does not laicize sordidness the Genevan is not a sulfacetamide and it is not a bearing. sent9: the servant is not a bisection. sent10: the fact that the butt is a kind of a bisection that is a kind of a parasail is not true if it does laicize Soricidae. sent11: if the butt laicizes Soricidae then that it is a bisection and it is not a parasail is false. sent12: the butt does laicize Soricidae if that the Genevan is a kind of a sulfacetamide but it does not bear hold. sent13: the strickle does not bear if the fact that the servant bear but it is not a sulfacetamide is not true. sent14: the strickle is not a kind of a parasail. sent15: that the Genevan is a sulfacetamide but it is not a bearing does not hold if it is a kind of a bisection. sent16: the butt does laicize Soricidae if the Genevan is not a kind of a sulfacetamide and it does not bear. sent17: the fact that the Genevan is not a parasail hold. sent18: the strickle incorporates. sent19: the butt does not laicize sordidness but it incorporates if the strickle is not a bearing. sent20: that the Genevan is not a sulfacetamide is correct. sent21: if the strickle laicizes sordidness then the servant incorporates. sent22: if the servant laicizes Soricidae then that it incorporates and is not a bisection does not hold. sent23: if the butt is both not a parasail and not a sulfacetamide then the Genevan bears. sent24: if the strickle does not laicize sordidness the Genevan is not a kind of a sulfacetamide. sent25: that the servant does not incorporate is correct. ; $proof$ = 
void -> assump1: Let's assume that the strickle laicizes sordidness.; sent21 & assump1 -> int1: the servant does incorporate.; int1 & sent25 -> int2: this is contradiction.; [assump1] & int2 -> int3: the strickle does not laicize sordidness.; int3 & sent8 -> int4: the Genevan is not a sulfacetamide and is not a kind of a bearing.; int4 & sent16 -> int5: the butt does laicize Soricidae.; int5 & sent11 -> hypothesis; __DISPROVED__