if the DC happens then the circumscribing blastema does not occur and the interlude does not occur.
sent1: if the bestrewing asparagine does not occur then the demilitarizing does not occur and the nonreturnableness does not occur. sent2: if the consideration happens and the interluding happens then the DC does not occur. sent3: the hook does not occur and the brooming airworthiness does not occur. sent4: the imponderable is prevented by that the egress does not occur and the impinging does not occur. sent5: if the circumscribing blastema happens then the fact that the interlude occurs but the DC does not occur is not correct. sent6: the bestrewing asparagine and the taste happens. sent7: that the egress does not occur and the impinging does not occur is triggered by that the hooking does not occur. sent8: the ponderableness results in that the Huxleyanness does not occur and the circumscribing blastema does not occur. sent9: the asteroidalness does not occur and the backup does not occur. sent10: that the clothing but not the circumscribing architecture occurs brings about the non-neurotoxicness.
sent6 -> int1: the tasting happens.; void -> assump2: Let's assume that the fact that the interluding occurs is not incorrect.; void -> assump1: Let's assume that the DC happens.; sent3 -> int2: the hooking does not occur.; sent7 & int2 -> int3: the egress does not occur and the impinging does not occur.; sent4 & int3 -> int4: the imponderableness does not occur.; sent8 & int4 -> int5: the fact that the Huxleyanness does not occur and the circumscribing blastema does not occur is not false.; int5 -> int6: the fact that the circumscribing blastema occurs is incorrect.;
the demilitarizing does not occur and the nonreturnableness does not occur.
$hypothesis$ = if the DC happens then the circumscribing blastema does not occur and the interlude does not occur. ; $context$ = sent1: if the bestrewing asparagine does not occur then the demilitarizing does not occur and the nonreturnableness does not occur. sent2: if the consideration happens and the interluding happens then the DC does not occur. sent3: the hook does not occur and the brooming airworthiness does not occur. sent4: the imponderable is prevented by that the egress does not occur and the impinging does not occur. sent5: if the circumscribing blastema happens then the fact that the interlude occurs but the DC does not occur is not correct. sent6: the bestrewing asparagine and the taste happens. sent7: that the egress does not occur and the impinging does not occur is triggered by that the hooking does not occur. sent8: the ponderableness results in that the Huxleyanness does not occur and the circumscribing blastema does not occur. sent9: the asteroidalness does not occur and the backup does not occur. sent10: that the clothing but not the circumscribing architecture occurs brings about the non-neurotoxicness. ; $proof$ = 
sent6 -> int1: the tasting happens.; void -> assump2: Let's assume that the fact that the interluding occurs is not incorrect.; void -> assump1: Let's assume that the DC happens.; sent3 -> int2: the hooking does not occur.; sent7 & int2 -> int3: the egress does not occur and the impinging does not occur.; sent4 & int3 -> int4: the imponderableness does not occur.; sent8 & int4 -> int5: the fact that the Huxleyanness does not occur and the circumscribing blastema does not occur is not false.; int5 -> int6: the fact that the circumscribing blastema occurs is incorrect.; __UNKNOWN__