that if that the accordance does not occur hold then the affording does not occur does not hold.
sent1: if the fact that the accordance does not occur and the affording occurs is false then the minting devaluation does not occur. sent2: if the fumbling Utu occurs the minting dame happens. sent3: if the availableness happens the minting desert occurs. sent4: the minting habited does not occur. sent5: the fact that the ambling occurs is true. sent6: the mammariness does not occur. sent7: the estrogenicness does not occur. sent8: the regressiveness does not occur. sent9: the tunelessness does not occur. sent10: the nonfictionalness does not occur. sent11: the recombination does not occur. sent12: the non-analness is prevented by that the minting blessedness occurs. sent13: the fact that the affording does not occur is true if the accordance occurs. sent14: if that the slicing Navarino does not occur hold the fumbling depersonalization does not occur. sent15: the gutsiness happens. sent16: the nilpotentness does not occur. sent17: the noncaloricness occurs. sent18: the footwork happens if the ecclesiasticalness does not occur. sent19: the accordance is brought about by that the affording happens. sent20: the camber happens if the neutering does not occur.
void -> assump2: Let's assume that the affording happens.; sent19 & assump2 -> int1: the accordance happens.; void -> assump1: Let's assume that the accordance does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the affording does not occur.; [assump1] & int3 -> hypothesis;
the minting devaluation does not occur.
$hypothesis$ = that if that the accordance does not occur hold then the affording does not occur does not hold. ; $context$ = sent1: if the fact that the accordance does not occur and the affording occurs is false then the minting devaluation does not occur. sent2: if the fumbling Utu occurs the minting dame happens. sent3: if the availableness happens the minting desert occurs. sent4: the minting habited does not occur. sent5: the fact that the ambling occurs is true. sent6: the mammariness does not occur. sent7: the estrogenicness does not occur. sent8: the regressiveness does not occur. sent9: the tunelessness does not occur. sent10: the nonfictionalness does not occur. sent11: the recombination does not occur. sent12: the non-analness is prevented by that the minting blessedness occurs. sent13: the fact that the affording does not occur is true if the accordance occurs. sent14: if that the slicing Navarino does not occur hold the fumbling depersonalization does not occur. sent15: the gutsiness happens. sent16: the nilpotentness does not occur. sent17: the noncaloricness occurs. sent18: the footwork happens if the ecclesiasticalness does not occur. sent19: the accordance is brought about by that the affording happens. sent20: the camber happens if the neutering does not occur. ; $proof$ = 
void -> assump2: Let's assume that the affording happens.; sent19 & assump2 -> int1: the accordance happens.; void -> assump1: Let's assume that the accordance does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the affording does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__