the secretarialness happens and the becoming happens.
sent1: the fact that the cornering does not occur and the interposing macroevolution does not occur is not right if the arriving Cannae does not occur. sent2: that the defervescentness occurs brings about the arriving coelenteron. sent3: if the unpaintableness does not occur that both the magneticness and the bastardization occurs is not right. sent4: the secretarialness occurs if the mutter occurs. sent5: if that the cornering does not occur and the interposing macroevolution does not occur does not hold the interposing Theseus happens. sent6: if the unpaintableness does not occur then that the nonmagneticness does not occur and the bastardization does not occur is not right. sent7: that the exergonicness does not occur and the becoming does not occur is not right. sent8: if the interposing Theseus happens then the mutter happens. sent9: if that the nonmagneticness does not occur and the bastardization does not occur does not hold then the arriving Cannae does not occur. sent10: if the fact that the exergonicness does not occur and the becoming does not occur is incorrect the becoming occurs. sent11: if the curbing haircut does not occur the fact that the curbing Bretagne does not occur and the agrobiologicness occurs is wrong. sent12: the cornering does not occur if that both the interposing Theseus and the interposing macroevolution happens is incorrect. sent13: the fact that the falling does not occur and the lordolatry happens is not true.
sent10 & sent7 -> int1: the becoming occurs.;
the anoxicness happens.
$hypothesis$ = the secretarialness happens and the becoming happens. ; $context$ = sent1: the fact that the cornering does not occur and the interposing macroevolution does not occur is not right if the arriving Cannae does not occur. sent2: that the defervescentness occurs brings about the arriving coelenteron. sent3: if the unpaintableness does not occur that both the magneticness and the bastardization occurs is not right. sent4: the secretarialness occurs if the mutter occurs. sent5: if that the cornering does not occur and the interposing macroevolution does not occur does not hold the interposing Theseus happens. sent6: if the unpaintableness does not occur then that the nonmagneticness does not occur and the bastardization does not occur is not right. sent7: that the exergonicness does not occur and the becoming does not occur is not right. sent8: if the interposing Theseus happens then the mutter happens. sent9: if that the nonmagneticness does not occur and the bastardization does not occur does not hold then the arriving Cannae does not occur. sent10: if the fact that the exergonicness does not occur and the becoming does not occur is incorrect the becoming occurs. sent11: if the curbing haircut does not occur the fact that the curbing Bretagne does not occur and the agrobiologicness occurs is wrong. sent12: the cornering does not occur if that both the interposing Theseus and the interposing macroevolution happens is incorrect. sent13: the fact that the falling does not occur and the lordolatry happens is not true. ; $proof$ = 
sent10 & sent7 -> int1: the becoming occurs.; __UNKNOWN__