the reddening guitarfish occurs.
sent1: if the fact that both the tetanicness and the clip-clop occurs is incorrect the accommodating myxedema does not occur. sent2: the reddening Gerbert does not occur if the fact that the accommodating disownment and the reddening Gerbert occurs is not right. sent3: if the plumping does not occur that the accommodating disownment and the reddening Gerbert happens is not true. sent4: the sacking happens and the reddening tootle happens if the accommodating myxedema does not occur. sent5: if the calcanealness does not occur that both the tetanicness and the clip-clop occurs is incorrect. sent6: if the questionableness does not occur the fact that the Mark does not occur is not incorrect. sent7: if the frictionlessness occurs the plump does not occur. sent8: the calcanealness does not occur if that both the calcanealness and the axiomaticness happens is not correct. sent9: if the Mark does not occur then the fact that both the calcanealness and the axiomaticness happens is not right. sent10: the frictionlessness occurs if the intractableness but not the recusancy occurs. sent11: if the counterfire does not occur the bellows does not occur. sent12: the fact that if the reddening guitarfish does not occur the counterfire does not occur and the radiation happens hold. sent13: the fact that the reddening profiling but not the detachment happens is false if the reddening tootle occurs. sent14: the counterfire and the stinking happens if the radiation does not occur. sent15: if that the reddening profiling but not the detachment occurs does not hold then the ornamentation does not occur. sent16: that the radiation happens is prevented by that the lowering happens and the bauxiticness happens. sent17: if the ornamentation does not occur the intractableness but not the recusancy happens. sent18: that the reddening Gerbert does not occur causes that the bellows but not the reddening guitarfish occurs.
void -> assump1: Let's assume that the reddening guitarfish does not occur.; sent12 & assump1 -> int1: not the counterfire but the radiation occurs.; int1 -> int2: the counterfire does not occur.; int2 & sent11 -> int3: the bellowing does not occur.;
the reddening guitarfish does not occur.
$hypothesis$ = the reddening guitarfish occurs. ; $context$ = sent1: if the fact that both the tetanicness and the clip-clop occurs is incorrect the accommodating myxedema does not occur. sent2: the reddening Gerbert does not occur if the fact that the accommodating disownment and the reddening Gerbert occurs is not right. sent3: if the plumping does not occur that the accommodating disownment and the reddening Gerbert happens is not true. sent4: the sacking happens and the reddening tootle happens if the accommodating myxedema does not occur. sent5: if the calcanealness does not occur that both the tetanicness and the clip-clop occurs is incorrect. sent6: if the questionableness does not occur the fact that the Mark does not occur is not incorrect. sent7: if the frictionlessness occurs the plump does not occur. sent8: the calcanealness does not occur if that both the calcanealness and the axiomaticness happens is not correct. sent9: if the Mark does not occur then the fact that both the calcanealness and the axiomaticness happens is not right. sent10: the frictionlessness occurs if the intractableness but not the recusancy occurs. sent11: if the counterfire does not occur the bellows does not occur. sent12: the fact that if the reddening guitarfish does not occur the counterfire does not occur and the radiation happens hold. sent13: the fact that the reddening profiling but not the detachment happens is false if the reddening tootle occurs. sent14: the counterfire and the stinking happens if the radiation does not occur. sent15: if that the reddening profiling but not the detachment occurs does not hold then the ornamentation does not occur. sent16: that the radiation happens is prevented by that the lowering happens and the bauxiticness happens. sent17: if the ornamentation does not occur the intractableness but not the recusancy happens. sent18: that the reddening Gerbert does not occur causes that the bellows but not the reddening guitarfish occurs. ; $proof$ = 
void -> assump1: Let's assume that the reddening guitarfish does not occur.; sent12 & assump1 -> int1: not the counterfire but the radiation occurs.; int1 -> int2: the counterfire does not occur.; int2 & sent11 -> int3: the bellowing does not occur.; __UNKNOWN__