both the archaeologicalness and the smudge happens.
sent1: if the lathering valency does not occur then the digest occurs. sent2: if that the archaeologicalness does not occur hold then the cuneiformness occurs and the eviscerating hull does not occur. sent3: the drowning occurs. sent4: if that the agonisticness does not occur is right then the smudge happens and the lathering clock occurs. sent5: the coursing happens. sent6: the downness occurs. sent7: that the cuneiformness but not the eviscerating hull happens causes that the actinometry does not occur. sent8: the lying does not occur. sent9: the staging thiamine and the sericulture happens. sent10: if the archaeologicalness does not occur then the cuneiformness happens. sent11: the cuneiform happens. sent12: the staging farming but not the idyll happens. sent13: the journey and the corvineness happens. sent14: that the agonisticness does not occur is true if the eviscerating witness does not occur. sent15: the calisthenicsness and the digesting occurs. sent16: if that the reshipment does not occur is not incorrect then the eviscerating long-sufferance occurs. sent17: both the microcosmicness and the actinometry occurs. sent18: if that both the non-electromechanicalness and the eviscerating witness occurs is false then the agonisticness does not occur. sent19: the detoxification occurs and the staging hull happens. sent20: the Adonicness occurs.
void -> assump1: Let's assume that the archaeologicalness does not occur.; sent2 & assump1 -> int1: the cuneiformness happens but the eviscerating hull does not occur.; int1 & sent7 -> int2: the actinometry does not occur.; sent17 -> int3: the actinometry happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the archaeologicalness happens.;
$hypothesis$ = both the archaeologicalness and the smudge happens. ; $context$ = sent1: if the lathering valency does not occur then the digest occurs. sent2: if that the archaeologicalness does not occur hold then the cuneiformness occurs and the eviscerating hull does not occur. sent3: the drowning occurs. sent4: if that the agonisticness does not occur is right then the smudge happens and the lathering clock occurs. sent5: the coursing happens. sent6: the downness occurs. sent7: that the cuneiformness but not the eviscerating hull happens causes that the actinometry does not occur. sent8: the lying does not occur. sent9: the staging thiamine and the sericulture happens. sent10: if the archaeologicalness does not occur then the cuneiformness happens. sent11: the cuneiform happens. sent12: the staging farming but not the idyll happens. sent13: the journey and the corvineness happens. sent14: that the agonisticness does not occur is true if the eviscerating witness does not occur. sent15: the calisthenicsness and the digesting occurs. sent16: if that the reshipment does not occur is not incorrect then the eviscerating long-sufferance occurs. sent17: both the microcosmicness and the actinometry occurs. sent18: if that both the non-electromechanicalness and the eviscerating witness occurs is false then the agonisticness does not occur. sent19: the detoxification occurs and the staging hull happens. sent20: the Adonicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the archaeologicalness does not occur.; sent2 & assump1 -> int1: the cuneiformness happens but the eviscerating hull does not occur.; int1 & sent7 -> int2: the actinometry does not occur.; sent17 -> int3: the actinometry happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the archaeologicalness happens.; __UNKNOWN__