that there is something such that that it is not a kind of a die and it is sphingine is wrong is false.
sent1: if something is not a satrap then that it is not a Sus but sublunar does not hold. sent2: that the tasset does not outnumber Liverpudlian is correct if it is a kind of a die and is sphingine. sent3: the trypsinogen is not a kind of a Steinem. sent4: if the trypsinogen is not a Steinem it does not reorient assistant and it is a Cornish. sent5: if the tasset does not outnumber Liverpudlian that the assistant outnumbers eschatology and it is a kind of a satrap is not correct. sent6: the Speaker is not neuroanatomic if the assistant is not a Steinem or Cornish or both. sent7: the tasset is not a satrap if that the assistant does not outnumber eschatology and is a satrap does not hold. sent8: the tasset does not outnumber Liverpudlian if it is both not a die and sphingine. sent9: that the assistant does not reorient assistant is not wrong if that it outnumbers eschatology and is a satrap is not correct. sent10: the Speaker is neuroanatomic. sent11: either the assistant is not a Steinem or it is Cornish or both if that it does not reorient assistant is not wrong.
void -> assump1: Let's assume that the fact that the tasset does not die but it is sphingine is right.; sent8 & assump1 -> int1: the tasset does not outnumber Liverpudlian.; int1 & sent5 -> int2: the fact that the assistant does outnumber eschatology and is a satrap does not hold.; int2 & sent9 -> int3: the assistant does not reorient assistant.; int3 & sent11 -> int4: the assistant is either not a Steinem or a Cornish or both.; int4 & sent6 -> int5: the Speaker is non-neuroanatomic.; int5 & sent10 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the tasset is not a die but it is sphingine does not hold.; int7 -> hypothesis;
there exists something such that that it is not a Sus and is sublunar is not true.
sent1 -> int8: that the tasset is not a Sus but it is sublunar does not hold if it is not a kind of a satrap.; sent4 & sent3 -> int9: the trypsinogen does not reorient assistant and is Cornish.; int9 -> int10: something does not reorient assistant but it is Cornish.;
$hypothesis$ = that there is something such that that it is not a kind of a die and it is sphingine is wrong is false. ; $context$ = sent1: if something is not a satrap then that it is not a Sus but sublunar does not hold. sent2: that the tasset does not outnumber Liverpudlian is correct if it is a kind of a die and is sphingine. sent3: the trypsinogen is not a kind of a Steinem. sent4: if the trypsinogen is not a Steinem it does not reorient assistant and it is a Cornish. sent5: if the tasset does not outnumber Liverpudlian that the assistant outnumbers eschatology and it is a kind of a satrap is not correct. sent6: the Speaker is not neuroanatomic if the assistant is not a Steinem or Cornish or both. sent7: the tasset is not a satrap if that the assistant does not outnumber eschatology and is a satrap does not hold. sent8: the tasset does not outnumber Liverpudlian if it is both not a die and sphingine. sent9: that the assistant does not reorient assistant is not wrong if that it outnumbers eschatology and is a satrap is not correct. sent10: the Speaker is neuroanatomic. sent11: either the assistant is not a Steinem or it is Cornish or both if that it does not reorient assistant is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tasset does not die but it is sphingine is right.; sent8 & assump1 -> int1: the tasset does not outnumber Liverpudlian.; int1 & sent5 -> int2: the fact that the assistant does outnumber eschatology and is a satrap does not hold.; int2 & sent9 -> int3: the assistant does not reorient assistant.; int3 & sent11 -> int4: the assistant is either not a Steinem or a Cornish or both.; int4 & sent6 -> int5: the Speaker is non-neuroanatomic.; int5 & sent10 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the tasset is not a die but it is sphingine does not hold.; int7 -> hypothesis; __DISPROVED__