the metic is not Thoreauvian if the Theban is not a kind of a Altaic.
sent1: the fact that the ejector is Thoreauvian is not incorrect if that the metic is not a Altaic and is not a white does not hold. sent2: the metic is a meltwater. sent3: that the ejector is not a kind of a Altaic but it is a kind of a meltwater is not correct if the Theban is not Thoreauvian. sent4: the metic is not Thoreauvian if that the ejector is not a meltwater and it is not a white does not hold. sent5: that the Theban is both non-white and not Thoreauvian is false if the metic is not a Altaic. sent6: the ejector is not a Altaic if the Theban is not a meltwater. sent7: if the Theban is not a white then the ejector is Altaic. sent8: the daughter-in-law is a kind of a meltwater. sent9: the Theban is a meltwater if that the ejector is not a white and it is not a kind of a Altaic does not hold. sent10: if that that the ejector is both not a Altaic and not a white is not correct is correct then the Theban is Thoreauvian. sent11: the Theban is not a laughing. sent12: if that the metic is not Thoreauvian and not a meltwater is not true then the ejector is not Altaic. sent13: if the Theban is not Altaic then the fact that the ejector is not a meltwater and it is not a white does not hold. sent14: the metic is not a white.
void -> assump1: Let's assume that the Theban is not a Altaic.; sent13 & assump1 -> int1: the fact that the ejector is not a kind of a meltwater and is not a kind of a white is not right.; sent4 & int1 -> int2: the metic is not Thoreauvian.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the metic is not Thoreauvian if the Theban is not a kind of a Altaic. ; $context$ = sent1: the fact that the ejector is Thoreauvian is not incorrect if that the metic is not a Altaic and is not a white does not hold. sent2: the metic is a meltwater. sent3: that the ejector is not a kind of a Altaic but it is a kind of a meltwater is not correct if the Theban is not Thoreauvian. sent4: the metic is not Thoreauvian if that the ejector is not a meltwater and it is not a white does not hold. sent5: that the Theban is both non-white and not Thoreauvian is false if the metic is not a Altaic. sent6: the ejector is not a Altaic if the Theban is not a meltwater. sent7: if the Theban is not a white then the ejector is Altaic. sent8: the daughter-in-law is a kind of a meltwater. sent9: the Theban is a meltwater if that the ejector is not a white and it is not a kind of a Altaic does not hold. sent10: if that that the ejector is both not a Altaic and not a white is not correct is correct then the Theban is Thoreauvian. sent11: the Theban is not a laughing. sent12: if that the metic is not Thoreauvian and not a meltwater is not true then the ejector is not Altaic. sent13: if the Theban is not Altaic then the fact that the ejector is not a meltwater and it is not a white does not hold. sent14: the metic is not a white. ; $proof$ = 
void -> assump1: Let's assume that the Theban is not a Altaic.; sent13 & assump1 -> int1: the fact that the ejector is not a kind of a meltwater and is not a kind of a white is not right.; sent4 & int1 -> int2: the metic is not Thoreauvian.; [assump1] & int2 -> hypothesis; __PROVED__