the sirdar is a actinomyxidian.
sent1: there exists something such that the fact that it is not a typewriter is false. sent2: the matai does not rest. sent3: the matai is a typewriter but it is not a rest. sent4: there exists something such that the fact that it does not rest is right. sent5: that the needlework is ferric but it is non-Spanish does not hold. sent6: there is something such that it is both a typewriter and a rest. sent7: the sirdar rests. sent8: something is muscular thing that is not a kind of a daylight.
sent3 -> int1: there is something such that it is a typewriter and not a rest.;
the sirdar is not a actinomyxidian.
sent5 -> int2: there exists something such that that it is ferric and it is not a Spanish is not right.;
$hypothesis$ = the sirdar is a actinomyxidian. ; $context$ = sent1: there exists something such that the fact that it is not a typewriter is false. sent2: the matai does not rest. sent3: the matai is a typewriter but it is not a rest. sent4: there exists something such that the fact that it does not rest is right. sent5: that the needlework is ferric but it is non-Spanish does not hold. sent6: there is something such that it is both a typewriter and a rest. sent7: the sirdar rests. sent8: something is muscular thing that is not a kind of a daylight. ; $proof$ = 
sent3 -> int1: there is something such that it is a typewriter and not a rest.; __UNKNOWN__