the fact that if the marshaling Arcadian occurs then the hypothalamicness does not occur is not correct.
sent1: if the adagio does not occur then the shipwreck does not occur but the hypothalamicness occurs. sent2: if the adagio happens then the marshaling Arcadian does not occur. sent3: the hypothalamicness and/or that the adagio occurs yields that the marshaling Arcadian does not occur. sent4: if that the marshaling Arcadian occurs and the adagio occurs is not true the adagio does not occur.
void -> assump2: Let's assume that the hypothalamicness happens.; assump2 -> int1: the hypothalamicness happens and/or the adagio occurs.; int1 & sent3 -> int2: that the marshaling Arcadian does not occur is correct.; void -> assump1: Let's assume that the marshaling Arcadian happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the hypothalamicness does not occur.; [assump1] & int4 -> hypothesis;
the shipwrecking does not occur.
$hypothesis$ = the fact that if the marshaling Arcadian occurs then the hypothalamicness does not occur is not correct. ; $context$ = sent1: if the adagio does not occur then the shipwreck does not occur but the hypothalamicness occurs. sent2: if the adagio happens then the marshaling Arcadian does not occur. sent3: the hypothalamicness and/or that the adagio occurs yields that the marshaling Arcadian does not occur. sent4: if that the marshaling Arcadian occurs and the adagio occurs is not true the adagio does not occur. ; $proof$ = 
void -> assump2: Let's assume that the hypothalamicness happens.; assump2 -> int1: the hypothalamicness happens and/or the adagio occurs.; int1 & sent3 -> int2: that the marshaling Arcadian does not occur is correct.; void -> assump1: Let's assume that the marshaling Arcadian happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the hypothalamicness does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__