that the climaticness happens is prevented by the barring theca.
sent1: if the barring theca and the birth occurs then the medevac does not occur. sent2: that the medevac does not occur triggers that the climaticness does not occur. sent3: the birth happens.
void -> assump1: Let's assume that the barring theca occurs.; assump1 & sent3 -> int1: both the barring theca and the birth occurs.; sent1 & int1 -> int2: the medevac does not occur.; sent2 & int2 -> int3: the fact that the climaticness does not occur is correct.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the climaticness happens is prevented by the barring theca. ; $context$ = sent1: if the barring theca and the birth occurs then the medevac does not occur. sent2: that the medevac does not occur triggers that the climaticness does not occur. sent3: the birth happens. ; $proof$ = 
void -> assump1: Let's assume that the barring theca occurs.; assump1 & sent3 -> int1: both the barring theca and the birth occurs.; sent1 & int1 -> int2: the medevac does not occur.; sent2 & int2 -> int3: the fact that the climaticness does not occur is correct.; [assump1] & int3 -> hypothesis; __PROVED__