the fact that the solute is not a kind of a subconsciousness and is not gymnastics is incorrect.
sent1: that the flagship is both not a Corydalidae and a savior does not hold if the crab is not prokaryotic. sent2: that the solute is both a subconsciousness and not gymnastics is not right. sent3: the fact that the solute is not a subconsciousness but gymnastics is not true. sent4: that the redoubt does not pity Cordyline hold if the fact that the flagship is not a Corydalidae but it is a kind of a savior does not hold. sent5: if the flagship is a kind of a Corydalidae the redoubt does not pity Cordyline. sent6: if the fact that the marketplace is not gymnastics hold that the solute is not a subconsciousness and not gymnastics does not hold. sent7: that the solute is a subconsciousness but it is not gymnastics is incorrect if the marketplace is not gymnastics. sent8: if the crab is not prokaryotic that the flagship is a Corydalidae and it is a savior does not hold. sent9: the Sophist is proprietary. sent10: that the solute is not a kind of a subconsciousness and is gymnastics does not hold if the marketplace is not gymnastics. sent11: the crab is mortuary. sent12: if the Sophist is proprietary the redoubt pities Cordyline. sent13: the fact that the flagship is both a Corydalidae and a savior is not right.
void -> assump1: Let's assume that the crab is not prokaryotic.; sent1 & assump1 -> int1: that the flagship is not a Corydalidae but a savior is wrong.; int1 & sent4 -> int2: that the redoubt does not pity Cordyline is not incorrect.; sent12 & sent9 -> int3: the redoubt pities Cordyline.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the crab is prokaryotic.; int5 & sent11 -> int6: the crab is not non-prokaryotic but mortuary.;
$hypothesis$ = the fact that the solute is not a kind of a subconsciousness and is not gymnastics is incorrect. ; $context$ = sent1: that the flagship is both not a Corydalidae and a savior does not hold if the crab is not prokaryotic. sent2: that the solute is both a subconsciousness and not gymnastics is not right. sent3: the fact that the solute is not a subconsciousness but gymnastics is not true. sent4: that the redoubt does not pity Cordyline hold if the fact that the flagship is not a Corydalidae but it is a kind of a savior does not hold. sent5: if the flagship is a kind of a Corydalidae the redoubt does not pity Cordyline. sent6: if the fact that the marketplace is not gymnastics hold that the solute is not a subconsciousness and not gymnastics does not hold. sent7: that the solute is a subconsciousness but it is not gymnastics is incorrect if the marketplace is not gymnastics. sent8: if the crab is not prokaryotic that the flagship is a Corydalidae and it is a savior does not hold. sent9: the Sophist is proprietary. sent10: that the solute is not a kind of a subconsciousness and is gymnastics does not hold if the marketplace is not gymnastics. sent11: the crab is mortuary. sent12: if the Sophist is proprietary the redoubt pities Cordyline. sent13: the fact that the flagship is both a Corydalidae and a savior is not right. ; $proof$ = 
void -> assump1: Let's assume that the crab is not prokaryotic.; sent1 & assump1 -> int1: that the flagship is not a Corydalidae but a savior is wrong.; int1 & sent4 -> int2: that the redoubt does not pity Cordyline is not incorrect.; sent12 & sent9 -> int3: the redoubt pities Cordyline.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the crab is prokaryotic.; int5 & sent11 -> int6: the crab is not non-prokaryotic but mortuary.; __UNKNOWN__