the emanation does not occur.
sent1: that the expurgation does not occur is prevented by the noncrucialness. sent2: the thyrotoxicness does not occur and the thermionicness does not occur if the sidearmness does not occur. sent3: that the patterning NICU does not occur is caused by that the parenteralness does not occur and the philharmonicness does not occur. sent4: if the fact that the washableness does not occur hold then the noncrucialness happens but the patterning WTO does not occur. sent5: that the sidearmness does not occur is triggered by that the indignity and/or the heterodactylness happens. sent6: the indignity occurs and/or the heterodactylness happens. sent7: the emanation does not occur if that the non-parenteralness and the non-philharmonicness occurs is not correct. sent8: that the patterning NICU does not occur triggers the nonwashableness. sent9: if the fact that both the expurgation and the noncrucialness happens is not right the patterning WTO does not occur.
void -> assump1: Let's assume that both the non-parenteralness and the non-philharmonicness occurs.; sent3 & assump1 -> int1: the patterning NICU does not occur.; int1 & sent8 -> int2: the washableness does not occur.; int2 & sent4 -> int3: the noncrucialness happens but the patterning WTO does not occur.; int3 -> int4: the noncrucialness occurs.; int4 & sent1 -> int5: the expurgation occurs.; sent5 & sent6 -> int6: the sidearmness does not occur.; sent2 & int6 -> int7: the non-thyrotoxicness and the non-thermionicness occurs.;
the emanation happens.
$hypothesis$ = the emanation does not occur. ; $context$ = sent1: that the expurgation does not occur is prevented by the noncrucialness. sent2: the thyrotoxicness does not occur and the thermionicness does not occur if the sidearmness does not occur. sent3: that the patterning NICU does not occur is caused by that the parenteralness does not occur and the philharmonicness does not occur. sent4: if the fact that the washableness does not occur hold then the noncrucialness happens but the patterning WTO does not occur. sent5: that the sidearmness does not occur is triggered by that the indignity and/or the heterodactylness happens. sent6: the indignity occurs and/or the heterodactylness happens. sent7: the emanation does not occur if that the non-parenteralness and the non-philharmonicness occurs is not correct. sent8: that the patterning NICU does not occur triggers the nonwashableness. sent9: if the fact that both the expurgation and the noncrucialness happens is not right the patterning WTO does not occur. ; $proof$ = 
void -> assump1: Let's assume that both the non-parenteralness and the non-philharmonicness occurs.; sent3 & assump1 -> int1: the patterning NICU does not occur.; int1 & sent8 -> int2: the washableness does not occur.; int2 & sent4 -> int3: the noncrucialness happens but the patterning WTO does not occur.; int3 -> int4: the noncrucialness occurs.; int4 & sent1 -> int5: the expurgation occurs.; sent5 & sent6 -> int6: the sidearmness does not occur.; sent2 & int6 -> int7: the non-thyrotoxicness and the non-thermionicness occurs.; __UNKNOWN__