the division happens.
sent1: if the crediting sulfamethazine does not occur the division happens and the threat occurs. sent2: the threat occurs and the crediting sulfamethazine happens. sent3: the crediting sulfamethazine happens. sent4: that the threat occurs causes the cinerariness. sent5: the fact that the advocacy occurs is true. sent6: that both the cinerariness and the annelid happens brings about that the arming does not occur. sent7: the arming happens. sent8: if the depressurizing elapid happens then the entering balkline occurs. sent9: that the annelid does not occur yields that not the division but the advocacy occurs. sent10: the non-annelidness triggers that the advocacy happens.
sent2 -> int1: the threat occurs.; int1 & sent4 -> int2: the cinerariness happens.; void -> assump1: Let's assume that the annelid happens.; int2 & assump1 -> int3: the cinerariness happens and the annelidness happens.; int3 & sent6 -> int4: the arming does not occur.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the annelid does not occur.; int6 & sent9 -> int7: not the division but the advocacy happens.; int7 -> hypothesis;
the division happens.
$hypothesis$ = the division happens. ; $context$ = sent1: if the crediting sulfamethazine does not occur the division happens and the threat occurs. sent2: the threat occurs and the crediting sulfamethazine happens. sent3: the crediting sulfamethazine happens. sent4: that the threat occurs causes the cinerariness. sent5: the fact that the advocacy occurs is true. sent6: that both the cinerariness and the annelid happens brings about that the arming does not occur. sent7: the arming happens. sent8: if the depressurizing elapid happens then the entering balkline occurs. sent9: that the annelid does not occur yields that not the division but the advocacy occurs. sent10: the non-annelidness triggers that the advocacy happens. ; $proof$ = 
sent2 -> int1: the threat occurs.; int1 & sent4 -> int2: the cinerariness happens.; void -> assump1: Let's assume that the annelid happens.; int2 & assump1 -> int3: the cinerariness happens and the annelidness happens.; int3 & sent6 -> int4: the arming does not occur.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the annelid does not occur.; int6 & sent9 -> int7: not the division but the advocacy happens.; int7 -> hypothesis; __DISPROVED__