that the muttonfish does not dive revolutionism is correct.
sent1: the reovirus is karyokinetic and not stale if the muttonfish dives revolutionism. sent2: the reovirus is karyokinetic if that the muttonfish dives revolutionism is not wrong. sent3: the reovirus is karyokinetic. sent4: the fact that the reovirus is karyokinetic but it does not stale is not true.
void -> assump1: Let's assume that the muttonfish does dive revolutionism.; sent1 & assump1 -> int1: the reovirus is karyokinetic but it does not stale.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the muttonfish does not dive revolutionism is correct. ; $context$ = sent1: the reovirus is karyokinetic and not stale if the muttonfish dives revolutionism. sent2: the reovirus is karyokinetic if that the muttonfish dives revolutionism is not wrong. sent3: the reovirus is karyokinetic. sent4: the fact that the reovirus is karyokinetic but it does not stale is not true. ; $proof$ = 
void -> assump1: Let's assume that the muttonfish does dive revolutionism.; sent1 & assump1 -> int1: the reovirus is karyokinetic but it does not stale.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__