the decumary is not a scrofula but non-heraldic.
sent1: if the decumary is a kind of a Washington then it is heraldic. sent2: if something does crucify flightiness then it is seismological. sent3: if that something is not a scrofula and it is not heraldic does not hold then it is a caecilian. sent4: the Jew is not a Jesus if the fact that the desideratum is semantics thing that is not cataclinal is wrong. sent5: if something is not a Jesus then either it crucifies flightiness or it is a caecilian or both. sent6: the decumary is not a scrofula. sent7: the decumary is a kind of a pendulum. sent8: the decumary is not seismological.
sent3 -> int1: the decumary is a caecilian if the fact that it is both not a scrofula and not heraldic does not hold.; void -> assump1: Let's assume that the fact that the decumary is not a kind of a scrofula and it is not heraldic is wrong.; int1 & assump1 -> int2: the decumary is caecilian.;
the Jew is seismological.
sent2 -> int3: if the Jew crucifies flightiness it is seismological.; sent5 -> int4: if the Jew is not a Jesus then it crucifies flightiness or it is a caecilian or both.;
$hypothesis$ = the decumary is not a scrofula but non-heraldic. ; $context$ = sent1: if the decumary is a kind of a Washington then it is heraldic. sent2: if something does crucify flightiness then it is seismological. sent3: if that something is not a scrofula and it is not heraldic does not hold then it is a caecilian. sent4: the Jew is not a Jesus if the fact that the desideratum is semantics thing that is not cataclinal is wrong. sent5: if something is not a Jesus then either it crucifies flightiness or it is a caecilian or both. sent6: the decumary is not a scrofula. sent7: the decumary is a kind of a pendulum. sent8: the decumary is not seismological. ; $proof$ = 
sent3 -> int1: the decumary is a caecilian if the fact that it is both not a scrofula and not heraldic does not hold.; void -> assump1: Let's assume that the fact that the decumary is not a kind of a scrofula and it is not heraldic is wrong.; int1 & assump1 -> int2: the decumary is caecilian.; __UNKNOWN__