the fact that the clearing horsehide does not occur does not hold if the orderliness occurs.
sent1: that the tryst occurs is not false if the superhumanness occurs. sent2: if that not the Vienneseness but the passerineness occurs does not hold the greasing featured does not occur. sent3: the fact that the unwrapping does not occur is right. sent4: that the opisthognathousness happens causes that the greasing scalar does not occur. sent5: that the misfeasance does not occur but the predicate happens is not true. sent6: the fact that the abusing happens and the squaring happens is wrong. sent7: that the bonneting vinblastine occurs triggers that the unbending occurs. sent8: if that the clearing chopine does not occur and the demonetization happens does not hold then the fact that the greasing shaman does not occur hold. sent9: the visaing azurite happens. sent10: the velarness does not occur. sent11: if not the dissolve but the reenlistment happens the bonneting Roberts does not occur. sent12: that the characterization does not occur is not wrong if the fact that the visaing tappet does not occur and the greasing antifungal happens is not right. sent13: the bonneting detergency does not occur if the insentientness happens. sent14: the clearing horsehide does not occur. sent15: the teasing happens if the agnosticness occurs. sent16: the predicating occurs. sent17: the fact that the bonneting ornithischian does not occur is correct. sent18: the prevention brings about that the greasing decency occurs. sent19: that the non-velarness and the clearing horsehide occurs causes the disorderlyness. sent20: the orderly does not occur if that both the non-velarness and the clearing horsehide happens is incorrect. sent21: the clearing muckraker occurs if the bonneting vermin happens.
void -> assump1: Let's assume that the fact that both the non-velarness and the clearing horsehide happens is false.; sent20 & assump1 -> int1: the orderliness does not occur.; void -> assump2: Let's assume that the orderliness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: not the velarness but the clearing horsehide happens.; int3 -> int4: the clearing horsehide occurs.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that the clearing horsehide does not occur does not hold if the orderliness occurs. ; $context$ = sent1: that the tryst occurs is not false if the superhumanness occurs. sent2: if that not the Vienneseness but the passerineness occurs does not hold the greasing featured does not occur. sent3: the fact that the unwrapping does not occur is right. sent4: that the opisthognathousness happens causes that the greasing scalar does not occur. sent5: that the misfeasance does not occur but the predicate happens is not true. sent6: the fact that the abusing happens and the squaring happens is wrong. sent7: that the bonneting vinblastine occurs triggers that the unbending occurs. sent8: if that the clearing chopine does not occur and the demonetization happens does not hold then the fact that the greasing shaman does not occur hold. sent9: the visaing azurite happens. sent10: the velarness does not occur. sent11: if not the dissolve but the reenlistment happens the bonneting Roberts does not occur. sent12: that the characterization does not occur is not wrong if the fact that the visaing tappet does not occur and the greasing antifungal happens is not right. sent13: the bonneting detergency does not occur if the insentientness happens. sent14: the clearing horsehide does not occur. sent15: the teasing happens if the agnosticness occurs. sent16: the predicating occurs. sent17: the fact that the bonneting ornithischian does not occur is correct. sent18: the prevention brings about that the greasing decency occurs. sent19: that the non-velarness and the clearing horsehide occurs causes the disorderlyness. sent20: the orderly does not occur if that both the non-velarness and the clearing horsehide happens is incorrect. sent21: the clearing muckraker occurs if the bonneting vermin happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that both the non-velarness and the clearing horsehide happens is false.; sent20 & assump1 -> int1: the orderliness does not occur.; void -> assump2: Let's assume that the orderliness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: not the velarness but the clearing horsehide happens.; int3 -> int4: the clearing horsehide occurs.; [assump2] & int4 -> hypothesis; __PROVED__