the Karelian is not apocrine.
sent1: the Karelian is a kind of a SC. sent2: something is not a SC and is an irredentism. sent3: the creeps does not indurate netball if somethings are not a SC and is not an irredentism. sent4: the Karelian does not spurt toddy if that it is not apocrine and is not a kind of a SC is not right. sent5: the Mexican is a combat. sent6: there exists something such that it is not an irredentism. sent7: the Karelian is reverberant but not a beech. sent8: there exists something such that it is a kind of a SC and it is not an irredentism. sent9: if the fact that the Karelian is unreverberant and it is not a kind of a SC is false it does not indurate netball. sent10: the Mexican is not an irredentism and it does not indurate netball. sent11: the Mexican is a kind of a beech. sent12: the Mexican is not unfavorable or is not a kind of a masculinity or both if it is a combat. sent13: there exists something such that it does not indurate netball and it does spurt toddy. sent14: if the Mexican is a kind of a beech it spurts toddy. sent15: if the fact that the creeps is both not reverberant and not an irredentism is not true then it does not indurate netball. sent16: there is something such that it is not a beech. sent17: if the fact that the Mexican is not a kind of a SC and it is not an irredentism is not right then it does not spurt toddy. sent18: there is something such that it is reverberant and it is not apocrine. sent19: if the creeps does not indurate netball then the Karelian is reverberant but not apocrine.
void -> assump1: Let's assume that that the Mexican is not a kind of a SC and is not an irredentism does not hold.; sent17 & assump1 -> int1: the Mexican does not spurt toddy.; sent14 & sent11 -> int2: the Mexican spurts toddy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Mexican is not a SC and it is not an irredentism.; int4 -> int5: there exists something such that it is not a kind of a SC and it is not an irredentism.; int5 & sent3 -> int6: the creeps does not indurate netball.; int6 & sent19 -> int7: the Karelian is reverberant but it is not apocrine.; int7 -> hypothesis;
that the Karelian is apocrine is not wrong.
sent12 & sent5 -> int8: the Mexican is not unfavorable and/or it is not a masculinity.; int8 -> int9: there is something such that it is not unfavorable and/or it is not a masculinity.;
$hypothesis$ = the Karelian is not apocrine. ; $context$ = sent1: the Karelian is a kind of a SC. sent2: something is not a SC and is an irredentism. sent3: the creeps does not indurate netball if somethings are not a SC and is not an irredentism. sent4: the Karelian does not spurt toddy if that it is not apocrine and is not a kind of a SC is not right. sent5: the Mexican is a combat. sent6: there exists something such that it is not an irredentism. sent7: the Karelian is reverberant but not a beech. sent8: there exists something such that it is a kind of a SC and it is not an irredentism. sent9: if the fact that the Karelian is unreverberant and it is not a kind of a SC is false it does not indurate netball. sent10: the Mexican is not an irredentism and it does not indurate netball. sent11: the Mexican is a kind of a beech. sent12: the Mexican is not unfavorable or is not a kind of a masculinity or both if it is a combat. sent13: there exists something such that it does not indurate netball and it does spurt toddy. sent14: if the Mexican is a kind of a beech it spurts toddy. sent15: if the fact that the creeps is both not reverberant and not an irredentism is not true then it does not indurate netball. sent16: there is something such that it is not a beech. sent17: if the fact that the Mexican is not a kind of a SC and it is not an irredentism is not right then it does not spurt toddy. sent18: there is something such that it is reverberant and it is not apocrine. sent19: if the creeps does not indurate netball then the Karelian is reverberant but not apocrine. ; $proof$ = 
void -> assump1: Let's assume that that the Mexican is not a kind of a SC and is not an irredentism does not hold.; sent17 & assump1 -> int1: the Mexican does not spurt toddy.; sent14 & sent11 -> int2: the Mexican spurts toddy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Mexican is not a SC and it is not an irredentism.; int4 -> int5: there exists something such that it is not a kind of a SC and it is not an irredentism.; int5 & sent3 -> int6: the creeps does not indurate netball.; int6 & sent19 -> int7: the Karelian is reverberant but it is not apocrine.; int7 -> hypothesis; __PROVED__