if the scaleneness does not occur then the side-glance and/or the hamming happens.
sent1: that the carrier does not occur and the cardinalship does not occur does not hold if the capacity does not occur. sent2: if the capacity does not occur then the fact that the carrier but not the cardinalship occurs is incorrect. sent3: the fact that the carrier does not occur but the cardinalship happens is false. sent4: that the filicide does not occur and the vitiliginousness does not occur is false. sent5: the spending Toulouse occurs. sent6: the fact that the spending Kennan happens is not incorrect. sent7: that the carrier but not the cardinalship happens is wrong. sent8: if the retarding does not occur the fact that the chastening hydrochlorofluorocarbon does not occur and the spending sandaled does not occur is wrong. sent9: the scaleneness happens if that the carrier does not occur and the cardinalship does not occur is wrong. sent10: the napoleon occurs. sent11: the spending fecundity does not occur. sent12: the wiretaping happens. sent13: the scaleneness triggers either the side-glance or that the hamming happens or both. sent14: if the supraorbitalness does not occur then the fact that the reappearance does not occur and the Alaskan does not occur is not correct. sent15: the fact that the laboring aikido happens hold if that the heliotherapy does not occur and the Yumanness does not occur is wrong. sent16: that the hamming happens is not wrong if the capacity happens. sent17: the extirpation happens and/or the outfitting occurs. sent18: that not the carrier but the cardinalship occurs does not hold if the capacity does not occur. sent19: the predetermination occurs.
void -> assump1: Let's assume that the capacity does not occur.; sent1 & assump1 -> int1: that that the carrier does not occur and the cardinalship does not occur is wrong hold.; sent9 & int1 -> int2: the scaleneness occurs.; void -> assump2: Let's assume that the scaleneness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capacity happens.; sent16 & int4 -> int5: the fact that the hamming occurs hold.; int5 -> int6: that either the side-glance occurs or the hamming occurs or both is not incorrect.; [assump2] & int6 -> hypothesis;
$hypothesis$ = if the scaleneness does not occur then the side-glance and/or the hamming happens. ; $context$ = sent1: that the carrier does not occur and the cardinalship does not occur does not hold if the capacity does not occur. sent2: if the capacity does not occur then the fact that the carrier but not the cardinalship occurs is incorrect. sent3: the fact that the carrier does not occur but the cardinalship happens is false. sent4: that the filicide does not occur and the vitiliginousness does not occur is false. sent5: the spending Toulouse occurs. sent6: the fact that the spending Kennan happens is not incorrect. sent7: that the carrier but not the cardinalship happens is wrong. sent8: if the retarding does not occur the fact that the chastening hydrochlorofluorocarbon does not occur and the spending sandaled does not occur is wrong. sent9: the scaleneness happens if that the carrier does not occur and the cardinalship does not occur is wrong. sent10: the napoleon occurs. sent11: the spending fecundity does not occur. sent12: the wiretaping happens. sent13: the scaleneness triggers either the side-glance or that the hamming happens or both. sent14: if the supraorbitalness does not occur then the fact that the reappearance does not occur and the Alaskan does not occur is not correct. sent15: the fact that the laboring aikido happens hold if that the heliotherapy does not occur and the Yumanness does not occur is wrong. sent16: that the hamming happens is not wrong if the capacity happens. sent17: the extirpation happens and/or the outfitting occurs. sent18: that not the carrier but the cardinalship occurs does not hold if the capacity does not occur. sent19: the predetermination occurs. ; $proof$ = 
void -> assump1: Let's assume that the capacity does not occur.; sent1 & assump1 -> int1: that that the carrier does not occur and the cardinalship does not occur is wrong hold.; sent9 & int1 -> int2: the scaleneness occurs.; void -> assump2: Let's assume that the scaleneness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capacity happens.; sent16 & int4 -> int5: the fact that the hamming occurs hold.; int5 -> int6: that either the side-glance occurs or the hamming occurs or both is not incorrect.; [assump2] & int6 -> hypothesis; __PROVED__