that the indignity happens if the send-off happens is false.
sent1: the stifling sacrum happens if the nonterritorialness does not occur. sent2: the send-off does not occur and the bloomers does not occur if the extension happens. sent3: if the extension happens the send-off but not the bloomers happens. sent4: if the stifling pakchoi does not occur the eulogizing mycologist occurs and the spectrometricness happens. sent5: the stride happens and the indignity happens if the extension does not occur.
void -> assump2: Let's assume that the send-off occurs.; void -> assump1: Let's assume that the extension happens.; sent2 & assump1 -> int1: the send-off does not occur and the bloomers does not occur.; int1 -> int2: the send-off does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the extension does not occur.; sent5 & int4 -> int5: the stride and the indignity occurs.; int5 -> int6: the indignity happens.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that the indignity happens if the send-off happens is false. ; $context$ = sent1: the stifling sacrum happens if the nonterritorialness does not occur. sent2: the send-off does not occur and the bloomers does not occur if the extension happens. sent3: if the extension happens the send-off but not the bloomers happens. sent4: if the stifling pakchoi does not occur the eulogizing mycologist occurs and the spectrometricness happens. sent5: the stride happens and the indignity happens if the extension does not occur. ; $proof$ = 
void -> assump2: Let's assume that the send-off occurs.; void -> assump1: Let's assume that the extension happens.; sent2 & assump1 -> int1: the send-off does not occur and the bloomers does not occur.; int1 -> int2: the send-off does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the extension does not occur.; sent5 & int4 -> int5: the stride and the indignity occurs.; int5 -> int6: the indignity happens.; [assump2] & int6 -> hypothesis; __DISPROVED__