the yellowhammer is a saveloy.
sent1: if something that does not skedaddle nomia is not cementitious it is not a saveloy. sent2: if there is something such that the fact that it does not fly is true the barrel is not a kind of an anecdote and does not eventuate. sent3: if the barrel is cementitious then the fact that it is a kind of important thing that is cyprian is not true. sent4: if something is cementitious that it is non-cyprian a seam is not true. sent5: the fact that the barrel is a kind of unimportant thing that is cyprian is wrong if it is cementitious. sent6: that the barrel is both unimportant and cyprian is not right. sent7: if the Opera eventuates the fact that that the barrel is an anecdote or is not a layer or both is not incorrect does not hold. sent8: the yellowhammer is a saveloy if that the barrel is important and not non-cyprian is not right. sent9: the yellowhammer is a saveloy if the barrel is unimportant. sent10: if there exists something such that it is not a layer the fact that the contaminant skedaddles nomia and is a Salk is not correct. sent11: if something does not skedaddle nomia then it is not a saveloy. sent12: there is something such that it does not fly. sent13: something eventuates if that it is not a Zionist and/or it does not fly is not right. sent14: something is a metalwork. sent15: if the fact that something skedaddles nomia and it is a Salk is not right it does not skedaddles nomia. sent16: something is cementitious if it is not a saveloy. sent17: something does not layer if it is not an anecdote and does not eventuate. sent18: something is not a kind of a Salk if the fact that it is a kind of an anecdote and/or it does not layer is not true.
the yellowhammer is not a saveloy.
sent1 -> int1: if the yellowhammer does not skedaddle nomia and is not cementitious then it is not a saveloy.; sent18 -> int2: if the fact that either the barrel is a kind of an anecdote or it does not layer or both is not correct then it is not a Salk.; sent13 -> int3: the Opera eventuates if the fact that it is not a kind of a Zionist and/or is not a kind of a flies is false.;
$hypothesis$ = the yellowhammer is a saveloy. ; $context$ = sent1: if something that does not skedaddle nomia is not cementitious it is not a saveloy. sent2: if there is something such that the fact that it does not fly is true the barrel is not a kind of an anecdote and does not eventuate. sent3: if the barrel is cementitious then the fact that it is a kind of important thing that is cyprian is not true. sent4: if something is cementitious that it is non-cyprian a seam is not true. sent5: the fact that the barrel is a kind of unimportant thing that is cyprian is wrong if it is cementitious. sent6: that the barrel is both unimportant and cyprian is not right. sent7: if the Opera eventuates the fact that that the barrel is an anecdote or is not a layer or both is not incorrect does not hold. sent8: the yellowhammer is a saveloy if that the barrel is important and not non-cyprian is not right. sent9: the yellowhammer is a saveloy if the barrel is unimportant. sent10: if there exists something such that it is not a layer the fact that the contaminant skedaddles nomia and is a Salk is not correct. sent11: if something does not skedaddle nomia then it is not a saveloy. sent12: there is something such that it does not fly. sent13: something eventuates if that it is not a Zionist and/or it does not fly is not right. sent14: something is a metalwork. sent15: if the fact that something skedaddles nomia and it is a Salk is not right it does not skedaddles nomia. sent16: something is cementitious if it is not a saveloy. sent17: something does not layer if it is not an anecdote and does not eventuate. sent18: something is not a kind of a Salk if the fact that it is a kind of an anecdote and/or it does not layer is not true. ; $proof$ = 
__UNKNOWN__