that the clerid is not a sidestroke but it is not unholy if the souse is a kind of a hypertensive does not hold.
sent1: the clerid is a sidestroke that is holy. sent2: if something is not material and it is not a vanilla then it is not holy. sent3: the bailee is not a hypertensive if it is not a directory and not material. sent4: the ATM is not a cytoplast. sent5: the bailee is a kind of a material. sent6: the fact that the copepod is not a floating-moss but it is changeable is right if the ATM is not a directory. sent7: the souse is not hypertensive if the bailee is a directory. sent8: if the copepod is not holy then the clerid is not a sidestroke but holy. sent9: if the ATM is not a cocoon then the bailee is a directory. sent10: if the fact that the copepod is not a material and it is not vanilla is false the ATM is not a kind of a cocoon.
void -> assump1: Let's assume that the fact that the copepod is both not material and not a vanilla is incorrect.; sent10 & assump1 -> int1: the ATM is not a cocoon.; int1 & sent9 -> int2: the bailee is a directory.; int2 & sent7 -> int3: the souse is not a kind of a hypertensive.; void -> assump2: Let's assume that the souse is a kind of a hypertensive.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the copepod is not a kind of a material and it is not vanilla.; sent2 -> int6: if the copepod is not material and not vanilla then it is not holy.; int5 & int6 -> int7: the copepod is not holy.; int7 & sent8 -> int8: the clerid is both not a sidestroke and holy.; [assump2] & int8 -> hypothesis;
the copepod is both not a floating-moss and changeable.
$hypothesis$ = that the clerid is not a sidestroke but it is not unholy if the souse is a kind of a hypertensive does not hold. ; $context$ = sent1: the clerid is a sidestroke that is holy. sent2: if something is not material and it is not a vanilla then it is not holy. sent3: the bailee is not a hypertensive if it is not a directory and not material. sent4: the ATM is not a cytoplast. sent5: the bailee is a kind of a material. sent6: the fact that the copepod is not a floating-moss but it is changeable is right if the ATM is not a directory. sent7: the souse is not hypertensive if the bailee is a directory. sent8: if the copepod is not holy then the clerid is not a sidestroke but holy. sent9: if the ATM is not a cocoon then the bailee is a directory. sent10: if the fact that the copepod is not a material and it is not vanilla is false the ATM is not a kind of a cocoon. ; $proof$ = 
void -> assump1: Let's assume that the fact that the copepod is both not material and not a vanilla is incorrect.; sent10 & assump1 -> int1: the ATM is not a cocoon.; int1 & sent9 -> int2: the bailee is a directory.; int2 & sent7 -> int3: the souse is not a kind of a hypertensive.; void -> assump2: Let's assume that the souse is a kind of a hypertensive.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the copepod is not a kind of a material and it is not vanilla.; sent2 -> int6: if the copepod is not material and not vanilla then it is not holy.; int5 & int6 -> int7: the copepod is not holy.; int7 & sent8 -> int8: the clerid is both not a sidestroke and holy.; [assump2] & int8 -> hypothesis; __DISPROVED__