the diver is not voluble.
sent1: the fact that the diver does foal Sabbath is right. sent2: something does not disharmonize and is not a Nepeta if it is not a latter. sent3: if the diver does foal Sabbath it is aphoristic. sent4: the clip-on foals Sabbath. sent5: something does not foal Sabbath if it does not disharmonize and it is not a Nepeta. sent6: if the river is not a latter then the diver is not a latter. sent7: The fact that the Sabbath does foal diver is right. sent8: the diver is not aphoristic if it is voluble.
void -> assump1: Let's assume that the diver is voluble.; sent8 & assump1 -> int1: the diver is not aphoristic.; sent3 & sent1 -> int2: the fact that the diver is not aphoristic does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the diver is voluble.
sent5 -> int4: the diver does not foal Sabbath if it does not disharmonize and it is not a Nepeta.; sent2 -> int5: if the diver is not latter it does not disharmonize and it is not a kind of a Nepeta.;
$hypothesis$ = the diver is not voluble. ; $context$ = sent1: the fact that the diver does foal Sabbath is right. sent2: something does not disharmonize and is not a Nepeta if it is not a latter. sent3: if the diver does foal Sabbath it is aphoristic. sent4: the clip-on foals Sabbath. sent5: something does not foal Sabbath if it does not disharmonize and it is not a Nepeta. sent6: if the river is not a latter then the diver is not a latter. sent7: The fact that the Sabbath does foal diver is right. sent8: the diver is not aphoristic if it is voluble. ; $proof$ = 
void -> assump1: Let's assume that the diver is voluble.; sent8 & assump1 -> int1: the diver is not aphoristic.; sent3 & sent1 -> int2: the fact that the diver is not aphoristic does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__