that if the hematologicness occurs then the countdown happens does not hold.
sent1: if the non-amminoness and the hematologicness happens then that the countdown happens is not wrong. sent2: the amminoness does not occur and the geysering oblivion does not occur.
sent2 -> int1: the amminoness does not occur.; void -> assump1: Let's assume that the hematologicness occurs.; int1 & assump1 -> int2: the amminoness does not occur and the hematologicness occurs.; sent1 & int2 -> int3: the countdown occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the hematologicness occurs then the countdown happens does not hold. ; $context$ = sent1: if the non-amminoness and the hematologicness happens then that the countdown happens is not wrong. sent2: the amminoness does not occur and the geysering oblivion does not occur. ; $proof$ = 
sent2 -> int1: the amminoness does not occur.; void -> assump1: Let's assume that the hematologicness occurs.; int1 & assump1 -> int2: the amminoness does not occur and the hematologicness occurs.; sent1 & int2 -> int3: the countdown occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__