the gladiatorialness does not occur.
sent1: the gladiatorialness does not occur if the fact that the emmetropicness does not occur and the pull-up does not occur is not right. sent2: if the fact that the boomerang happens but the cereal does not occur is not correct then the voyage does not occur. sent3: the MOT does not occur. sent4: if the stint does not occur then that the emmetropicness does not occur and the pull-up does not occur does not hold. sent5: if the stinting happens that both the boomeranging and the non-cerealness happens is wrong. sent6: if the MOT occurs that the pull-up does not occur but the crucialness happens is wrong. sent7: if that the pull-up does not occur but the crucialness happens is not right then the fact that the emmetropicness does not occur is not incorrect. sent8: the deglazing Lysenko does not occur if the voyage happens and/or the stint does not occur. sent9: if the barring Acipenseridae does not occur the confusion occurs and the Trojan happens. sent10: that the deglazing nobelium occurs and the conditions does not occur is not correct. sent11: the crucialness occurs and the voyaging occurs if the MOT does not occur. sent12: if the fact that the MOT does not occur but the confusion occurs is false the MOT occurs. sent13: if the fact that the fact that the pull-up and the non-gladiatorialness occurs is not incorrect is not correct then the emmetropicness does not occur. sent14: if the cenogeneticness happens then that both the pelter and the desertion occurs does not hold. sent15: if that the percolation does not occur is correct then the crucialness and the MOT happens.
void -> assump1: Let's assume that the stinting happens.; sent5 & assump1 -> int1: the fact that the boomeranging occurs but the cerealness does not occur is not right.; int1 & sent2 -> int2: the voyaging does not occur.; sent11 & sent3 -> int3: the crucialness happens and the voyage occurs.; int3 -> int4: the voyage happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the stint does not occur.; int6 & sent4 -> int7: the fact that the emmetropicness does not occur and the pull-up does not occur is not true.; int7 & sent1 -> hypothesis;
the deglazing Lysenko does not occur.
$hypothesis$ = the gladiatorialness does not occur. ; $context$ = sent1: the gladiatorialness does not occur if the fact that the emmetropicness does not occur and the pull-up does not occur is not right. sent2: if the fact that the boomerang happens but the cereal does not occur is not correct then the voyage does not occur. sent3: the MOT does not occur. sent4: if the stint does not occur then that the emmetropicness does not occur and the pull-up does not occur does not hold. sent5: if the stinting happens that both the boomeranging and the non-cerealness happens is wrong. sent6: if the MOT occurs that the pull-up does not occur but the crucialness happens is wrong. sent7: if that the pull-up does not occur but the crucialness happens is not right then the fact that the emmetropicness does not occur is not incorrect. sent8: the deglazing Lysenko does not occur if the voyage happens and/or the stint does not occur. sent9: if the barring Acipenseridae does not occur the confusion occurs and the Trojan happens. sent10: that the deglazing nobelium occurs and the conditions does not occur is not correct. sent11: the crucialness occurs and the voyaging occurs if the MOT does not occur. sent12: if the fact that the MOT does not occur but the confusion occurs is false the MOT occurs. sent13: if the fact that the fact that the pull-up and the non-gladiatorialness occurs is not incorrect is not correct then the emmetropicness does not occur. sent14: if the cenogeneticness happens then that both the pelter and the desertion occurs does not hold. sent15: if that the percolation does not occur is correct then the crucialness and the MOT happens. ; $proof$ = 
void -> assump1: Let's assume that the stinting happens.; sent5 & assump1 -> int1: the fact that the boomeranging occurs but the cerealness does not occur is not right.; int1 & sent2 -> int2: the voyaging does not occur.; sent11 & sent3 -> int3: the crucialness happens and the voyage occurs.; int3 -> int4: the voyage happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the stint does not occur.; int6 & sent4 -> int7: the fact that the emmetropicness does not occur and the pull-up does not occur is not true.; int7 & sent1 -> hypothesis; __PROVED__