that that not the keratoplasty but the gig happens does not hold if the Lancastrianness happens does not hold.
sent1: if that the Lancastrian happens is not incorrect then the keratoplasty does not occur but the gig happens. sent2: the behest happens. sent3: the endoscopy does not occur if the fact that the spattering occurs is not incorrect. sent4: the colorimetricness occurs. sent5: that both the non-Lancastrianness and the anxiolyticness happens triggers that the gig does not occur. sent6: if the Lancastrian occurs then the fact that the keratoplasty and the gig occurs is incorrect. sent7: that the causativeness does not occur is caused by that the untidiness occurs. sent8: the auditoriness does not occur if that the interdepartmentalness occurs is not false. sent9: the morphophonemicness does not occur. sent10: if the fact that the gig occurs hold then the Lancastrianness occurs. sent11: that not the Lancastrianness but the anxiolytic occurs is caused by that the scamper does not occur. sent12: the fact that both the keratoplasty and the gig happens is not correct. sent13: that the trafficking caricature happens prevents the Croatianness. sent14: that both the non-hemorrhagicness and the occupationalness occurs is not right. sent15: the psychogenicness does not occur. sent16: the keratoplasty does not occur. sent17: if the psychogenicness happens the fact that the fact that the Orion does not occur and the centering occurs is not correct hold. sent18: if the gig happens then the Lancastrianness does not occur.
void -> assump2: Let's assume that not the keratoplasty but the gig occurs.; assump2 -> int1: the gig happens.; int1 & sent18 -> int2: the Lancastrian does not occur.; void -> assump1: Let's assume that the Lancastrianness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the keratoplasty does not occur and the gig happens is not right.; [assump1] & int4 -> hypothesis;
that the messiahship does not occur is not right.
$hypothesis$ = that that not the keratoplasty but the gig happens does not hold if the Lancastrianness happens does not hold. ; $context$ = sent1: if that the Lancastrian happens is not incorrect then the keratoplasty does not occur but the gig happens. sent2: the behest happens. sent3: the endoscopy does not occur if the fact that the spattering occurs is not incorrect. sent4: the colorimetricness occurs. sent5: that both the non-Lancastrianness and the anxiolyticness happens triggers that the gig does not occur. sent6: if the Lancastrian occurs then the fact that the keratoplasty and the gig occurs is incorrect. sent7: that the causativeness does not occur is caused by that the untidiness occurs. sent8: the auditoriness does not occur if that the interdepartmentalness occurs is not false. sent9: the morphophonemicness does not occur. sent10: if the fact that the gig occurs hold then the Lancastrianness occurs. sent11: that not the Lancastrianness but the anxiolytic occurs is caused by that the scamper does not occur. sent12: the fact that both the keratoplasty and the gig happens is not correct. sent13: that the trafficking caricature happens prevents the Croatianness. sent14: that both the non-hemorrhagicness and the occupationalness occurs is not right. sent15: the psychogenicness does not occur. sent16: the keratoplasty does not occur. sent17: if the psychogenicness happens the fact that the fact that the Orion does not occur and the centering occurs is not correct hold. sent18: if the gig happens then the Lancastrianness does not occur. ; $proof$ = 
void -> assump2: Let's assume that not the keratoplasty but the gig occurs.; assump2 -> int1: the gig happens.; int1 & sent18 -> int2: the Lancastrian does not occur.; void -> assump1: Let's assume that the Lancastrianness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the keratoplasty does not occur and the gig happens is not right.; [assump1] & int4 -> hypothesis; __DISPROVED__