the Psalter is both not subclavian and not convergent.
sent1: the hierarch does not furlough Hesperus and/or does not debut Psalter. sent2: if the hierarch does not debut Psalter the canvasback does not swallow. sent3: the canvasback does not swallow if the hierarch does not furlough Hesperus. sent4: if the Psalter is non-subclavian thing that is not convergent then the canvasback does swallow.
void -> assump1: Let's assume that the Psalter is not subclavian and not convergent.; sent4 & assump1 -> int1: the canvasback swallows.; sent1 & sent3 & sent2 -> int2: the canvasback is not a swallow.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the Psalter is both not subclavian and not convergent. ; $context$ = sent1: the hierarch does not furlough Hesperus and/or does not debut Psalter. sent2: if the hierarch does not debut Psalter the canvasback does not swallow. sent3: the canvasback does not swallow if the hierarch does not furlough Hesperus. sent4: if the Psalter is non-subclavian thing that is not convergent then the canvasback does swallow. ; $proof$ = 
void -> assump1: Let's assume that the Psalter is not subclavian and not convergent.; sent4 & assump1 -> int1: the canvasback swallows.; sent1 & sent3 & sent2 -> int2: the canvasback is not a swallow.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__