the fact that the brooming Djanet does not occur or the brooming Menotyphla does not occur or both is incorrect if the devolution does not occur.
sent1: the Down does not occur. sent2: the skimming occurs. sent3: that the brooming bassarisk does not occur and/or the promulgation does not occur does not hold if the nonreticulateness does not occur. sent4: that the brooming Djanet does not occur or the brooming Menotyphla happens or both is not true if the drifting does not occur. sent5: the papillariness does not occur. sent6: the drift brings about the devolution. sent7: if the drifting does not occur the brooming Djanet does not occur and/or the brooming Menotyphla does not occur. sent8: the brooming Djanet happens. sent9: if the devolution occurs the fact that the brooming Djanet does not occur or the brooming Menotyphla does not occur or both is wrong. sent10: the fact that the brooming Djanet does not occur and/or the brooming Menotyphla occurs is not correct if the devolution does not occur. sent11: that the brooming Djanet occurs hold if the devolution does not occur. sent12: if that the counterintelligence does not occur is correct that the galvanization does not occur and/or the hornlessness does not occur is not correct. sent13: the brooming Djanet is caused by that the drift does not occur. sent14: the fact that either the inactivity does not occur or the bestrewing helix does not occur or both is false if the enfranchisement does not occur. sent15: if the drifting does not occur then that the brooming Djanet does not occur and/or the brooming Menotyphla does not occur is not right. sent16: that the Libyanness does not occur and/or the directing does not occur is not true. sent17: if the devolution does not occur the brooming Djanet does not occur and/or the brooming Menotyphla does not occur. sent18: if the brooming redbird does not occur then that the brooming greenockite does not occur and/or the indissolubleness does not occur is not correct.
void -> assump1: Let's assume that the drifting happens.; sent6 & assump1 -> int1: the devolution happens.; void -> assump2: Let's assume that the devolution does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the drift does not occur.; sent15 & int3 -> int4: the fact that the brooming Djanet does not occur and/or the brooming Menotyphla does not occur is not right.; [assump2] & int4 -> hypothesis;
that the Libyanness does not occur and/or the directing does not occur is not true.
 -> hypothesis;
$hypothesis$ = the fact that the brooming Djanet does not occur or the brooming Menotyphla does not occur or both is incorrect if the devolution does not occur. ; $context$ = sent1: the Down does not occur. sent2: the skimming occurs. sent3: that the brooming bassarisk does not occur and/or the promulgation does not occur does not hold if the nonreticulateness does not occur. sent4: that the brooming Djanet does not occur or the brooming Menotyphla happens or both is not true if the drifting does not occur. sent5: the papillariness does not occur. sent6: the drift brings about the devolution. sent7: if the drifting does not occur the brooming Djanet does not occur and/or the brooming Menotyphla does not occur. sent8: the brooming Djanet happens. sent9: if the devolution occurs the fact that the brooming Djanet does not occur or the brooming Menotyphla does not occur or both is wrong. sent10: the fact that the brooming Djanet does not occur and/or the brooming Menotyphla occurs is not correct if the devolution does not occur. sent11: that the brooming Djanet occurs hold if the devolution does not occur. sent12: if that the counterintelligence does not occur is correct that the galvanization does not occur and/or the hornlessness does not occur is not correct. sent13: the brooming Djanet is caused by that the drift does not occur. sent14: the fact that either the inactivity does not occur or the bestrewing helix does not occur or both is false if the enfranchisement does not occur. sent15: if the drifting does not occur then that the brooming Djanet does not occur and/or the brooming Menotyphla does not occur is not right. sent16: that the Libyanness does not occur and/or the directing does not occur is not true. sent17: if the devolution does not occur the brooming Djanet does not occur and/or the brooming Menotyphla does not occur. sent18: if the brooming redbird does not occur then that the brooming greenockite does not occur and/or the indissolubleness does not occur is not correct. ; $proof$ = 
void -> assump1: Let's assume that the drifting happens.; sent6 & assump1 -> int1: the devolution happens.; void -> assump2: Let's assume that the devolution does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the drift does not occur.; sent15 & int3 -> int4: the fact that the brooming Djanet does not occur and/or the brooming Menotyphla does not occur is not right.; [assump2] & int4 -> hypothesis; __PROVED__