that the discus crystallizes tidemark and is not a Lamarckian is false.
sent1: if that either the extensor is not a kind of a Glaser or it is non-first or both is wrong then it is not a jointed. sent2: the fact that the discus does crystallize tidemark but it is not a Lamarckian is wrong if the extensor is not jointed. sent3: there is nothing such that it is either not a Glaser or not a first or both.
sent3 -> int1: that the fact that either the extensor is not a Glaser or it is not a first or both is not false does not hold.; int1 & sent1 -> int2: the extensor is not jointed.; int2 & sent2 -> hypothesis;
$hypothesis$ = that the discus crystallizes tidemark and is not a Lamarckian is false. ; $context$ = sent1: if that either the extensor is not a kind of a Glaser or it is non-first or both is wrong then it is not a jointed. sent2: the fact that the discus does crystallize tidemark but it is not a Lamarckian is wrong if the extensor is not jointed. sent3: there is nothing such that it is either not a Glaser or not a first or both. ; $proof$ = 
sent3 -> int1: that the fact that either the extensor is not a Glaser or it is not a first or both is not false does not hold.; int1 & sent1 -> int2: the extensor is not jointed.; int2 & sent2 -> hypothesis; __PROVED__