the peopling does not occur.
sent1: that the killing does not occur is caused by either that the transmigration occurs or that the thermoelectricity occurs or both. sent2: the Caucasian does not occur. sent3: if the malformation does not occur then the autotomicness does not occur. sent4: the thermoelectricity occurs. sent5: the fact that both the nonenzymaticness and the discountenancing trampoline occurs is true if the fragmenting hyperbaton does not occur. sent6: the compromise is triggered by the allocution. sent7: if the salting kinesiology occurs that the compromising occurs is right. sent8: the peoples does not occur if the fact that either the Caucasian occurs or the brimlessness occurs or both is false. sent9: that both the compromising and the substantivalness occurs yields that the gig does not occur. sent10: the allocution happens and/or the salting kinesiology happens. sent11: if the killing does not occur then the fact that the Caucasian and/or the brimlessness happens does not hold. sent12: that the gig does not occur causes that the discountenancing hashmark but not the fragmenting hyperbaton occurs. sent13: if that the nonenzymaticness happens is not wrong the brimlessness does not occur.
sent4 -> int1: the transmigration happens or the thermoelectricity occurs or both.; sent1 & int1 -> int2: the killing does not occur.; sent11 & int2 -> int3: that the Caucasian or the brimlessness or both happens is incorrect.; sent8 & int3 -> hypothesis;
the peopling occurs.
sent10 & sent6 & sent7 -> int4: the compromising occurs.;
$hypothesis$ = the peopling does not occur. ; $context$ = sent1: that the killing does not occur is caused by either that the transmigration occurs or that the thermoelectricity occurs or both. sent2: the Caucasian does not occur. sent3: if the malformation does not occur then the autotomicness does not occur. sent4: the thermoelectricity occurs. sent5: the fact that both the nonenzymaticness and the discountenancing trampoline occurs is true if the fragmenting hyperbaton does not occur. sent6: the compromise is triggered by the allocution. sent7: if the salting kinesiology occurs that the compromising occurs is right. sent8: the peoples does not occur if the fact that either the Caucasian occurs or the brimlessness occurs or both is false. sent9: that both the compromising and the substantivalness occurs yields that the gig does not occur. sent10: the allocution happens and/or the salting kinesiology happens. sent11: if the killing does not occur then the fact that the Caucasian and/or the brimlessness happens does not hold. sent12: that the gig does not occur causes that the discountenancing hashmark but not the fragmenting hyperbaton occurs. sent13: if that the nonenzymaticness happens is not wrong the brimlessness does not occur. ; $proof$ = 
sent4 -> int1: the transmigration happens or the thermoelectricity occurs or both.; sent1 & int1 -> int2: the killing does not occur.; sent11 & int2 -> int3: that the Caucasian or the brimlessness or both happens is incorrect.; sent8 & int3 -> hypothesis; __PROVED__