the piping sirdar does not occur but the axonalness happens.
sent1: the absolution does not occur and the frailness occurs if the Lincolnesqueness does not occur. sent2: the twinge does not occur and the high-low-jack does not occur if the jumping Woodbury occurs. sent3: the disco does not occur. sent4: if the jumping Woodbury occurs and/or the checking does not occur then the fact that the exergonicness happens is not false. sent5: if the twinging does not occur then that either the jumping Woodbury happens or the checking does not occur or both is correct. sent6: the high-low-jack occurs. sent7: the fact that that the squish happens or the twinge happens or both hold prevents that the high-low-jack happens. sent8: if the twinge does not occur and the high-low-jack does not occur then the squishing does not occur. sent9: the non-frailness is caused by that the exergonicness and the absolution happens. sent10: the fact that the absolution occurs hold. sent11: that not the piping sirdar but the axonalness occurs is triggered by that the frail does not occur.
void -> assump1: Let's assume that the twinging happens.; assump1 -> int1: either the squish happens or the twinge happens or both.; int1 & sent7 -> int2: the high-low-jack does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the twinging does not occur.; int4 & sent5 -> int5: either the jumping Woodbury occurs or the check does not occur or both.; int5 & sent4 -> int6: the exergonicness occurs.; int6 & sent10 -> int7: the exergonicness happens and the absolution occurs.; int7 & sent9 -> int8: the frailness does not occur.; int8 & sent11 -> hypothesis;
that not the piping sirdar but the axonalness occurs does not hold.
$hypothesis$ = the piping sirdar does not occur but the axonalness happens. ; $context$ = sent1: the absolution does not occur and the frailness occurs if the Lincolnesqueness does not occur. sent2: the twinge does not occur and the high-low-jack does not occur if the jumping Woodbury occurs. sent3: the disco does not occur. sent4: if the jumping Woodbury occurs and/or the checking does not occur then the fact that the exergonicness happens is not false. sent5: if the twinging does not occur then that either the jumping Woodbury happens or the checking does not occur or both is correct. sent6: the high-low-jack occurs. sent7: the fact that that the squish happens or the twinge happens or both hold prevents that the high-low-jack happens. sent8: if the twinge does not occur and the high-low-jack does not occur then the squishing does not occur. sent9: the non-frailness is caused by that the exergonicness and the absolution happens. sent10: the fact that the absolution occurs hold. sent11: that not the piping sirdar but the axonalness occurs is triggered by that the frail does not occur. ; $proof$ = 
void -> assump1: Let's assume that the twinging happens.; assump1 -> int1: either the squish happens or the twinge happens or both.; int1 & sent7 -> int2: the high-low-jack does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the twinging does not occur.; int4 & sent5 -> int5: either the jumping Woodbury occurs or the check does not occur or both.; int5 & sent4 -> int6: the exergonicness occurs.; int6 & sent10 -> int7: the exergonicness happens and the absolution occurs.; int7 & sent9 -> int8: the frailness does not occur.; int8 & sent11 -> hypothesis; __PROVED__