the extinguisher is not a kind of an anterior if the reckoner tags unacceptability.
sent1: if the reckoner tags unacceptability the fact that the extinguisher is non-synonymous and it is not insensible is wrong. sent2: if that the extinguisher is not synonymous and it is not insensible is not true then it is not a kind of an anterior.
void -> assump1: Let's assume that the reckoner tags unacceptability.; sent1 & assump1 -> int1: the fact that the extinguisher is not synonymous and not insensible does not hold.; int1 & sent2 -> int2: the extinguisher is not an anterior.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the extinguisher is not a kind of an anterior if the reckoner tags unacceptability. ; $context$ = sent1: if the reckoner tags unacceptability the fact that the extinguisher is non-synonymous and it is not insensible is wrong. sent2: if that the extinguisher is not synonymous and it is not insensible is not true then it is not a kind of an anterior. ; $proof$ = 
void -> assump1: Let's assume that the reckoner tags unacceptability.; sent1 & assump1 -> int1: the fact that the extinguisher is not synonymous and not insensible does not hold.; int1 & sent2 -> int2: the extinguisher is not an anterior.; [assump1] & int2 -> hypothesis; __PROVED__