the concoction does not occur.
sent1: the placation does not occur and the circumcision does not occur if the attritionalness occurs. sent2: the reciting happens if the captioning occurs. sent3: that the defaulting ram occurs and the dichotomization does not occur is false if the marveling octillion occurs. sent4: that the circumcision does not occur causes that both the concoction and the attritionalness happens. sent5: both the placation and the aeration happens if the underpayment does not occur. sent6: the towing does not occur. sent7: that both the underpayment and the application happens is caused by that the dislocation does not occur. sent8: the Ford occurs. sent9: that not the dislocation but the illusion occurs is caused by that the powdering lass does not occur. sent10: the anoxicness occurs. sent11: the rubdown does not occur and the Gallicanness does not occur. sent12: the application does not occur and the underpayment does not occur. sent13: the defaulting Coccidae happens. sent14: the cogitativeness happens. sent15: if the underpayment occurs then that not the aeration but the placation happens is false. sent16: if the Bermudanness does not occur then both the marveling incinerator and the combat occurs. sent17: the Bermudanness happens. sent18: if the assessment does not occur then the marveling gaudery occurs. sent19: if the concoction occurs then the attritionalness happens. sent20: if that the defaulting ram occurs and the dichotomization does not occur is wrong the powdering lass does not occur.
void -> assump1: Let's assume that the concoction occurs.; sent19 & assump1 -> int1: the attritionalness occurs.; int1 & sent1 -> int2: the placation does not occur and the circumcision does not occur.; int2 -> int3: the placation does not occur.; sent12 -> int4: the underpayment does not occur.; sent5 & int4 -> int5: the placation and the aeration occurs.; int5 -> int6: the placation occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the fact that the concoction occurs is true.
$hypothesis$ = the concoction does not occur. ; $context$ = sent1: the placation does not occur and the circumcision does not occur if the attritionalness occurs. sent2: the reciting happens if the captioning occurs. sent3: that the defaulting ram occurs and the dichotomization does not occur is false if the marveling octillion occurs. sent4: that the circumcision does not occur causes that both the concoction and the attritionalness happens. sent5: both the placation and the aeration happens if the underpayment does not occur. sent6: the towing does not occur. sent7: that both the underpayment and the application happens is caused by that the dislocation does not occur. sent8: the Ford occurs. sent9: that not the dislocation but the illusion occurs is caused by that the powdering lass does not occur. sent10: the anoxicness occurs. sent11: the rubdown does not occur and the Gallicanness does not occur. sent12: the application does not occur and the underpayment does not occur. sent13: the defaulting Coccidae happens. sent14: the cogitativeness happens. sent15: if the underpayment occurs then that not the aeration but the placation happens is false. sent16: if the Bermudanness does not occur then both the marveling incinerator and the combat occurs. sent17: the Bermudanness happens. sent18: if the assessment does not occur then the marveling gaudery occurs. sent19: if the concoction occurs then the attritionalness happens. sent20: if that the defaulting ram occurs and the dichotomization does not occur is wrong the powdering lass does not occur. ; $proof$ = 
void -> assump1: Let's assume that the concoction occurs.; sent19 & assump1 -> int1: the attritionalness occurs.; int1 & sent1 -> int2: the placation does not occur and the circumcision does not occur.; int2 -> int3: the placation does not occur.; sent12 -> int4: the underpayment does not occur.; sent5 & int4 -> int5: the placation and the aeration occurs.; int5 -> int6: the placation occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__