the contraband is not a complexity if the formulation is not a kind of a bacitracin.
sent1: the battledore does not bog and is a Isaac if the formulation is not a bacitracin. sent2: if the battledore is not a bog and is a Isaac the contraband is not a kind of a complexity.
void -> assump1: Let's assume that the formulation is not a bacitracin.; sent1 & assump1 -> int1: the battledore is both not a bog and a Isaac.; sent2 & int1 -> int2: the contraband is not a complexity.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the contraband is not a complexity if the formulation is not a kind of a bacitracin. ; $context$ = sent1: the battledore does not bog and is a Isaac if the formulation is not a bacitracin. sent2: if the battledore is not a bog and is a Isaac the contraband is not a kind of a complexity. ; $proof$ = 
void -> assump1: Let's assume that the formulation is not a bacitracin.; sent1 & assump1 -> int1: the battledore is both not a bog and a Isaac.; sent2 & int1 -> int2: the contraband is not a complexity.; [assump1] & int2 -> hypothesis; __PROVED__