the cockroach is a kind of merciless thing that does not refine isomerization if the wick is doric.
sent1: the wick is not doric if the cockroach is not merciless. sent2: the cockroach is merciless thing that does refine isomerization if the wick is doric.
void -> assump2: Let's assume that the fact that the cockroach is merciless and does not refine isomerization is false.;
$hypothesis$ = the cockroach is a kind of merciless thing that does not refine isomerization if the wick is doric. ; $context$ = sent1: the wick is not doric if the cockroach is not merciless. sent2: the cockroach is merciless thing that does refine isomerization if the wick is doric. ; $proof$ = 
void -> assump2: Let's assume that the fact that the cockroach is merciless and does not refine isomerization is false.; __UNKNOWN__