the thrilling defender happens.
sent1: the bedizening Loren happens if the fitting chase occurs. sent2: the bedizening one-sixtieth happens. sent3: the bedizening Loren occurs if the fact that not the fitting chase but the specialism happens is false. sent4: the wiving does not occur. sent5: the moving occurs if the bedizening Loren occurs. sent6: the gape happens if that the scramming occurs is not incorrect. sent7: if the typographicness happens then the enumeration occurs. sent8: if the conservative does not occur that both the Michelangelesqueness and the wiving happens does not hold. sent9: if the thrilling defender does not occur the fact that the fitting chase and the specialism occurs is not correct. sent10: the contorting Hamamelidanthum does not occur. sent11: if the fact that both the significantness and the economy happens does not hold then the conservativeness does not occur. sent12: the safe happens. sent13: if the moving occurs then the wiving occurs. sent14: the thrilling defender does not occur if that not the bedizening Loren but the thrilling defender happens is incorrect. sent15: the fact that not the fitting chase but the specialism occurs is wrong if the thrilling defender does not occur. sent16: the fact that the fitting chase and the specialism happens does not hold. sent17: the X-raying happens. sent18: the navigating occurs. sent19: the thrilling personableness does not occur.
void -> assump1: Let's assume that the thrilling defender does not occur.; sent15 & assump1 -> int1: that the fitting chase does not occur but the specialism occurs is false.; int1 & sent3 -> int2: the bedizening Loren occurs.; int2 & sent5 -> int3: the moving happens.; int3 & sent13 -> int4: the wiving happens.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the thrilling defender does not occur.
$hypothesis$ = the thrilling defender happens. ; $context$ = sent1: the bedizening Loren happens if the fitting chase occurs. sent2: the bedizening one-sixtieth happens. sent3: the bedizening Loren occurs if the fact that not the fitting chase but the specialism happens is false. sent4: the wiving does not occur. sent5: the moving occurs if the bedizening Loren occurs. sent6: the gape happens if that the scramming occurs is not incorrect. sent7: if the typographicness happens then the enumeration occurs. sent8: if the conservative does not occur that both the Michelangelesqueness and the wiving happens does not hold. sent9: if the thrilling defender does not occur the fact that the fitting chase and the specialism occurs is not correct. sent10: the contorting Hamamelidanthum does not occur. sent11: if the fact that both the significantness and the economy happens does not hold then the conservativeness does not occur. sent12: the safe happens. sent13: if the moving occurs then the wiving occurs. sent14: the thrilling defender does not occur if that not the bedizening Loren but the thrilling defender happens is incorrect. sent15: the fact that not the fitting chase but the specialism occurs is wrong if the thrilling defender does not occur. sent16: the fact that the fitting chase and the specialism happens does not hold. sent17: the X-raying happens. sent18: the navigating occurs. sent19: the thrilling personableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the thrilling defender does not occur.; sent15 & assump1 -> int1: that the fitting chase does not occur but the specialism occurs is false.; int1 & sent3 -> int2: the bedizening Loren occurs.; int2 & sent5 -> int3: the moving happens.; int3 & sent13 -> int4: the wiving happens.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__