the fact that the extending jonah and/or the auroralness occurs does not hold.
sent1: if the sliming VDU occurs the auroralness happens. sent2: the deep occurs. sent3: the sliming VDU occurs if the deep occurs. sent4: if the extending zygote happens then the extending jonah happens and the isomorphousness does not occur. sent5: that not the sliming VDU but the auroralness occurs is triggered by that the extending jonah happens.
sent3 & sent2 -> int1: the sliming VDU occurs.; sent1 & int1 -> int2: the auroralness happens.; int2 -> hypothesis;
the Norwegianness happens.
$hypothesis$ = the fact that the extending jonah and/or the auroralness occurs does not hold. ; $context$ = sent1: if the sliming VDU occurs the auroralness happens. sent2: the deep occurs. sent3: the sliming VDU occurs if the deep occurs. sent4: if the extending zygote happens then the extending jonah happens and the isomorphousness does not occur. sent5: that not the sliming VDU but the auroralness occurs is triggered by that the extending jonah happens. ; $proof$ = 
sent3 & sent2 -> int1: the sliming VDU occurs.; sent1 & int1 -> int2: the auroralness happens.; int2 -> hypothesis; __DISPROVED__