the souse is not a diploid.
sent1: if the fact that the souse does exempt molehill and/or it is a kind of a Spirulidae is not right it is not a keloid. sent2: something is diploid if the fact that it is not a Natchez is not false. sent3: the souse is a kind of a Cuculus if it does not gee. sent4: the souse does not consist. sent5: the fact that if that the souse is not photoelectric and it does not exempt security is wrong the souse does clean diamine is not wrong. sent6: that either the souse consists or it is a Spirulidae or both is incorrect. sent7: if a non-plumbic thing is a Natchez then it is not an ecologist. sent8: the souse is not plumbic if the fact that either it consists or it is a Spirulidae or both is not right. sent9: the fact that that the souse is a kind of non-photoelectric thing that does not exempt security is true is not right. sent10: if the souse cleans diamine it is an ecologist.
sent8 & sent6 -> int1: the fact that the souse is not plumbic is not incorrect.; void -> assump1: Let's assume that the souse is a Natchez.; int1 & assump1 -> int2: the souse is a kind of non-plumbic a Natchez.; sent7 -> int3: if the souse is not plumbic but it is a kind of a Natchez then it is not an ecologist.; int2 & int3 -> int4: the souse is not a kind of an ecologist.; sent5 & sent9 -> int5: the souse does clean diamine.; sent10 & int5 -> int6: the souse is an ecologist.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the souse is not a Natchez.; sent2 -> int9: if the souse is not a kind of a Natchez then it is a diploid.; int8 & int9 -> hypothesis;
$hypothesis$ = the souse is not a diploid. ; $context$ = sent1: if the fact that the souse does exempt molehill and/or it is a kind of a Spirulidae is not right it is not a keloid. sent2: something is diploid if the fact that it is not a Natchez is not false. sent3: the souse is a kind of a Cuculus if it does not gee. sent4: the souse does not consist. sent5: the fact that if that the souse is not photoelectric and it does not exempt security is wrong the souse does clean diamine is not wrong. sent6: that either the souse consists or it is a Spirulidae or both is incorrect. sent7: if a non-plumbic thing is a Natchez then it is not an ecologist. sent8: the souse is not plumbic if the fact that either it consists or it is a Spirulidae or both is not right. sent9: the fact that that the souse is a kind of non-photoelectric thing that does not exempt security is true is not right. sent10: if the souse cleans diamine it is an ecologist. ; $proof$ = 
sent8 & sent6 -> int1: the fact that the souse is not plumbic is not incorrect.; void -> assump1: Let's assume that the souse is a Natchez.; int1 & assump1 -> int2: the souse is a kind of non-plumbic a Natchez.; sent7 -> int3: if the souse is not plumbic but it is a kind of a Natchez then it is not an ecologist.; int2 & int3 -> int4: the souse is not a kind of an ecologist.; sent5 & sent9 -> int5: the souse does clean diamine.; sent10 & int5 -> int6: the souse is an ecologist.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the souse is not a Natchez.; sent2 -> int9: if the souse is not a kind of a Natchez then it is a diploid.; int8 & int9 -> hypothesis; __DISPROVED__