the fact that the trade prevents that the overreaching spacecraft does not occur is not correct.
sent1: the overreaching spacecraft happens if the Doomsday happens. sent2: if the overreaching cappuccino happens then the brush-off occurs but the overreaching spacecraft does not occur. sent3: the Doomsday occurs if that both the unobligatedness and the shunning perpendicularity occurs is not correct. sent4: the Thebanness occurs if the trade but not the Doomsday occurs. sent5: that the non-obligatedness and the shunning perpendicularity happens prevents that the trade happens.
void -> assump2: Let's assume that that the trading occurs hold.; void -> assump1: Let's assume that the non-obligatedness and the shunning perpendicularity occurs.; sent5 & assump1 -> int1: the trade does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the unobligatedness and the shunning perpendicularity happens does not hold.; sent3 & int3 -> int4: that the Doomsday occurs is not incorrect.; sent1 & int4 -> int5: the overreaching spacecraft happens.; [assump2] & int5 -> hypothesis;
the Theban happens.
$hypothesis$ = the fact that the trade prevents that the overreaching spacecraft does not occur is not correct. ; $context$ = sent1: the overreaching spacecraft happens if the Doomsday happens. sent2: if the overreaching cappuccino happens then the brush-off occurs but the overreaching spacecraft does not occur. sent3: the Doomsday occurs if that both the unobligatedness and the shunning perpendicularity occurs is not correct. sent4: the Thebanness occurs if the trade but not the Doomsday occurs. sent5: that the non-obligatedness and the shunning perpendicularity happens prevents that the trade happens. ; $proof$ = 
void -> assump2: Let's assume that that the trading occurs hold.; void -> assump1: Let's assume that the non-obligatedness and the shunning perpendicularity occurs.; sent5 & assump1 -> int1: the trade does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the unobligatedness and the shunning perpendicularity happens does not hold.; sent3 & int3 -> int4: that the Doomsday occurs is not incorrect.; sent1 & int4 -> int5: the overreaching spacecraft happens.; [assump2] & int5 -> hypothesis; __DISPROVED__