the freezing does not occur if the registering happens.
sent1: if the tossing does not occur and the attainment occurs then the register does not occur. sent2: the basing occurs. sent3: the caudate happens. sent4: the non-uniovularness yields that the cytophotometry happens and the freezing occurs. sent5: the chieftaincy happens and the freeze happens if the uniovularness does not occur. sent6: if the basing happens the attainment occurs. sent7: the uniovularness prevents the toss. sent8: if the register happens then the freezing occurs. sent9: that the uniovularness does not occur is triggered by that the tossing happens or that the attainment does not occur or both. sent10: the shooting occurs. sent11: the fact that the toilet-training Spinus happens and/or the court-martialing happens hold. sent12: if the uniovularness does not occur the liliaceousness and the freeze occurs. sent13: the toss does not occur if the freezing and/or the uniovularness happens. sent14: the weedlessness does not occur. sent15: the Incanness does not occur. sent16: the tossing does not occur and the uniovularness does not occur if the attainment does not occur.
void -> assump1: Let's assume that the freezing happens.; assump1 -> int1: either the freezing or the uniovularness or both happens.; int1 & sent13 -> int2: the tossing does not occur.; sent6 & sent2 -> int3: the attainment occurs.; int2 & int3 -> int4: not the tossing but the attainment occurs.; int4 & sent1 -> int5: that the register does not occur hold.; void -> assump2: Let's assume that the registering happens.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the freeze does not occur.; [assump2] & int7 -> hypothesis;
the chieftaincy happens and/or the crush occurs.
$hypothesis$ = the freezing does not occur if the registering happens. ; $context$ = sent1: if the tossing does not occur and the attainment occurs then the register does not occur. sent2: the basing occurs. sent3: the caudate happens. sent4: the non-uniovularness yields that the cytophotometry happens and the freezing occurs. sent5: the chieftaincy happens and the freeze happens if the uniovularness does not occur. sent6: if the basing happens the attainment occurs. sent7: the uniovularness prevents the toss. sent8: if the register happens then the freezing occurs. sent9: that the uniovularness does not occur is triggered by that the tossing happens or that the attainment does not occur or both. sent10: the shooting occurs. sent11: the fact that the toilet-training Spinus happens and/or the court-martialing happens hold. sent12: if the uniovularness does not occur the liliaceousness and the freeze occurs. sent13: the toss does not occur if the freezing and/or the uniovularness happens. sent14: the weedlessness does not occur. sent15: the Incanness does not occur. sent16: the tossing does not occur and the uniovularness does not occur if the attainment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the freezing happens.; assump1 -> int1: either the freezing or the uniovularness or both happens.; int1 & sent13 -> int2: the tossing does not occur.; sent6 & sent2 -> int3: the attainment occurs.; int2 & int3 -> int4: not the tossing but the attainment occurs.; int4 & sent1 -> int5: that the register does not occur hold.; void -> assump2: Let's assume that the registering happens.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the freeze does not occur.; [assump2] & int7 -> hypothesis; __PROVED__