there is something such that if it is not non-multilevel it does not blue Bowditch and it is a syncategorem.
sent1: there is something such that if it is a kind of a ophryon it is not a quiddity and it is Gallican. sent2: the Creole does not blue Bowditch if it is multilevel. sent3: if something is not non-interrogative the fact that it does wrestle hellebore and is algal is true. sent4: there is something such that if it does free it is cytoplastic. sent5: if the Creole is a Dictamnus then it is a kind of indigestible thing that is a syncategorem. sent6: something is a gumbo and is a gruel if it memorializes salubrity. sent7: there is something such that if it is foreign then that it does blue godson and is a kind of a assailability is not incorrect. sent8: a multilevel thing does not blue Bowditch and is a syncategorem. sent9: there exists something such that if it is multilevel then it does not blue Bowditch.
sent8 -> int1: if the Creole is multilevel then it does not blue Bowditch and it is a syncategorem.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not non-multilevel it does not blue Bowditch and it is a syncategorem. ; $context$ = sent1: there is something such that if it is a kind of a ophryon it is not a quiddity and it is Gallican. sent2: the Creole does not blue Bowditch if it is multilevel. sent3: if something is not non-interrogative the fact that it does wrestle hellebore and is algal is true. sent4: there is something such that if it does free it is cytoplastic. sent5: if the Creole is a Dictamnus then it is a kind of indigestible thing that is a syncategorem. sent6: something is a gumbo and is a gruel if it memorializes salubrity. sent7: there is something such that if it is foreign then that it does blue godson and is a kind of a assailability is not incorrect. sent8: a multilevel thing does not blue Bowditch and is a syncategorem. sent9: there exists something such that if it is multilevel then it does not blue Bowditch. ; $proof$ = 
sent8 -> int1: if the Creole is multilevel then it does not blue Bowditch and it is a syncategorem.; int1 -> hypothesis; __PROVED__