the fact that the suburbanness leads to that the discriminatingness does not occur is wrong.
sent1: the fleshing Arctic occurs. sent2: both the chocking enhancement and the fleshing Arctic occurs. sent3: the discriminating does not occur if both the suburbanness and the chocking enhancement happens. sent4: the discriminating occurs if the fact that the suburbanness occurs is right.
sent2 -> int1: the chocking enhancement happens.; void -> assump1: Let's assume that the suburbanness happens.; int1 & assump1 -> int2: the suburbanness occurs and the chocking enhancement happens.; int2 & sent3 -> int3: that the discriminatingness does not occur is right.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the suburbanness leads to that the discriminatingness does not occur is wrong. ; $context$ = sent1: the fleshing Arctic occurs. sent2: both the chocking enhancement and the fleshing Arctic occurs. sent3: the discriminating does not occur if both the suburbanness and the chocking enhancement happens. sent4: the discriminating occurs if the fact that the suburbanness occurs is right. ; $proof$ = 
sent2 -> int1: the chocking enhancement happens.; void -> assump1: Let's assume that the suburbanness happens.; int1 & assump1 -> int2: the suburbanness occurs and the chocking enhancement happens.; int2 & sent3 -> int3: that the discriminatingness does not occur is right.; [assump1] & int3 -> hypothesis; __DISPROVED__