the fact that the untuning allotment does not occur is not false.
sent1: the misremembering lizard's-tail occurs and the peekaboo happens. sent2: the megaloblasticness occurs if the fact that the resecting Fahrenheit does not occur is not incorrect. sent3: that either the Benedictine or the frontness or both happens is not wrong. sent4: if the Benedictine happens then the intractableness happens. sent5: the fact that the mortification does not occur and the untuning allotment happens is not correct if the intractableness happens. sent6: the resecting Fahrenheit does not occur if the fact that both the deployment and the non-atmosphericness occurs is not true. sent7: the intractableness happens if the fronting occurs. sent8: that the deployment and the non-atmosphericness happens is false if the lactation happens. sent9: that the seething does not occur and the classification does not occur is brought about by the pyemicness. sent10: if the seething does not occur then both the lactation and the electrolyticness occurs. sent11: that the fact that the boisterousness does not occur and the front does not occur is not true if the megaloblasticness happens hold. sent12: the misremembering lizard's-tail happens. sent13: if the fact that the mortification but not the usualness occurs does not hold then the usualness occurs. sent14: that the Benedictineness happens leads to the non-intractableness. sent15: the fact that the mortification happens is false if the misremembering lizard's-tail and the peekaboo occurs.
sent15 & sent1 -> int1: the fact that the mortification does not occur is not incorrect.; void -> assump1: Let's assume that the untuning allotment occurs.; int1 & assump1 -> int2: the mortification does not occur and the untuning allotment occurs.; sent3 & sent4 & sent7 -> int3: the intractableness occurs.; sent5 & int3 -> int4: that the mortification does not occur and the untuning allotment occurs is incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
both the usualness and the heedlessness occurs.
$hypothesis$ = the fact that the untuning allotment does not occur is not false. ; $context$ = sent1: the misremembering lizard's-tail occurs and the peekaboo happens. sent2: the megaloblasticness occurs if the fact that the resecting Fahrenheit does not occur is not incorrect. sent3: that either the Benedictine or the frontness or both happens is not wrong. sent4: if the Benedictine happens then the intractableness happens. sent5: the fact that the mortification does not occur and the untuning allotment happens is not correct if the intractableness happens. sent6: the resecting Fahrenheit does not occur if the fact that both the deployment and the non-atmosphericness occurs is not true. sent7: the intractableness happens if the fronting occurs. sent8: that the deployment and the non-atmosphericness happens is false if the lactation happens. sent9: that the seething does not occur and the classification does not occur is brought about by the pyemicness. sent10: if the seething does not occur then both the lactation and the electrolyticness occurs. sent11: that the fact that the boisterousness does not occur and the front does not occur is not true if the megaloblasticness happens hold. sent12: the misremembering lizard's-tail happens. sent13: if the fact that the mortification but not the usualness occurs does not hold then the usualness occurs. sent14: that the Benedictineness happens leads to the non-intractableness. sent15: the fact that the mortification happens is false if the misremembering lizard's-tail and the peekaboo occurs. ; $proof$ = 
sent15 & sent1 -> int1: the fact that the mortification does not occur is not incorrect.; void -> assump1: Let's assume that the untuning allotment occurs.; int1 & assump1 -> int2: the mortification does not occur and the untuning allotment occurs.; sent3 & sent4 & sent7 -> int3: the intractableness occurs.; sent5 & int3 -> int4: that the mortification does not occur and the untuning allotment occurs is incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__