if the empyreanness happens the auscultatoriness happens.
sent1: the exempting happens. sent2: the affiliating occurs. sent3: if the flaming does not occur the wobbling Steatornithidae happens and the self-gratification occurs. sent4: both the non-diffusingness and the auscultatoriness happens if the cut happens. sent5: the autolyticness is prevented by that the self-gratification and the empyreanness occurs. sent6: the diffusing happens if the autolyticness does not occur. sent7: the self-gratification and the flaming occurs. sent8: the autolyticness does not occur or the empyreanness occurs or both if the diffusing does not occur. sent9: the flaming occurs.
sent7 -> int1: the self-gratification happens.; void -> assump1: Let's assume that the empyreanness happens.; int1 & assump1 -> int2: both the self-gratification and the empyreanness happens.; sent5 & int2 -> int3: the autolyticness does not occur.; sent6 & int3 -> int4: the diffusingness happens.;
the wobbling Steatornithidae occurs.
$hypothesis$ = if the empyreanness happens the auscultatoriness happens. ; $context$ = sent1: the exempting happens. sent2: the affiliating occurs. sent3: if the flaming does not occur the wobbling Steatornithidae happens and the self-gratification occurs. sent4: both the non-diffusingness and the auscultatoriness happens if the cut happens. sent5: the autolyticness is prevented by that the self-gratification and the empyreanness occurs. sent6: the diffusing happens if the autolyticness does not occur. sent7: the self-gratification and the flaming occurs. sent8: the autolyticness does not occur or the empyreanness occurs or both if the diffusing does not occur. sent9: the flaming occurs. ; $proof$ = 
sent7 -> int1: the self-gratification happens.; void -> assump1: Let's assume that the empyreanness happens.; int1 & assump1 -> int2: both the self-gratification and the empyreanness happens.; sent5 & int2 -> int3: the autolyticness does not occur.; sent6 & int3 -> int4: the diffusingness happens.; __UNKNOWN__