there exists something such that the fact that it is a kind of a Sarda and disembowels ethernet is not wrong.
sent1: if the grazier throws then it is a kind of a namer. sent2: the grazier is a disease. sent3: if the ethernet does yield Sousa it eviscerates. sent4: there is something such that it does disembowel ethernet. sent5: the grazier is an extermination and it disembowels ethernet. sent6: if the petchary does not eviscerate the grazier is transoceanic and is zygotic. sent7: if the grazier yields Salerno then the fact that it is imperishable is not incorrect. sent8: something does eviscerate if it is a Sarda. sent9: the fact that the grazier is an extermination hold. sent10: something is a kind of a Sarda. sent11: if the fauld yields exceedance then it does eviscerate. sent12: the grazier eviscerates.
sent5 -> int1: the grazier does disembowel ethernet.;
the grazier is transoceanic and it is zygotic.
$hypothesis$ = there exists something such that the fact that it is a kind of a Sarda and disembowels ethernet is not wrong. ; $context$ = sent1: if the grazier throws then it is a kind of a namer. sent2: the grazier is a disease. sent3: if the ethernet does yield Sousa it eviscerates. sent4: there is something such that it does disembowel ethernet. sent5: the grazier is an extermination and it disembowels ethernet. sent6: if the petchary does not eviscerate the grazier is transoceanic and is zygotic. sent7: if the grazier yields Salerno then the fact that it is imperishable is not incorrect. sent8: something does eviscerate if it is a Sarda. sent9: the fact that the grazier is an extermination hold. sent10: something is a kind of a Sarda. sent11: if the fauld yields exceedance then it does eviscerate. sent12: the grazier eviscerates. ; $proof$ = 
sent5 -> int1: the grazier does disembowel ethernet.; __UNKNOWN__