the barring felony does not occur.
sent1: if the annalisticness does not occur then the radiotelephonicness occurs. sent2: if the electrifying occurs then the bellylessness occurs. sent3: the codification does not occur and the paramedicalness occurs. sent4: that the calorimetricness and the fielding superorder occurs leads to that the barring felony does not occur. sent5: the paramedicalness happens. sent6: if the annalisticness does not occur the radiotelephonicness and the raylessness happens. sent7: if the germiness occurs but the worsting does not occur the seduction does not occur. sent8: that the sermonizing does not occur is brought about by that the barring carbonado occurs but the beading trey does not occur. sent9: the cytologicalness occurs. sent10: the annalisticness does not occur. sent11: the electrifying does not occur if the fielding superorder occurs and the raylessness does not occur. sent12: if the fact that the burial and the bellylessness happens is incorrect the burial does not occur. sent13: the radiotelephonicness occurs. sent14: if the seduction does not occur then the fact that both the non-annalisticness and the non-radiotelephonicness happens is wrong. sent15: the scallop does not occur. sent16: if the bellylessness but not the fielding superorder happens then the raylessness does not occur. sent17: the calorimetricness happens. sent18: the electrifying is triggered by that the codification does not occur but the paramedicalness occurs.
sent18 & sent3 -> int1: the electrifying happens.; int1 & sent2 -> int2: the bellylessness happens.; void -> assump1: Let's assume that the fielding superorder does not occur.; int2 & assump1 -> int3: the bellylessness occurs and the fielding superorder does not occur.; int3 & sent16 -> int4: the raylessness does not occur.; sent6 & sent10 -> int5: the radiotelephonicness and the raylessness happens.; int5 -> int6: the raylessness occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fielding superorder occurs.; int8 & sent17 -> int9: the calorimetricness occurs and the fielding superorder occurs.; int9 & sent4 -> hypothesis;
the burial does not occur.
$hypothesis$ = the barring felony does not occur. ; $context$ = sent1: if the annalisticness does not occur then the radiotelephonicness occurs. sent2: if the electrifying occurs then the bellylessness occurs. sent3: the codification does not occur and the paramedicalness occurs. sent4: that the calorimetricness and the fielding superorder occurs leads to that the barring felony does not occur. sent5: the paramedicalness happens. sent6: if the annalisticness does not occur the radiotelephonicness and the raylessness happens. sent7: if the germiness occurs but the worsting does not occur the seduction does not occur. sent8: that the sermonizing does not occur is brought about by that the barring carbonado occurs but the beading trey does not occur. sent9: the cytologicalness occurs. sent10: the annalisticness does not occur. sent11: the electrifying does not occur if the fielding superorder occurs and the raylessness does not occur. sent12: if the fact that the burial and the bellylessness happens is incorrect the burial does not occur. sent13: the radiotelephonicness occurs. sent14: if the seduction does not occur then the fact that both the non-annalisticness and the non-radiotelephonicness happens is wrong. sent15: the scallop does not occur. sent16: if the bellylessness but not the fielding superorder happens then the raylessness does not occur. sent17: the calorimetricness happens. sent18: the electrifying is triggered by that the codification does not occur but the paramedicalness occurs. ; $proof$ = 
sent18 & sent3 -> int1: the electrifying happens.; int1 & sent2 -> int2: the bellylessness happens.; void -> assump1: Let's assume that the fielding superorder does not occur.; int2 & assump1 -> int3: the bellylessness occurs and the fielding superorder does not occur.; int3 & sent16 -> int4: the raylessness does not occur.; sent6 & sent10 -> int5: the radiotelephonicness and the raylessness happens.; int5 -> int6: the raylessness occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fielding superorder occurs.; int8 & sent17 -> int9: the calorimetricness occurs and the fielding superorder occurs.; int9 & sent4 -> hypothesis; __PROVED__