that the sublingualness occurs causes that not the enrichment but the momism occurs.
sent1: the reigning grand does not occur. sent2: the horsewhipping and the vengeance occurs. sent3: if the darts and the micropylarness happens the enrichment does not occur. sent4: both the non-environmentalness and the ligation happens. sent5: the annexation does not occur and the centrosomicness happens if the Albanianness happens. sent6: the micropylarness and the saprobicness happens. sent7: the staling Bougainville happens. sent8: the saprobicness occurs. sent9: the smashing Zygocactus does not occur if the unsalableness and the menstrualness occurs. sent10: that the absorbent occurs but the overbid does not occur is triggered by the lark. sent11: if the trying occurs then the momism occurs and the reigning grand does not occur. sent12: the fact that the transaction occurs is not wrong. sent13: if the waxing happens not the bizonalness but the smashing monarchism happens. sent14: the background does not occur. sent15: the trying occurs. sent16: the demotion happens but the breaking does not occur if the barbecuing occurs. sent17: if that the abomasalness occurs hold not the Byzantineness but the transatlanticness occurs. sent18: the affineness happens. sent19: if the trying happens the reigning grand does not occur. sent20: the angelicness but not the retrenching occurs. sent21: the cathodicness does not occur if the background happens. sent22: the darts happens if the fact that the sublingualness occurs is not incorrect.
void -> assump1: Let's assume that the sublingualness occurs.; sent22 & assump1 -> int1: the darts occurs.; sent6 -> int2: the micropylarness occurs.; int1 & int2 -> int3: the darting and the micropylarness occurs.; int3 & sent3 -> int4: the enrichment does not occur.; sent11 & sent15 -> int5: the momism but not the reigning grand occurs.; int5 -> int6: the momism occurs.; int4 & int6 -> int7: not the enrichment but the momism occurs.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the sublingualness occurs causes that not the enrichment but the momism occurs. ; $context$ = sent1: the reigning grand does not occur. sent2: the horsewhipping and the vengeance occurs. sent3: if the darts and the micropylarness happens the enrichment does not occur. sent4: both the non-environmentalness and the ligation happens. sent5: the annexation does not occur and the centrosomicness happens if the Albanianness happens. sent6: the micropylarness and the saprobicness happens. sent7: the staling Bougainville happens. sent8: the saprobicness occurs. sent9: the smashing Zygocactus does not occur if the unsalableness and the menstrualness occurs. sent10: that the absorbent occurs but the overbid does not occur is triggered by the lark. sent11: if the trying occurs then the momism occurs and the reigning grand does not occur. sent12: the fact that the transaction occurs is not wrong. sent13: if the waxing happens not the bizonalness but the smashing monarchism happens. sent14: the background does not occur. sent15: the trying occurs. sent16: the demotion happens but the breaking does not occur if the barbecuing occurs. sent17: if that the abomasalness occurs hold not the Byzantineness but the transatlanticness occurs. sent18: the affineness happens. sent19: if the trying happens the reigning grand does not occur. sent20: the angelicness but not the retrenching occurs. sent21: the cathodicness does not occur if the background happens. sent22: the darts happens if the fact that the sublingualness occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the sublingualness occurs.; sent22 & assump1 -> int1: the darts occurs.; sent6 -> int2: the micropylarness occurs.; int1 & int2 -> int3: the darting and the micropylarness occurs.; int3 & sent3 -> int4: the enrichment does not occur.; sent11 & sent15 -> int5: the momism but not the reigning grand occurs.; int5 -> int6: the momism occurs.; int4 & int6 -> int7: not the enrichment but the momism occurs.; [assump1] & int7 -> hypothesis; __PROVED__