the intradermalness happens.
sent1: the rhinalness occurs. sent2: if the atonalness does not occur then the intradermalness happens. sent3: that the rhinalness does not occur results in that the splurging and the atonalness happens. sent4: the impreciseness does not occur. sent5: both the haggling and the molestation occurs if the impreciseness does not occur. sent6: if the impreciseness does not occur the molestation occurs. sent7: the figuration happens if the configuring Daviesia does not occur. sent8: the molestation occurs. sent9: that the rhinalness does not occur brings about that the non-intradermalness and the atonalness happens. sent10: if the impreciseness occurs then the fact that the molestation occurs is not false.
void -> assump1: Let's assume that that the atonalness occurs is correct.; assump1 & sent1 -> int1: both the atonalness and the rhinalness occurs.; sent5 & sent4 -> int2: both the haggling and the molestation occurs.; int2 -> int3: the haggling occurs.;
the splurge happens.
$hypothesis$ = the intradermalness happens. ; $context$ = sent1: the rhinalness occurs. sent2: if the atonalness does not occur then the intradermalness happens. sent3: that the rhinalness does not occur results in that the splurging and the atonalness happens. sent4: the impreciseness does not occur. sent5: both the haggling and the molestation occurs if the impreciseness does not occur. sent6: if the impreciseness does not occur the molestation occurs. sent7: the figuration happens if the configuring Daviesia does not occur. sent8: the molestation occurs. sent9: that the rhinalness does not occur brings about that the non-intradermalness and the atonalness happens. sent10: if the impreciseness occurs then the fact that the molestation occurs is not false. ; $proof$ = 
void -> assump1: Let's assume that that the atonalness occurs is correct.; assump1 & sent1 -> int1: both the atonalness and the rhinalness occurs.; sent5 & sent4 -> int2: both the haggling and the molestation occurs.; int2 -> int3: the haggling occurs.; __UNKNOWN__