if the fact that the firecracker is antibacterial hold the radius is a Chadian.
sent1: the firecracker is a Chadian if the radius is antibacterial. sent2: something is a kind of a Chadian if it is a kind of a sortie. sent3: the constructivist is an antibacterial. sent4: if the firecracker is a kind of an antibacterial then the radius is a sortie.
void -> assump1: Let's assume that the firecracker is an antibacterial.; sent4 & assump1 -> int1: the radius is a kind of a sortie.; sent2 -> int2: that the radius is a Chadian hold if it is a kind of a sortie.; int1 & int2 -> int3: that the radius is not a Chadian is wrong.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the fact that the firecracker is antibacterial hold the radius is a Chadian. ; $context$ = sent1: the firecracker is a Chadian if the radius is antibacterial. sent2: something is a kind of a Chadian if it is a kind of a sortie. sent3: the constructivist is an antibacterial. sent4: if the firecracker is a kind of an antibacterial then the radius is a sortie. ; $proof$ = 
void -> assump1: Let's assume that the firecracker is an antibacterial.; sent4 & assump1 -> int1: the radius is a kind of a sortie.; sent2 -> int2: that the radius is a Chadian hold if it is a kind of a sortie.; int1 & int2 -> int3: that the radius is not a Chadian is wrong.; [assump1] & int3 -> hypothesis; __PROVED__