the fact that that the litterer is nasopharyngeal is not wrong if that the kniphofia dangles is right is false.
sent1: the litterer is both a mug and not unpardonable if the kniphofia does dangle. sent2: a mug that is not unpardonable is not non-nasopharyngeal.
void -> assump1: Let's assume that the kniphofia dangles.; sent1 & assump1 -> int1: the litterer is a mug but it is not unpardonable.; sent2 -> int2: the litterer is nasopharyngeal if it is a kind of a mug that is not unpardonable.; int1 & int2 -> int3: the litterer is nasopharyngeal.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that that the litterer is nasopharyngeal is not wrong if that the kniphofia dangles is right is false. ; $context$ = sent1: the litterer is both a mug and not unpardonable if the kniphofia does dangle. sent2: a mug that is not unpardonable is not non-nasopharyngeal. ; $proof$ = 
void -> assump1: Let's assume that the kniphofia dangles.; sent1 & assump1 -> int1: the litterer is a mug but it is not unpardonable.; sent2 -> int2: the litterer is nasopharyngeal if it is a kind of a mug that is not unpardonable.; int1 & int2 -> int3: the litterer is nasopharyngeal.; [assump1] & int3 -> hypothesis; __DISPROVED__