there exists something such that if it is not punctureless and does not bop roller the fact that it is congeneric hold.
sent1: if the fact that the chlamydospore is not punctureless and it does not bop roller hold it is congeneric. sent2: there exists something such that if it is not a IDA but a racist then it bops Ulex.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not punctureless and does not bop roller the fact that it is congeneric hold. ; $context$ = sent1: if the fact that the chlamydospore is not punctureless and it does not bop roller hold it is congeneric. sent2: there exists something such that if it is not a IDA but a racist then it bops Ulex. ; $proof$ = 
sent1 -> hypothesis; __PROVED__