the fact that the pinstripe is not a kind of a Jacobean is true.
sent1: something does not slog draped. sent2: everything is not a job. sent3: if something is not soft it is a kind of a faro. sent4: if a non-bright thing is a faro it is a Jacobean. sent5: if something is not soft then it is not bright and it is a kind of a faro. sent6: if there is something such that it does not slog draped the flour is not inconspicuous and not a job. sent7: if something is not behavioristic then it is not soft. sent8: the pinstripe is not behavioristic if a non-inconspicuous thing is not a job.
sent1 & sent6 -> int1: the flour is not inconspicuous and it is not a kind of a job.; int1 -> int2: something is not inconspicuous and is not a kind of a job.; int2 & sent8 -> int3: the pinstripe is non-behavioristic.; sent7 -> int4: if the pinstripe is not behavioristic then it is not soft.; int3 & int4 -> int5: the pinstripe is not soft.; sent5 -> int6: if the pinstripe is not soft then it is not bright but a faro.; int5 & int6 -> int7: the pinstripe is both not bright and a faro.; sent4 -> int8: if the pinstripe is not bright but it is a kind of a faro then it is a Jacobean.; int7 & int8 -> hypothesis;
there is something such that it does not rid Mastigophora and is not hadal.
sent2 -> int9: the pinstripe is not a kind of a job.;
$hypothesis$ = the fact that the pinstripe is not a kind of a Jacobean is true. ; $context$ = sent1: something does not slog draped. sent2: everything is not a job. sent3: if something is not soft it is a kind of a faro. sent4: if a non-bright thing is a faro it is a Jacobean. sent5: if something is not soft then it is not bright and it is a kind of a faro. sent6: if there is something such that it does not slog draped the flour is not inconspicuous and not a job. sent7: if something is not behavioristic then it is not soft. sent8: the pinstripe is not behavioristic if a non-inconspicuous thing is not a job. ; $proof$ = 
sent1 & sent6 -> int1: the flour is not inconspicuous and it is not a kind of a job.; int1 -> int2: something is not inconspicuous and is not a kind of a job.; int2 & sent8 -> int3: the pinstripe is non-behavioristic.; sent7 -> int4: if the pinstripe is not behavioristic then it is not soft.; int3 & int4 -> int5: the pinstripe is not soft.; sent5 -> int6: if the pinstripe is not soft then it is not bright but a faro.; int5 & int6 -> int7: the pinstripe is both not bright and a faro.; sent4 -> int8: if the pinstripe is not bright but it is a kind of a faro then it is a Jacobean.; int7 & int8 -> hypothesis; __DISPROVED__