there exists something such that if it is not testate that it is not a blastocyst and it is not cytoarchitectural is not true.
void -> assump1: Let's assume that the lincomycin is not a blastocyst and it is not cytoarchitectural.;
$hypothesis$ = there exists something such that if it is not testate that it is not a blastocyst and it is not cytoarchitectural is not true. ; $context$ =  ; $proof$ = 
void -> assump1: Let's assume that the lincomycin is not a blastocyst and it is not cytoarchitectural.; __UNKNOWN__