the sheepherder is not a Nabalus.
sent1: the casserole is polygonal if the flatware is polygonal. sent2: the fact that the casserole is a Vespertilionidae and does not premeditate is not true. sent3: the casserole premeditates. sent4: if that the casserole does premeditate and is not an inaugural is wrong then the xenolith is not polygonal. sent5: the fact that the flatware is not unenthusiastic and it is not polygonal does not hold. sent6: if that the flatware is not unenthusiastic and it is not polygonal is false the xenolith is polygonal. sent7: the fact that the shellfish is not polygonal is not false. sent8: that the xenolith is not a kind of an inaugural and it is not polygonal is wrong.
void -> assump1: Let's assume that that the casserole does premeditate but it is not a kind of an inaugural does not hold.; sent4 & assump1 -> int1: the xenolith is not polygonal.; sent6 & sent5 -> int2: the xenolith is not non-polygonal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the casserole premeditates and is not inaugural.; int4 -> int5: the casserole is not inaugural.;
$hypothesis$ = the sheepherder is not a Nabalus. ; $context$ = sent1: the casserole is polygonal if the flatware is polygonal. sent2: the fact that the casserole is a Vespertilionidae and does not premeditate is not true. sent3: the casserole premeditates. sent4: if that the casserole does premeditate and is not an inaugural is wrong then the xenolith is not polygonal. sent5: the fact that the flatware is not unenthusiastic and it is not polygonal does not hold. sent6: if that the flatware is not unenthusiastic and it is not polygonal is false the xenolith is polygonal. sent7: the fact that the shellfish is not polygonal is not false. sent8: that the xenolith is not a kind of an inaugural and it is not polygonal is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the casserole does premeditate but it is not a kind of an inaugural does not hold.; sent4 & assump1 -> int1: the xenolith is not polygonal.; sent6 & sent5 -> int2: the xenolith is not non-polygonal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the casserole premeditates and is not inaugural.; int4 -> int5: the casserole is not inaugural.; __UNKNOWN__