the cripple is not a kind of a Auvergne.
sent1: that if something is not a savoy that it is not a quattrocento and is not a kind of a grimace does not hold hold. sent2: the roentgenium is not a draft. sent3: the fact that something is not a draft is not wrong if that it is not a kind of a quattrocento and does not grimace is false. sent4: that the cripple is a Shapley but it is not insurrectional is false. sent5: the roentgenium is insurrectional. sent6: there is something such that it is a Shapley and is non-insurrectional. sent7: the roentgenium does escape if there exists something such that it is not a Shapley and is not non-insurrectional. sent8: something does kidnap cripple and it does dazzle. sent9: the roentgenium is not a kind of an escape and it is not a draft. sent10: if there exists something such that it is not a Shapley and it is not insurrectional then the roentgenium escapes. sent11: something is non-insurrectional. sent12: the fact that the cripple is both not a Shapley and insurrectional is not correct. sent13: if the fact that something is not a Shapley and it is not insurrectional is false then it is not a kind of a Auvergne. sent14: that the cripple is not a kind of a savoy hold if the roentgenium is not a kind of a savoy.
void -> assump1: Let's assume that the cripple is not a Shapley and is not insurrectional.; assump1 -> int1: there exists something such that it is both not a Shapley and non-insurrectional.; int1 & sent10 -> int2: the fact that the roentgenium is an escape is true.; sent9 -> int3: the roentgenium does not escape.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the cripple is not a kind of a Shapley and it is not insurrectional is wrong.; sent13 -> int6: that the cripple is not a Auvergne is true if the fact that it is not a Shapley and is not insurrectional is not true.; int5 & int6 -> hypothesis;
the fact that the cripple is a kind of a Auvergne is correct.
sent3 -> int7: if that the cripple is not a kind of a quattrocento and it is not a grimace is not right then it is not a kind of a draft.; sent1 -> int8: the fact that the cripple is not a quattrocento and it does not grimace is not true if it is not a savoy.;
$hypothesis$ = the cripple is not a kind of a Auvergne. ; $context$ = sent1: that if something is not a savoy that it is not a quattrocento and is not a kind of a grimace does not hold hold. sent2: the roentgenium is not a draft. sent3: the fact that something is not a draft is not wrong if that it is not a kind of a quattrocento and does not grimace is false. sent4: that the cripple is a Shapley but it is not insurrectional is false. sent5: the roentgenium is insurrectional. sent6: there is something such that it is a Shapley and is non-insurrectional. sent7: the roentgenium does escape if there exists something such that it is not a Shapley and is not non-insurrectional. sent8: something does kidnap cripple and it does dazzle. sent9: the roentgenium is not a kind of an escape and it is not a draft. sent10: if there exists something such that it is not a Shapley and it is not insurrectional then the roentgenium escapes. sent11: something is non-insurrectional. sent12: the fact that the cripple is both not a Shapley and insurrectional is not correct. sent13: if the fact that something is not a Shapley and it is not insurrectional is false then it is not a kind of a Auvergne. sent14: that the cripple is not a kind of a savoy hold if the roentgenium is not a kind of a savoy. ; $proof$ = 
void -> assump1: Let's assume that the cripple is not a Shapley and is not insurrectional.; assump1 -> int1: there exists something such that it is both not a Shapley and non-insurrectional.; int1 & sent10 -> int2: the fact that the roentgenium is an escape is true.; sent9 -> int3: the roentgenium does not escape.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the cripple is not a kind of a Shapley and it is not insurrectional is wrong.; sent13 -> int6: that the cripple is not a Auvergne is true if the fact that it is not a Shapley and is not insurrectional is not true.; int5 & int6 -> hypothesis; __PROVED__