the athenaeum is not flats if the dracaena is a maker and it is an atrophied.
sent1: the athenaeum is an acuteness. sent2: something wakes Ouranopithecus. sent3: if there exists something such that it is a maker and is a kind of an acuteness then the athenaeum is not a flats. sent4: the athenaeum is a kind of a flats.
void -> assump1: Let's assume that the dracaena is a maker and it is an atrophied.; assump1 -> int1: the dracaena is a kind of a maker.;
$hypothesis$ = the athenaeum is not flats if the dracaena is a maker and it is an atrophied. ; $context$ = sent1: the athenaeum is an acuteness. sent2: something wakes Ouranopithecus. sent3: if there exists something such that it is a maker and is a kind of an acuteness then the athenaeum is not a flats. sent4: the athenaeum is a kind of a flats. ; $proof$ = 
void -> assump1: Let's assume that the dracaena is a maker and it is an atrophied.; assump1 -> int1: the dracaena is a kind of a maker.; __UNKNOWN__