the autoinjector is an accusation if the cerumen is not a B.O..
sent1: the autoinjector is a kind of an accusation if the fact that the cerumen is not a conge but it is weighty is incorrect. sent2: that the cerumen is both not a conge and weighty does not hold if it is not a kind of a B.O..
void -> assump1: Let's assume that the cerumen is not a B.O..; sent2 & assump1 -> int1: that the fact that the cerumen is not a conge but weighty is right is not true.; sent1 & int1 -> int2: the autoinjector is a kind of an accusation.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the autoinjector is an accusation if the cerumen is not a B.O.. ; $context$ = sent1: the autoinjector is a kind of an accusation if the fact that the cerumen is not a conge but it is weighty is incorrect. sent2: that the cerumen is both not a conge and weighty does not hold if it is not a kind of a B.O.. ; $proof$ = 
void -> assump1: Let's assume that the cerumen is not a B.O..; sent2 & assump1 -> int1: that the fact that the cerumen is not a conge but weighty is right is not true.; sent1 & int1 -> int2: the autoinjector is a kind of an accusation.; [assump1] & int2 -> hypothesis; __PROVED__