that the pyromorphite does not exempt apex hold.
sent1: the pyromorphite is a kind of a chondrichthian if the sailor's-choice is a chondrichthian. sent2: the sailor's-choice is not literate if there is something such that it does not exempt title and cleans Lobotidae. sent3: there is something such that it does not exempt title and it cleans Lobotidae. sent4: that the sailor's-choice is precocious hold. sent5: the pyromorphite does not exempt title. sent6: there is something such that it does clean Lobotidae. sent7: the pyromorphite does exempt apex if it is not a Shoshone. sent8: if the fact that the pyromorphite is not a Shoshone is true then it is not illiterate. sent9: the fact that the pyromorphite is not a kind of a Shoshone is right if there exists something such that it does not exempt apex and is a kind of a literate. sent10: if the framework is not unintelligent it does exempt apex. sent11: that the pyromorphite is not a literate is correct if something that is a kind of a Shoshone exempts apex. sent12: the pyromorphite is not a Shoshone if something is illiterate thing that does exempt apex. sent13: there exists something such that it does not exempt title. sent14: the sailor's-choice is a kind of a literate if the pyromorphite is a kind of a Shoshone. sent15: the tabun does exempt apex if there is something such that it does not exempt title.
void -> assump1: Let's assume that the pyromorphite is a Shoshone.; sent14 & assump1 -> int1: the sailor's-choice is a literate.; sent3 & sent2 -> int2: that the sailor's-choice is not illiterate does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pyromorphite is not a Shoshone.; int4 & sent7 -> hypothesis;
the pyromorphite is a chondrichthian.
sent13 & sent15 -> int5: the tabun does exempt apex.;
$hypothesis$ = that the pyromorphite does not exempt apex hold. ; $context$ = sent1: the pyromorphite is a kind of a chondrichthian if the sailor's-choice is a chondrichthian. sent2: the sailor's-choice is not literate if there is something such that it does not exempt title and cleans Lobotidae. sent3: there is something such that it does not exempt title and it cleans Lobotidae. sent4: that the sailor's-choice is precocious hold. sent5: the pyromorphite does not exempt title. sent6: there is something such that it does clean Lobotidae. sent7: the pyromorphite does exempt apex if it is not a Shoshone. sent8: if the fact that the pyromorphite is not a Shoshone is true then it is not illiterate. sent9: the fact that the pyromorphite is not a kind of a Shoshone is right if there exists something such that it does not exempt apex and is a kind of a literate. sent10: if the framework is not unintelligent it does exempt apex. sent11: that the pyromorphite is not a literate is correct if something that is a kind of a Shoshone exempts apex. sent12: the pyromorphite is not a Shoshone if something is illiterate thing that does exempt apex. sent13: there exists something such that it does not exempt title. sent14: the sailor's-choice is a kind of a literate if the pyromorphite is a kind of a Shoshone. sent15: the tabun does exempt apex if there is something such that it does not exempt title. ; $proof$ = 
void -> assump1: Let's assume that the pyromorphite is a Shoshone.; sent14 & assump1 -> int1: the sailor's-choice is a literate.; sent3 & sent2 -> int2: that the sailor's-choice is not illiterate does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pyromorphite is not a Shoshone.; int4 & sent7 -> hypothesis; __DISPROVED__