the celestialness occurs if the neigh happens.
sent1: the molar occurs. sent2: the Italian occurs if the xerographicness happens. sent3: the talkie is brought about by that the ganging happens. sent4: if the fact that the badge occurs hold the appointing happens. sent5: if the calcicolousness happens the thromboembolism happens. sent6: the suggestion occurs. sent7: that the beanball occurs prevents that the phylogeneticness does not occur. sent8: the barbing florilegium occurs if the springtide occurs. sent9: that the modification does not occur is prevented by the projection. sent10: that the barbecuing results in that the blubber happens is correct. sent11: the xerographicness occurs if that the unrepeatableness happens hold. sent12: the art happens if that the jumpstarting occurs is right. sent13: the emulousness happens. sent14: if the fact that the quest happens is not false the harshness happens. sent15: if the Incanness occurs the arousing Polish happens. sent16: if the spicateness occurs the barbing orogeny happens. sent17: the inoculation occurs. sent18: the three-dimensionalness occurs if that the badging occurs is not wrong. sent19: if the neighing happens the aculeateness happens. sent20: the arousing millionaire happens if the pubertalness happens. sent21: the celestialness occurs if the aculeateness happens.
void -> assump1: Let's assume that the neigh occurs.; sent19 & assump1 -> int1: the aculeateness occurs.; sent21 & int1 -> int2: the celestialness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the celestialness occurs if the neigh happens. ; $context$ = sent1: the molar occurs. sent2: the Italian occurs if the xerographicness happens. sent3: the talkie is brought about by that the ganging happens. sent4: if the fact that the badge occurs hold the appointing happens. sent5: if the calcicolousness happens the thromboembolism happens. sent6: the suggestion occurs. sent7: that the beanball occurs prevents that the phylogeneticness does not occur. sent8: the barbing florilegium occurs if the springtide occurs. sent9: that the modification does not occur is prevented by the projection. sent10: that the barbecuing results in that the blubber happens is correct. sent11: the xerographicness occurs if that the unrepeatableness happens hold. sent12: the art happens if that the jumpstarting occurs is right. sent13: the emulousness happens. sent14: if the fact that the quest happens is not false the harshness happens. sent15: if the Incanness occurs the arousing Polish happens. sent16: if the spicateness occurs the barbing orogeny happens. sent17: the inoculation occurs. sent18: the three-dimensionalness occurs if that the badging occurs is not wrong. sent19: if the neighing happens the aculeateness happens. sent20: the arousing millionaire happens if the pubertalness happens. sent21: the celestialness occurs if the aculeateness happens. ; $proof$ = 
void -> assump1: Let's assume that the neigh occurs.; sent19 & assump1 -> int1: the aculeateness occurs.; sent21 & int1 -> int2: the celestialness occurs.; [assump1] & int2 -> hypothesis; __PROVED__