the fact that the sheltering Uta and the haggle occurs is not true.
sent1: if the fact that the providing hone does not occur is not incorrect then the drain does not occur. sent2: the unorthodoxness does not occur. sent3: if the fact that the magic occurs hold the fact that the unorthodoxness occurs is true. sent4: if the drain does not occur and the providentialness does not occur then the sheltering Uta happens. sent5: the providentialness does not occur. sent6: if that the unorthodoxness does not occur and the magic does not occur is not right the union does not occur. sent7: that the providing hone occurs is prevented by that the magic does not occur. sent8: the haggle occurs.
void -> assump1: Let's assume that the magic happens.; sent3 & assump1 -> int1: the unorthodoxness occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the magic does not occur.; int3 & sent7 -> int4: the providing hone does not occur.; int4 & sent1 -> int5: the drain does not occur.; int5 & sent5 -> int6: the drain does not occur and the providentialness does not occur.; int6 & sent4 -> int7: the sheltering Uta happens.; int7 & sent8 -> hypothesis;
the unionness does not occur.
$hypothesis$ = the fact that the sheltering Uta and the haggle occurs is not true. ; $context$ = sent1: if the fact that the providing hone does not occur is not incorrect then the drain does not occur. sent2: the unorthodoxness does not occur. sent3: if the fact that the magic occurs hold the fact that the unorthodoxness occurs is true. sent4: if the drain does not occur and the providentialness does not occur then the sheltering Uta happens. sent5: the providentialness does not occur. sent6: if that the unorthodoxness does not occur and the magic does not occur is not right the union does not occur. sent7: that the providing hone occurs is prevented by that the magic does not occur. sent8: the haggle occurs. ; $proof$ = 
void -> assump1: Let's assume that the magic happens.; sent3 & assump1 -> int1: the unorthodoxness occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the magic does not occur.; int3 & sent7 -> int4: the providing hone does not occur.; int4 & sent1 -> int5: the drain does not occur.; int5 & sent5 -> int6: the drain does not occur and the providentialness does not occur.; int6 & sent4 -> int7: the sheltering Uta happens.; int7 & sent8 -> hypothesis; __DISPROVED__