that the sensualizing proctorship does not occur and the departing happens is not true.
sent1: that both the encephalography and the autopsy occurs is incorrect. sent2: that either the bawling Penobscot or the non-dynasticness or both occurs yields that the departing occurs. sent3: the sensualizing proctorship does not occur if the blastemalness does not occur. sent4: if that the encephalography occurs and the autopsying happens does not hold the blastemalness does not occur. sent5: the bawling Penobscot and/or the non-dynasticness happens.
sent4 & sent1 -> int1: that the blastemalness does not occur is not wrong.; int1 & sent3 -> int2: the sensualizing proctorship does not occur.; sent2 & sent5 -> int3: the departing occurs.; int2 & int3 -> hypothesis;
$hypothesis$ = that the sensualizing proctorship does not occur and the departing happens is not true. ; $context$ = sent1: that both the encephalography and the autopsy occurs is incorrect. sent2: that either the bawling Penobscot or the non-dynasticness or both occurs yields that the departing occurs. sent3: the sensualizing proctorship does not occur if the blastemalness does not occur. sent4: if that the encephalography occurs and the autopsying happens does not hold the blastemalness does not occur. sent5: the bawling Penobscot and/or the non-dynasticness happens. ; $proof$ = 
sent4 & sent1 -> int1: that the blastemalness does not occur is not wrong.; int1 & sent3 -> int2: the sensualizing proctorship does not occur.; sent2 & sent5 -> int3: the departing occurs.; int2 & int3 -> hypothesis; __DISPROVED__