the fact that the fact that the bilges but not the enlightening occurs is wrong if the prolateness occurs is false.
sent1: that the bilging but not the enlightening happens does not hold if the thunder does not occur. sent2: if the Frenching Sempatch does not occur the dedication but not the hopper occurs. sent3: the thunder does not occur if both the prolateness and the prefecturalness happens. sent4: the prefecturalness occurs.
void -> assump1: Let's assume that the prolateness occurs.; assump1 & sent4 -> int1: the prolateness and the prefecturalness happens.; sent3 & int1 -> int2: the thundering does not occur.; sent1 & int2 -> int3: that the bilging but not the enlightening occurs is incorrect.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the fact that the bilges but not the enlightening occurs is wrong if the prolateness occurs is false. ; $context$ = sent1: that the bilging but not the enlightening happens does not hold if the thunder does not occur. sent2: if the Frenching Sempatch does not occur the dedication but not the hopper occurs. sent3: the thunder does not occur if both the prolateness and the prefecturalness happens. sent4: the prefecturalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the prolateness occurs.; assump1 & sent4 -> int1: the prolateness and the prefecturalness happens.; sent3 & int1 -> int2: the thundering does not occur.; sent1 & int2 -> int3: that the bilging but not the enlightening occurs is incorrect.; [assump1] & int3 -> hypothesis; __DISPROVED__