the fact that there exists something such that if that it is a Catalan and does not clap Eyck is not true it is diaphyseal is not correct.
sent1: the lunch is Gothic if the fact that it is peptic and it does not clap Eyck is not right. sent2: if the fact that that something does clap Eyck and is not dead is not false does not hold then it is sacramental. sent3: there exists something such that if it is not Catalan then the fact that it is diaphyseal is correct. sent4: there is something such that if it claps Eyck it is diaphyseal. sent5: if the fact that something is a qurush but it does not clap Eyck is false then it is unpermissive. sent6: there exists something such that if it is a Catalan and it does not clap Eyck that it is diaphyseal hold. sent7: if the minstrel does clap Eyck and is not asphaltic then it is a kind of an impact. sent8: something is Salvadoran if the fact that it is diaphyseal and does not clap overlap is false. sent9: there exists something such that if that it is a kind of a Catalan and it does clap Eyck is not correct then it is diaphyseal. sent10: if the lunch claps Eyck then it is diaphyseal. sent11: if that the lunch is a Catalan but it does not clap Eyck is false that it is diaphyseal is not incorrect. sent12: there is something such that if that that it is a Buffalo and it does not anastomose is not wrong does not hold then it is a former. sent13: the fact that there is something such that if the fact that it does claw Curtisia and does not corrode myrmidon does not hold then it is a stunt is not wrong. sent14: there exists something such that if that it is a nun and it does not prepare is wrong it does corrode Corse. sent15: the lunch is diaphyseal if it is a Catalan and it does not clap Eyck. sent16: there exists something such that if that it is a kind of a stereoscope that does confront is not right it is asynergic.
sent11 -> hypothesis;
if that the cousin does clap Eyck and is not a dead is wrong it is sacramental.
sent2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is a Catalan and does not clap Eyck is not true it is diaphyseal is not correct. ; $context$ = sent1: the lunch is Gothic if the fact that it is peptic and it does not clap Eyck is not right. sent2: if the fact that that something does clap Eyck and is not dead is not false does not hold then it is sacramental. sent3: there exists something such that if it is not Catalan then the fact that it is diaphyseal is correct. sent4: there is something such that if it claps Eyck it is diaphyseal. sent5: if the fact that something is a qurush but it does not clap Eyck is false then it is unpermissive. sent6: there exists something such that if it is a Catalan and it does not clap Eyck that it is diaphyseal hold. sent7: if the minstrel does clap Eyck and is not asphaltic then it is a kind of an impact. sent8: something is Salvadoran if the fact that it is diaphyseal and does not clap overlap is false. sent9: there exists something such that if that it is a kind of a Catalan and it does clap Eyck is not correct then it is diaphyseal. sent10: if the lunch claps Eyck then it is diaphyseal. sent11: if that the lunch is a Catalan but it does not clap Eyck is false that it is diaphyseal is not incorrect. sent12: there is something such that if that that it is a Buffalo and it does not anastomose is not wrong does not hold then it is a former. sent13: the fact that there is something such that if the fact that it does claw Curtisia and does not corrode myrmidon does not hold then it is a stunt is not wrong. sent14: there exists something such that if that it is a nun and it does not prepare is wrong it does corrode Corse. sent15: the lunch is diaphyseal if it is a Catalan and it does not clap Eyck. sent16: there exists something such that if that it is a kind of a stereoscope that does confront is not right it is asynergic. ; $proof$ = 
sent11 -> hypothesis; __DISPROVED__