there exists something such that if that it is a kindergarten and it is not autographic is false it is taxonomic.
sent1: if the fact that something is a sulcus and is not a kind of a dolman is wrong it is an orris. sent2: the fact that if the fact that something is a kindergarten and is not autographic is false then it is taxonomic hold. sent3: the Malian is a kindergarten if it is a heteroploidy but not low-level. sent4: if the LCD is not taxonomic it is a worst. sent5: the LCD is alvine if the fact that it does rear cyclobenzaprine and is not a Austronesian is incorrect. sent6: there exists something such that if that it is a threonine that does not elude is not true it butts centerfield. sent7: if the centerfield does butt eventuality and is not a kind of a mediation it is a short. sent8: there is something such that if it is not a netting then it is a ASEAN. sent9: there is something such that if that it is provocative and it butts beautification is incorrect it weaves ileostomy. sent10: that the LCD is taxonomic is right if that it is a kind of a kindergarten and is not non-autographic is false. sent11: something is glandular if that it weaves fetoscopy and it does butt eventuality does not hold.
sent2 -> int1: if the fact that the LCD is a kindergarten and is not autographic does not hold then it is taxonomic.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a kindergarten and it is not autographic is false it is taxonomic. ; $context$ = sent1: if the fact that something is a sulcus and is not a kind of a dolman is wrong it is an orris. sent2: the fact that if the fact that something is a kindergarten and is not autographic is false then it is taxonomic hold. sent3: the Malian is a kindergarten if it is a heteroploidy but not low-level. sent4: if the LCD is not taxonomic it is a worst. sent5: the LCD is alvine if the fact that it does rear cyclobenzaprine and is not a Austronesian is incorrect. sent6: there exists something such that if that it is a threonine that does not elude is not true it butts centerfield. sent7: if the centerfield does butt eventuality and is not a kind of a mediation it is a short. sent8: there is something such that if it is not a netting then it is a ASEAN. sent9: there is something such that if that it is provocative and it butts beautification is incorrect it weaves ileostomy. sent10: that the LCD is taxonomic is right if that it is a kind of a kindergarten and is not non-autographic is false. sent11: something is glandular if that it weaves fetoscopy and it does butt eventuality does not hold. ; $proof$ = 
sent2 -> int1: if the fact that the LCD is a kindergarten and is not autographic does not hold then it is taxonomic.; int1 -> hypothesis; __PROVED__