that the stranding sulfide does not occur if the erectingness occurs is incorrect.
sent1: the fact that the spectacle happens is not incorrect. sent2: the trace occurs if the spectacle occurs. sent3: that both the subtilizing mesocolon and the erectingness occurs results in that the stranding sulfide does not occur. sent4: both the spectacle and the subtilizing mesocolon happens.
sent4 -> int1: the subtilizing mesocolon happens.; void -> assump1: Let's assume that the erectingness happens.; int1 & assump1 -> int2: both the subtilizing mesocolon and the erectingness occurs.; sent3 & int2 -> int3: the stranding sulfide does not occur.; [assump1] & int3 -> hypothesis;
the trace occurs and the craving occurs.
$hypothesis$ = that the stranding sulfide does not occur if the erectingness occurs is incorrect. ; $context$ = sent1: the fact that the spectacle happens is not incorrect. sent2: the trace occurs if the spectacle occurs. sent3: that both the subtilizing mesocolon and the erectingness occurs results in that the stranding sulfide does not occur. sent4: both the spectacle and the subtilizing mesocolon happens. ; $proof$ = 
sent4 -> int1: the subtilizing mesocolon happens.; void -> assump1: Let's assume that the erectingness happens.; int1 & assump1 -> int2: both the subtilizing mesocolon and the erectingness occurs.; sent3 & int2 -> int3: the stranding sulfide does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__