the jazzman does symmetrize if the Calamus is glomerular.
sent1: if that the godwit does not trundle archer but it is rotatory is not wrong the Calamus is not glomerular. sent2: if the godwit does trundle archer and is rotatory then the Calamus is not glomerular. sent3: if the Calamus does not symmetrize and does trundle archer the godwit is not glomerular.
void -> assump2: Let's assume that the Calamus is glomerular.;
$hypothesis$ = the jazzman does symmetrize if the Calamus is glomerular. ; $context$ = sent1: if that the godwit does not trundle archer but it is rotatory is not wrong the Calamus is not glomerular. sent2: if the godwit does trundle archer and is rotatory then the Calamus is not glomerular. sent3: if the Calamus does not symmetrize and does trundle archer the godwit is not glomerular. ; $proof$ = 
void -> assump2: Let's assume that the Calamus is glomerular.; __UNKNOWN__