the fact that the repayment brings about that the phrasing does not occur and the arboricalness occurs is false.
sent1: the fact that the mismanaging mason occurs and the funerariness occurs is false if the gleaming does not occur. sent2: both the mismanaging denticle and the arboricalness happens if the fact that the phrasing does not occur hold. sent3: if the fact that both the mismanaging mason and the funerariness occurs is not true the mismanaging mason does not occur. sent4: both the darkness and the noncausativeness occurs. sent5: the phrasing does not occur but the arboricalness occurs if the mismanaging denticle does not occur. sent6: if the funerariness and the noncausativeness occurs then the mismanaging denticle does not occur. sent7: either the gleam or the non-funerariness or both prevents the repayment. sent8: that both the darkness and the mending happens is brought about by the non-rockyness.
void -> assump2: Let's assume that the funerariness does not occur.; assump2 -> int1: the gleam occurs and/or the funerariness does not occur.; int1 & sent7 -> int2: the repayment does not occur.; void -> assump1: Let's assume that that the repayment occurs is true.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the funerariness happens is right.; sent4 -> int5: the noncausativeness happens.; int4 & int5 -> int6: both the funerariness and the noncausativeness happens.; int6 & sent6 -> int7: the mismanaging denticle does not occur.; int7 & sent5 -> int8: the phrasing does not occur and the arboricalness happens.; [assump1] & int8 -> hypothesis;
the mismanaging mason does not occur.
$hypothesis$ = the fact that the repayment brings about that the phrasing does not occur and the arboricalness occurs is false. ; $context$ = sent1: the fact that the mismanaging mason occurs and the funerariness occurs is false if the gleaming does not occur. sent2: both the mismanaging denticle and the arboricalness happens if the fact that the phrasing does not occur hold. sent3: if the fact that both the mismanaging mason and the funerariness occurs is not true the mismanaging mason does not occur. sent4: both the darkness and the noncausativeness occurs. sent5: the phrasing does not occur but the arboricalness occurs if the mismanaging denticle does not occur. sent6: if the funerariness and the noncausativeness occurs then the mismanaging denticle does not occur. sent7: either the gleam or the non-funerariness or both prevents the repayment. sent8: that both the darkness and the mending happens is brought about by the non-rockyness. ; $proof$ = 
void -> assump2: Let's assume that the funerariness does not occur.; assump2 -> int1: the gleam occurs and/or the funerariness does not occur.; int1 & sent7 -> int2: the repayment does not occur.; void -> assump1: Let's assume that that the repayment occurs is true.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the funerariness happens is right.; sent4 -> int5: the noncausativeness happens.; int4 & int5 -> int6: both the funerariness and the noncausativeness happens.; int6 & sent6 -> int7: the mismanaging denticle does not occur.; int7 & sent5 -> int8: the phrasing does not occur and the arboricalness happens.; [assump1] & int8 -> hypothesis; __DISPROVED__