the fact that if that the aging supermarket does not occur is not incorrect then the irradiating Kandahar happens is wrong.
sent1: if the thirsting occurs then the diaphoreticness happens. sent2: the awareness occurs. sent3: that the awareness but not the aging supermarket happens brings about the irradiating Kandahar.
void -> assump1: Let's assume that the aging supermarket does not occur.; sent2 & assump1 -> int1: the awareness happens but the aging supermarket does not occur.; sent3 & int1 -> int2: the irradiating Kandahar happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if that the aging supermarket does not occur is not incorrect then the irradiating Kandahar happens is wrong. ; $context$ = sent1: if the thirsting occurs then the diaphoreticness happens. sent2: the awareness occurs. sent3: that the awareness but not the aging supermarket happens brings about the irradiating Kandahar. ; $proof$ = 
void -> assump1: Let's assume that the aging supermarket does not occur.; sent2 & assump1 -> int1: the awareness happens but the aging supermarket does not occur.; sent3 & int1 -> int2: the irradiating Kandahar happens.; [assump1] & int2 -> hypothesis; __DISPROVED__