that not the hagiolatry but the re-creation happens is caused by that the relegation does not occur.
sent1: the haring happens. sent2: the adjoining locknut does not occur and the absolving happens if the fact that the boxing does not occur is true. sent3: that the camphoricness does not occur is prevented by the emulsifying lettuce. sent4: the Carolineness does not occur. sent5: that the Low occurs is triggered by the wheeling. sent6: if the fact that the reclassification happens is not false the humicness happens. sent7: the atomisticness does not occur. sent8: the relegation happens if the hagiolatry occurs. sent9: the anemicness happens. sent10: the Praetorianness happens. sent11: the hagiolatry does not occur and the re-creation happens if the relegation occurs. sent12: if the adjoining Burhinidae happens the notation happens. sent13: the emulsifying buyout happens. sent14: the remodeling flageolet happens. sent15: the remodeling say does not occur but the emulsifying incipiency happens. sent16: the basicness occurs if the remodeling absorptance occurs. sent17: the promotionalness occurs but the poeticsness does not occur. sent18: the emulsifying lettuce occurs and the Carolineness does not occur. sent19: the disfranchisement occurs.
void -> assump2: Let's assume that the hagiolatry occurs.; sent8 & assump2 -> int1: the relegation occurs.; void -> assump1: Let's assume that the relegation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hagiolatry does not occur.; sent18 -> int4: the emulsifying lettuce occurs.; sent3 & int4 -> int5: the camphoricness occurs.;
$hypothesis$ = that not the hagiolatry but the re-creation happens is caused by that the relegation does not occur. ; $context$ = sent1: the haring happens. sent2: the adjoining locknut does not occur and the absolving happens if the fact that the boxing does not occur is true. sent3: that the camphoricness does not occur is prevented by the emulsifying lettuce. sent4: the Carolineness does not occur. sent5: that the Low occurs is triggered by the wheeling. sent6: if the fact that the reclassification happens is not false the humicness happens. sent7: the atomisticness does not occur. sent8: the relegation happens if the hagiolatry occurs. sent9: the anemicness happens. sent10: the Praetorianness happens. sent11: the hagiolatry does not occur and the re-creation happens if the relegation occurs. sent12: if the adjoining Burhinidae happens the notation happens. sent13: the emulsifying buyout happens. sent14: the remodeling flageolet happens. sent15: the remodeling say does not occur but the emulsifying incipiency happens. sent16: the basicness occurs if the remodeling absorptance occurs. sent17: the promotionalness occurs but the poeticsness does not occur. sent18: the emulsifying lettuce occurs and the Carolineness does not occur. sent19: the disfranchisement occurs. ; $proof$ = 
void -> assump2: Let's assume that the hagiolatry occurs.; sent8 & assump2 -> int1: the relegation occurs.; void -> assump1: Let's assume that the relegation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hagiolatry does not occur.; sent18 -> int4: the emulsifying lettuce occurs.; sent3 & int4 -> int5: the camphoricness occurs.; __UNKNOWN__