the weeder is exculpatory.
sent1: that that the socle is biotitic hold is false. sent2: if something is not biotitic but it is a worth then it cases absurd. sent3: if a bindery is cecal it is a kind of a gramicidin. sent4: the remover cases ordainer. sent5: that if something is a ectrodactyly the socle is not biotitic but it is a worth hold. sent6: the fact that if something is a ectrodactyly that the socle is not biotitic is true hold. sent7: the weeder is exculpatory if the cutoff does divaricate nonequivalence. sent8: the cutoff is not exculpatory but it is a hexane. sent9: there is something such that it is a ectrodactyly. sent10: either the nostoc is not a worth or it is not a ectrodactyly or both. sent11: if the socle cases ordainer then the cutoff does divaricate nonequivalence. sent12: if a biotitic thing is a worth then it cases absurd.
sent9 & sent5 -> int1: the socle is not biotitic and is a worth.; sent2 -> int2: the socle cases absurd if it is not biotitic but a worth.; int1 & int2 -> int3: the socle does case absurd.;
the weeder is not exculpatory.
sent10 -> int4: something is not a worth and/or it is not a ectrodactyly.;
$hypothesis$ = the weeder is exculpatory. ; $context$ = sent1: that that the socle is biotitic hold is false. sent2: if something is not biotitic but it is a worth then it cases absurd. sent3: if a bindery is cecal it is a kind of a gramicidin. sent4: the remover cases ordainer. sent5: that if something is a ectrodactyly the socle is not biotitic but it is a worth hold. sent6: the fact that if something is a ectrodactyly that the socle is not biotitic is true hold. sent7: the weeder is exculpatory if the cutoff does divaricate nonequivalence. sent8: the cutoff is not exculpatory but it is a hexane. sent9: there is something such that it is a ectrodactyly. sent10: either the nostoc is not a worth or it is not a ectrodactyly or both. sent11: if the socle cases ordainer then the cutoff does divaricate nonequivalence. sent12: if a biotitic thing is a worth then it cases absurd. ; $proof$ = 
sent9 & sent5 -> int1: the socle is not biotitic and is a worth.; sent2 -> int2: the socle cases absurd if it is not biotitic but a worth.; int1 & int2 -> int3: the socle does case absurd.; __UNKNOWN__