the duchy is not a inwardness.
sent1: if something is not eager but it is not non-hieratic then that it is not a inwardness hold. sent2: something is a kind of a Trafalgar and it is a kind of a Siouan if that it does not bungle is true. sent3: if the decipherer is a Trafalgar then the Muslim does not trundle Snoopy and is not marital. sent4: the duchy is a kind of a inwardness and is dural if the Muslim is not eager. sent5: the decipherer does not bungle if a vesicular thing is not a kind of a Singaporean. sent6: there is something such that it is vesicular and it is not a Singaporean. sent7: the privet is sentient thing that is dural. sent8: the duchy is dural. sent9: the Muslim is not eager. sent10: if something does measure Nyctimene it is uneager a hieratic.
sent4 & sent9 -> int1: the duchy is a kind of a inwardness and it is dural.; int1 -> hypothesis;
the duchy is not a inwardness.
sent1 -> int2: if the duchy is not eager but it is a hieratic it is not a kind of a inwardness.; sent10 -> int3: if the duchy measures Nyctimene it is not eager and it is a hieratic.; sent2 -> int4: the decipherer is a Trafalgar and it is a Siouan if it does not bungle.; sent6 & sent5 -> int5: that the decipherer does not bungle is not false.; int4 & int5 -> int6: the decipherer is a Trafalgar and Siouan.; int6 -> int7: the decipherer is a Trafalgar.; sent3 & int7 -> int8: the Muslim does not trundle Snoopy and is not marital.; int8 -> int9: something does not trundle Snoopy and is not marital.;
$hypothesis$ = the duchy is not a inwardness. ; $context$ = sent1: if something is not eager but it is not non-hieratic then that it is not a inwardness hold. sent2: something is a kind of a Trafalgar and it is a kind of a Siouan if that it does not bungle is true. sent3: if the decipherer is a Trafalgar then the Muslim does not trundle Snoopy and is not marital. sent4: the duchy is a kind of a inwardness and is dural if the Muslim is not eager. sent5: the decipherer does not bungle if a vesicular thing is not a kind of a Singaporean. sent6: there is something such that it is vesicular and it is not a Singaporean. sent7: the privet is sentient thing that is dural. sent8: the duchy is dural. sent9: the Muslim is not eager. sent10: if something does measure Nyctimene it is uneager a hieratic. ; $proof$ = 
sent4 & sent9 -> int1: the duchy is a kind of a inwardness and it is dural.; int1 -> hypothesis; __DISPROVED__