the fact that the motley does not stoke Tanoan and is chimeric is not true.
sent1: that the motley counts Mangifera is right if it does not stoke Tanoan and it is chimeric. sent2: something stumbles autodidact and it is a dolichocephalic if it does not count Mangifera. sent3: that the motley stokes Tanoan and is chimeric does not hold. sent4: the landlubber is not non-dolichocephalic. sent5: if something stumbles incapability then that it does count Mangifera and it is not a Sudanese does not hold. sent6: the nugget is not a rarebit if there is something such that the fact that it is not a kind of a alumroot is right. sent7: if the landlubber is a kind of a dolichocephalic then it is not a alumroot. sent8: the fact that something stumbles autodidact but it does not count Mangifera is not correct if it is a kind of a Sudanese. sent9: the fact that something stumbles incapability if it is a Sudanese is right. sent10: there exists something such that it is not an immune. sent11: the nugget is a rarebit if the tortoiseshell does stumble incapability. sent12: the tortoiseshell is a Sudanese if the motley does count Mangifera or it does not stumble autodidact or both. sent13: if the tortoiseshell is a rarebit then the motley stumbles incapability and is not a kind of a alumroot. sent14: the annoyance stumbles incapability if the motley does stumbles incapability but it is not a alumroot.
void -> assump1: Let's assume that the motley does not stoke Tanoan but it is not non-chimeric.; sent1 & assump1 -> int1: the motley counts Mangifera.; int1 -> int2: either the motley counts Mangifera or it does not stumble autodidact or both.; int2 & sent12 -> int3: the tortoiseshell is Sudanese.; sent9 -> int4: the tortoiseshell does stumble incapability if it is Sudanese.; int3 & int4 -> int5: the tortoiseshell does stumble incapability.; int5 & sent11 -> int6: the nugget is a kind of a rarebit.; sent7 & sent4 -> int7: the landlubber is not a alumroot.; int7 -> int8: something is not a alumroot.; int8 & sent6 -> int9: the nugget is not a rarebit.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the motley does not stoke Tanoan but it is not non-chimeric.
sent8 -> int11: if the nugget is a kind of a Sudanese the fact that it does stumble autodidact and it does not count Mangifera is not right.;
$hypothesis$ = the fact that the motley does not stoke Tanoan and is chimeric is not true. ; $context$ = sent1: that the motley counts Mangifera is right if it does not stoke Tanoan and it is chimeric. sent2: something stumbles autodidact and it is a dolichocephalic if it does not count Mangifera. sent3: that the motley stokes Tanoan and is chimeric does not hold. sent4: the landlubber is not non-dolichocephalic. sent5: if something stumbles incapability then that it does count Mangifera and it is not a Sudanese does not hold. sent6: the nugget is not a rarebit if there is something such that the fact that it is not a kind of a alumroot is right. sent7: if the landlubber is a kind of a dolichocephalic then it is not a alumroot. sent8: the fact that something stumbles autodidact but it does not count Mangifera is not correct if it is a kind of a Sudanese. sent9: the fact that something stumbles incapability if it is a Sudanese is right. sent10: there exists something such that it is not an immune. sent11: the nugget is a rarebit if the tortoiseshell does stumble incapability. sent12: the tortoiseshell is a Sudanese if the motley does count Mangifera or it does not stumble autodidact or both. sent13: if the tortoiseshell is a rarebit then the motley stumbles incapability and is not a kind of a alumroot. sent14: the annoyance stumbles incapability if the motley does stumbles incapability but it is not a alumroot. ; $proof$ = 
void -> assump1: Let's assume that the motley does not stoke Tanoan but it is not non-chimeric.; sent1 & assump1 -> int1: the motley counts Mangifera.; int1 -> int2: either the motley counts Mangifera or it does not stumble autodidact or both.; int2 & sent12 -> int3: the tortoiseshell is Sudanese.; sent9 -> int4: the tortoiseshell does stumble incapability if it is Sudanese.; int3 & int4 -> int5: the tortoiseshell does stumble incapability.; int5 & sent11 -> int6: the nugget is a kind of a rarebit.; sent7 & sent4 -> int7: the landlubber is not a alumroot.; int7 -> int8: something is not a alumroot.; int8 & sent6 -> int9: the nugget is not a rarebit.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__