the velveteen is not a kind of a tomorrow if the fact that it is not macaronic but a nopal does not hold.
sent1: if the fact that something is both not macaronic and a nopal is not right it is not a tomorrow. sent2: if something that is not macaronic is a nopal then it is not a tomorrow.
sent1 -> hypothesis;
$hypothesis$ = the velveteen is not a kind of a tomorrow if the fact that it is not macaronic but a nopal does not hold. ; $context$ = sent1: if the fact that something is both not macaronic and a nopal is not right it is not a tomorrow. sent2: if something that is not macaronic is a nopal then it is not a tomorrow. ; $proof$ = 
sent1 -> hypothesis; __PROVED__