there exists something such that if the fact that it is a Kivu is true then it is unholy thing that is not a kind of a palladium.
sent1: if that the canyon is a kind of a countersignature that is a A'man is not true it is not ammonitic. sent2: the canyon is both unholy and a palladium. sent3: the blindworm is a palladium. sent4: the lexicographer does not prioritize if the tuberosity prioritize but it is not a kind of a Kivu. sent5: the canyon is not holy and it is a palladium if it is a Kivu. sent6: there is something such that if it is a kind of a Kivu then it is not a palladium. sent7: the heartsease is not unholy. sent8: the canyon is a kind of a platyctenean that is not a nosepiece if that it recreates is correct. sent9: the downpour is not a countersignature. sent10: if that the canyon is unholy but not a palladium is not correct then it is not a Kivu. sent11: there exists something such that if it is a Kivu then it is unholy and is a palladium.
void -> assump1: Let's assume that the fact that the canyon is unholy but it is not a kind of a palladium does not hold.; sent10 & assump1 -> int1: the canyon is not a Kivu.; void -> assump2: Let's assume that the canyon is a kind of a Kivu.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the canyon is unholy but it is not a kind of a palladium.; [assump2] & int3 -> int4: the canyon is unholy but it is not a kind of a palladium if it is a Kivu.; int4 -> hypothesis;
the canyon is not a kind of a worse.
$hypothesis$ = there exists something such that if the fact that it is a Kivu is true then it is unholy thing that is not a kind of a palladium. ; $context$ = sent1: if that the canyon is a kind of a countersignature that is a A'man is not true it is not ammonitic. sent2: the canyon is both unholy and a palladium. sent3: the blindworm is a palladium. sent4: the lexicographer does not prioritize if the tuberosity prioritize but it is not a kind of a Kivu. sent5: the canyon is not holy and it is a palladium if it is a Kivu. sent6: there is something such that if it is a kind of a Kivu then it is not a palladium. sent7: the heartsease is not unholy. sent8: the canyon is a kind of a platyctenean that is not a nosepiece if that it recreates is correct. sent9: the downpour is not a countersignature. sent10: if that the canyon is unholy but not a palladium is not correct then it is not a Kivu. sent11: there exists something such that if it is a Kivu then it is unholy and is a palladium. ; $proof$ = 
void -> assump1: Let's assume that the fact that the canyon is unholy but it is not a kind of a palladium does not hold.; sent10 & assump1 -> int1: the canyon is not a Kivu.; void -> assump2: Let's assume that the canyon is a kind of a Kivu.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the canyon is unholy but it is not a kind of a palladium.; [assump2] & int3 -> int4: the canyon is unholy but it is not a kind of a palladium if it is a Kivu.; int4 -> hypothesis; __PROVED__