the fact that the warp is not a tubercle and not involuntary does not hold.
sent1: something is both not a tubercle and not involuntary if it is not a dastardliness. sent2: if the anthozoan is not a kind of a dastardliness the fact that the Southeast is a northerly and it is a dastardliness is not right. sent3: if that the Sumerian is a Gwyn but it is not a Asin does not hold then the fact that it is not a kind of a Gwyn is correct. sent4: if the anthozoan is a dastardliness then the Sumerian is a Gwyn. sent5: the fact that the warp is a kind of a Malian is not wrong. sent6: the reverse is not typical if the Southeast is not a dastardliness. sent7: that the sportscaster is not involuntary is not false if the fact that either the anthozoan is involuntary or it is not a Gwyn or both is incorrect. sent8: the warp is both not a clang and a Malian if something is not typical. sent9: that the Sumerian is a Gwyn and is not a kind of a Asin is incorrect. sent10: the fact that something is both not a tubercle and voluntary is not true if it is not invertible. sent11: if the fact that the Southeast is a kind of a northerly and it is a dastardliness is false the reverse is not typical.
void -> assump1: Let's assume that that the anthozoan is a dastardliness is not false.; sent4 & assump1 -> int1: the Sumerian is a Gwyn.; sent3 & sent9 -> int2: the Sumerian is not a Gwyn.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anthozoan is not a dastardliness.; int4 & sent2 -> int5: the fact that the Southeast is a northerly and a dastardliness is false.; int5 & sent11 -> int6: the reverse is not typical.; int6 -> int7: something is not typical.; int7 & sent8 -> int8: the warp is not a clang but it is a kind of a Malian.; sent10 -> int9: that the warp is not a tubercle and it is not involuntary is not true if the fact that it is not invertible is true.;
the warp is not a kind of a tubercle and is not involuntary.
sent1 -> int10: if the warp is not a dastardliness it is both not a tubercle and not involuntary.;
$hypothesis$ = the fact that the warp is not a tubercle and not involuntary does not hold. ; $context$ = sent1: something is both not a tubercle and not involuntary if it is not a dastardliness. sent2: if the anthozoan is not a kind of a dastardliness the fact that the Southeast is a northerly and it is a dastardliness is not right. sent3: if that the Sumerian is a Gwyn but it is not a Asin does not hold then the fact that it is not a kind of a Gwyn is correct. sent4: if the anthozoan is a dastardliness then the Sumerian is a Gwyn. sent5: the fact that the warp is a kind of a Malian is not wrong. sent6: the reverse is not typical if the Southeast is not a dastardliness. sent7: that the sportscaster is not involuntary is not false if the fact that either the anthozoan is involuntary or it is not a Gwyn or both is incorrect. sent8: the warp is both not a clang and a Malian if something is not typical. sent9: that the Sumerian is a Gwyn and is not a kind of a Asin is incorrect. sent10: the fact that something is both not a tubercle and voluntary is not true if it is not invertible. sent11: if the fact that the Southeast is a kind of a northerly and it is a dastardliness is false the reverse is not typical. ; $proof$ = 
void -> assump1: Let's assume that that the anthozoan is a dastardliness is not false.; sent4 & assump1 -> int1: the Sumerian is a Gwyn.; sent3 & sent9 -> int2: the Sumerian is not a Gwyn.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anthozoan is not a dastardliness.; int4 & sent2 -> int5: the fact that the Southeast is a northerly and a dastardliness is false.; int5 & sent11 -> int6: the reverse is not typical.; int6 -> int7: something is not typical.; int7 & sent8 -> int8: the warp is not a clang but it is a kind of a Malian.; sent10 -> int9: that the warp is not a tubercle and it is not involuntary is not true if the fact that it is not invertible is true.; __UNKNOWN__