the habiting dashboard does not occur if the aeroembolism does not occur.
sent1: the unspelling bollard does not occur and the casino does not occur if the aeroembolism does not occur.
void -> assump1: Let's assume that the aeroembolism does not occur.; sent1 & assump1 -> int1: the unspelling bollard does not occur and the casino does not occur.;
$hypothesis$ = the habiting dashboard does not occur if the aeroembolism does not occur. ; $context$ = sent1: the unspelling bollard does not occur and the casino does not occur if the aeroembolism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the aeroembolism does not occur.; sent1 & assump1 -> int1: the unspelling bollard does not occur and the casino does not occur.; __UNKNOWN__