the acrocentricness happens if the curiousness occurs.
sent1: both the consuming and the non-unregretfulness happens if the curiousness occurs. sent2: the fact that the unregretfulness does not occur is correct.
void -> assump1: Let's assume that the fact that the curiousness happens is not incorrect.; sent1 & assump1 -> int1: the consuming but not the unregretfulness occurs.;
$hypothesis$ = the acrocentricness happens if the curiousness occurs. ; $context$ = sent1: both the consuming and the non-unregretfulness happens if the curiousness occurs. sent2: the fact that the unregretfulness does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the curiousness happens is not incorrect.; sent1 & assump1 -> int1: the consuming but not the unregretfulness occurs.; __UNKNOWN__