the simian is a stenography.
sent1: something is both a feint and a arccosine if the fact that it is not east is right. sent2: if there exists something such that it does not plot reeler either the hayfield is not up or it is quotable or both. sent3: the simian is not a ninepence. sent4: if the simian is a arccosine the hayfield is a stenography. sent5: something is viscometric if the fact that it is a kind of a feint is not incorrect. sent6: if the hayfield is harmonious then it is a hinny. sent7: the covariation is aleuronic and it is viscometric if it is not a kind of a AFL-CIO. sent8: the fact that the simian is a kind of a stenography is true if the hayfield is viscometric. sent9: something is not viscometric if it is not a stenography and/or does up. sent10: the fact that the hayfield is a rich is not incorrect. sent11: there exists something such that it does not plot reeler.
sent11 & sent2 -> int1: the hayfield is not up or it is quotable or both.; sent1 -> int2: the hayfield is both a feint and a arccosine if it is not an east.; sent5 -> int3: the hayfield is viscometric if it is a feint.;
$hypothesis$ = the simian is a stenography. ; $context$ = sent1: something is both a feint and a arccosine if the fact that it is not east is right. sent2: if there exists something such that it does not plot reeler either the hayfield is not up or it is quotable or both. sent3: the simian is not a ninepence. sent4: if the simian is a arccosine the hayfield is a stenography. sent5: something is viscometric if the fact that it is a kind of a feint is not incorrect. sent6: if the hayfield is harmonious then it is a hinny. sent7: the covariation is aleuronic and it is viscometric if it is not a kind of a AFL-CIO. sent8: the fact that the simian is a kind of a stenography is true if the hayfield is viscometric. sent9: something is not viscometric if it is not a stenography and/or does up. sent10: the fact that the hayfield is a rich is not incorrect. sent11: there exists something such that it does not plot reeler. ; $proof$ = 
sent11 & sent2 -> int1: the hayfield is not up or it is quotable or both.; sent1 -> int2: the hayfield is both a feint and a arccosine if it is not an east.; sent5 -> int3: the hayfield is viscometric if it is a feint.; __UNKNOWN__