the lactealness does not occur.
sent1: if the fact that the drinking Lutheran does not occur is right the retaliation does not occur. sent2: the realizing oboe happens. sent3: that the lactealness happens is prevented by that the framing and the tabularness happens. sent4: the framing happens if the imitation does not occur and/or the honoring occurs. sent5: if the induction occurs the realizing enterokinase occurs and the drinking Lutheran does not occur. sent6: if the tabularness does not occur that the framing does not occur but the realizing oboe happens is wrong. sent7: not the carbonating tantalum but the tractiveness happens if the aptitudinalness does not occur. sent8: the realizing oboe does not occur if that the imitation does not occur and/or the honoring occurs is not right. sent9: if the carbonating walk-up occurs the fact that the meritocraticness does not occur and the catheterization does not occur is not correct. sent10: the realizing filicide and the carbonating walk-up happens if the retaliation does not occur. sent11: the tabularness occurs. sent12: that the carbonating tantalum does not occur results in that the carbonating articulator occurs and/or the moonlessness happens. sent13: if the fact that the meritocraticness does not occur and the catheterization does not occur is not correct then the tabularness does not occur.
void -> assump1: Let's assume that that the imitation does not occur and/or the honor occurs is not right.; sent8 & assump1 -> int1: the realizing oboe does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the imitation does not occur or the honor happens or both.; int3 & sent4 -> int4: the framing happens.; int4 & sent11 -> int5: the framing and the tabularness occurs.; int5 & sent3 -> hypothesis;
the lactealness happens.
$hypothesis$ = the lactealness does not occur. ; $context$ = sent1: if the fact that the drinking Lutheran does not occur is right the retaliation does not occur. sent2: the realizing oboe happens. sent3: that the lactealness happens is prevented by that the framing and the tabularness happens. sent4: the framing happens if the imitation does not occur and/or the honoring occurs. sent5: if the induction occurs the realizing enterokinase occurs and the drinking Lutheran does not occur. sent6: if the tabularness does not occur that the framing does not occur but the realizing oboe happens is wrong. sent7: not the carbonating tantalum but the tractiveness happens if the aptitudinalness does not occur. sent8: the realizing oboe does not occur if that the imitation does not occur and/or the honoring occurs is not right. sent9: if the carbonating walk-up occurs the fact that the meritocraticness does not occur and the catheterization does not occur is not correct. sent10: the realizing filicide and the carbonating walk-up happens if the retaliation does not occur. sent11: the tabularness occurs. sent12: that the carbonating tantalum does not occur results in that the carbonating articulator occurs and/or the moonlessness happens. sent13: if the fact that the meritocraticness does not occur and the catheterization does not occur is not correct then the tabularness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the imitation does not occur and/or the honor occurs is not right.; sent8 & assump1 -> int1: the realizing oboe does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the imitation does not occur or the honor happens or both.; int3 & sent4 -> int4: the framing happens.; int4 & sent11 -> int5: the framing and the tabularness occurs.; int5 & sent3 -> hypothesis; __PROVED__