that the grandstand happens is not incorrect.
sent1: the exchanging happens and the high-low-jack does not occur if the calycularness does not occur. sent2: the trebling trente-et-quarante does not occur if the Socraticness does not occur. sent3: the absolution occurs. sent4: that the propping does not occur but the hitching Bozeman occurs is brought about by the exchanging. sent5: that the high-low-jack occurs is correct. sent6: if the exchanging occurs the hitching Bozeman happens. sent7: the hitching Bozeman occurs. sent8: either the eldership or the waterpower or both happens. sent9: if the fact that both the invisibleness and the grandstanding occurs does not hold the grandstanding does not occur. sent10: the props happens if the hitching waist but not the neocolonialism happens. sent11: the dorsiflexion occurs. sent12: the hitching Bozeman is brought about by that the exchanging occurs but the high-low-jack does not occur. sent13: the nonlinearness does not occur but the trebling predetermination occurs if the thirsting subbase happens. sent14: that the invisibleness does not occur and/or that the trebling Boise happens prevents the neocolonialism. sent15: the exchanging and the high-low-jack occurs. sent16: if the trebling Boise does not occur and the invisibleness does not occur then the circumvolution does not occur. sent17: the palpebrating happens. sent18: that the hitching waist does not occur prevents that the grandstanding does not occur. sent19: the trebling Boise occurs. sent20: the invisibleness happens and/or the trebling Boise happens.
sent19 -> int1: the invisibleness does not occur and/or the trebling Boise happens.; int1 & sent14 -> int2: the neocolonialism does not occur.; void -> assump1: Let's assume that the hitching waist happens.; int2 & assump1 -> int3: the hitching waist occurs but the neocolonialism does not occur.; int3 & sent10 -> int4: the fact that the propping happens is correct.; sent15 -> int5: the exchanging occurs.; sent4 & int5 -> int6: not the propping but the hitching Bozeman happens.; int6 -> int7: the props does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hitching waist does not occur.; int9 & sent18 -> hypothesis;
the grandstand does not occur.
$hypothesis$ = that the grandstand happens is not incorrect. ; $context$ = sent1: the exchanging happens and the high-low-jack does not occur if the calycularness does not occur. sent2: the trebling trente-et-quarante does not occur if the Socraticness does not occur. sent3: the absolution occurs. sent4: that the propping does not occur but the hitching Bozeman occurs is brought about by the exchanging. sent5: that the high-low-jack occurs is correct. sent6: if the exchanging occurs the hitching Bozeman happens. sent7: the hitching Bozeman occurs. sent8: either the eldership or the waterpower or both happens. sent9: if the fact that both the invisibleness and the grandstanding occurs does not hold the grandstanding does not occur. sent10: the props happens if the hitching waist but not the neocolonialism happens. sent11: the dorsiflexion occurs. sent12: the hitching Bozeman is brought about by that the exchanging occurs but the high-low-jack does not occur. sent13: the nonlinearness does not occur but the trebling predetermination occurs if the thirsting subbase happens. sent14: that the invisibleness does not occur and/or that the trebling Boise happens prevents the neocolonialism. sent15: the exchanging and the high-low-jack occurs. sent16: if the trebling Boise does not occur and the invisibleness does not occur then the circumvolution does not occur. sent17: the palpebrating happens. sent18: that the hitching waist does not occur prevents that the grandstanding does not occur. sent19: the trebling Boise occurs. sent20: the invisibleness happens and/or the trebling Boise happens. ; $proof$ = 
sent19 -> int1: the invisibleness does not occur and/or the trebling Boise happens.; int1 & sent14 -> int2: the neocolonialism does not occur.; void -> assump1: Let's assume that the hitching waist happens.; int2 & assump1 -> int3: the hitching waist occurs but the neocolonialism does not occur.; int3 & sent10 -> int4: the fact that the propping happens is correct.; sent15 -> int5: the exchanging occurs.; sent4 & int5 -> int6: not the propping but the hitching Bozeman happens.; int6 -> int7: the props does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hitching waist does not occur.; int9 & sent18 -> hypothesis; __PROVED__