the orbitalness does not occur.
sent1: that the aliveness does not occur and/or the housing assibilation does not occur yields that the orbitalness does not occur. sent2: the aliveness happens or the housing assibilation does not occur or both. sent3: if the calming but not the craziness occurs the aikido does not occur. sent4: the fact that the non-aliveness and the eugenicsness happens is not correct if the ossiferousness does not occur. sent5: the ossiferousness happens. sent6: if the Mills occurs then the calmness occurs but the craziness does not occur. sent7: that both the housing assibilation and the weakness occurs is wrong if the pat does not occur. sent8: either the aliveness does not occur or the housing assibilation happens or both. sent9: the weakness occurs. sent10: that the aikido does not occur and/or the non-umbelliformness causes that the pat does not occur. sent11: if that the aliveness does not occur but the eugenicsness occurs does not hold then the eugenicsness does not occur.
void -> assump1: Let's assume that that the aliveness happens is not wrong.; sent5 & assump1 -> int1: the ossiferousness and the aliveness happens.;
the eugenicsness does not occur.
$hypothesis$ = the orbitalness does not occur. ; $context$ = sent1: that the aliveness does not occur and/or the housing assibilation does not occur yields that the orbitalness does not occur. sent2: the aliveness happens or the housing assibilation does not occur or both. sent3: if the calming but not the craziness occurs the aikido does not occur. sent4: the fact that the non-aliveness and the eugenicsness happens is not correct if the ossiferousness does not occur. sent5: the ossiferousness happens. sent6: if the Mills occurs then the calmness occurs but the craziness does not occur. sent7: that both the housing assibilation and the weakness occurs is wrong if the pat does not occur. sent8: either the aliveness does not occur or the housing assibilation happens or both. sent9: the weakness occurs. sent10: that the aikido does not occur and/or the non-umbelliformness causes that the pat does not occur. sent11: if that the aliveness does not occur but the eugenicsness occurs does not hold then the eugenicsness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the aliveness happens is not wrong.; sent5 & assump1 -> int1: the ossiferousness and the aliveness happens.; __UNKNOWN__