if the acarus is not a blast the conserve is a Klopstock but not dogmatic.
sent1: the acarus is a blast if the conserve is both a Klopstock and not dogmatic.
void -> assump1: Let's assume that that the conserve is a Klopstock and not dogmatic is wrong.;
$hypothesis$ = if the acarus is not a blast the conserve is a Klopstock but not dogmatic. ; $context$ = sent1: the acarus is a blast if the conserve is both a Klopstock and not dogmatic. ; $proof$ = 
void -> assump1: Let's assume that that the conserve is a Klopstock and not dogmatic is wrong.; __UNKNOWN__