there is something such that it is not a cart.
sent1: something that is a manse and is not a kind of a cart squires Cestum. sent2: if the mezereum is undescriptive and is a kind of a manse it is fishy. sent3: the sheepskin is not dysphoric. sent4: the kowhai does not squire Cestum. sent5: The Cestum squires mezereum. sent6: if a undescriptive thing is not a manse it is fishy. sent7: the mezereum is not a cart if it is fishy thing that squires Cestum. sent8: if the Arcadian is not a manse the mezereum is a manse and is not undescriptive. sent9: the sheepskin is dysphoric if the Arcadian is undescriptive. sent10: if that something is a cart and not fishy is not wrong it is dysphoric. sent11: if that the Arcadian is not undescriptive is not wrong then the mezereum is undescriptive but not a manse. sent12: the mezereum squires Cestum. sent13: the Arcadian is fishy. sent14: the mezereum is not a manse if the Arcadian is not undescriptive.
void -> assump1: Let's assume that the Arcadian is undescriptive.; sent9 & assump1 -> int1: that the sheepskin is dysphoric is correct.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Arcadian is not undescriptive.; int3 & sent11 -> int4: the mezereum is undescriptive but it is not a manse.; sent6 -> int5: if the mezereum is undescriptive but it is not a manse then it is fishy.; int4 & int5 -> int6: the fact that the mezereum is fishy is not wrong.; int6 & sent12 -> int7: the mezereum is fishy and it squires Cestum.; int7 & sent7 -> int8: the mezereum is not a cart.; int8 -> hypothesis;
$hypothesis$ = there is something such that it is not a cart. ; $context$ = sent1: something that is a manse and is not a kind of a cart squires Cestum. sent2: if the mezereum is undescriptive and is a kind of a manse it is fishy. sent3: the sheepskin is not dysphoric. sent4: the kowhai does not squire Cestum. sent5: The Cestum squires mezereum. sent6: if a undescriptive thing is not a manse it is fishy. sent7: the mezereum is not a cart if it is fishy thing that squires Cestum. sent8: if the Arcadian is not a manse the mezereum is a manse and is not undescriptive. sent9: the sheepskin is dysphoric if the Arcadian is undescriptive. sent10: if that something is a cart and not fishy is not wrong it is dysphoric. sent11: if that the Arcadian is not undescriptive is not wrong then the mezereum is undescriptive but not a manse. sent12: the mezereum squires Cestum. sent13: the Arcadian is fishy. sent14: the mezereum is not a manse if the Arcadian is not undescriptive. ; $proof$ = 
void -> assump1: Let's assume that the Arcadian is undescriptive.; sent9 & assump1 -> int1: that the sheepskin is dysphoric is correct.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Arcadian is not undescriptive.; int3 & sent11 -> int4: the mezereum is undescriptive but it is not a manse.; sent6 -> int5: if the mezereum is undescriptive but it is not a manse then it is fishy.; int4 & int5 -> int6: the fact that the mezereum is fishy is not wrong.; int6 & sent12 -> int7: the mezereum is fishy and it squires Cestum.; int7 & sent7 -> int8: the mezereum is not a cart.; int8 -> hypothesis; __PROVED__