the maar is inhumane.
sent1: if something is not bistroic and it is not a adventuress then it is not inhumane. sent2: if the oncologist is mesic then that the maar is inhumane is true. sent3: the ironing is both a adventuress and bistroic. sent4: that the orthicon is not artesian hold if the ironing is a kind of a adventuress.
sent3 -> int1: the fact that the ironing is a kind of a adventuress hold.; sent4 & int1 -> int2: the orthicon is not artesian.;
that the maar is not inhumane is not wrong.
sent1 -> int3: the maar is not inhumane if it is not bistroic and it is not a adventuress.;
$hypothesis$ = the maar is inhumane. ; $context$ = sent1: if something is not bistroic and it is not a adventuress then it is not inhumane. sent2: if the oncologist is mesic then that the maar is inhumane is true. sent3: the ironing is both a adventuress and bistroic. sent4: that the orthicon is not artesian hold if the ironing is a kind of a adventuress. ; $proof$ = 
sent3 -> int1: the fact that the ironing is a kind of a adventuress hold.; sent4 & int1 -> int2: the orthicon is not artesian.; __UNKNOWN__