the cut is not a doorlock but it trusses taped if the minder is not crustose.
sent1: the cut is not a doorlock. sent2: something does not truss resin and trusses taped if it is uric. sent3: that the minder is not crustose hold if the hooker is a kind of a bromide but it is not a kind of a xerophyte. sent4: the downpour does not truss resin if the minder does not truss resin and does truss taped. sent5: the cut is not a doorlock if the cupbearer is not a kind of a doorlock. sent6: if something is crustose then it is a kind of an eleventh. sent7: the fact that the cut is non-Dostoevskian and it is not an eleventh is false. sent8: if that the minder is not a doorlock but it is a bromide is not correct it is not a bromide. sent9: if the downpour does not truss resin then it is a kind of a bromide that is a kind of a xerophyte. sent10: something is a doorlock if the fact that it is crustose hold. sent11: if the hooker is an eleventh and is a xerophyte then the minder is not a bromide. sent12: the fact that the cut is an eleventh is not incorrect if the minder is an eleventh. sent13: the cut is not a doorlock if the minder is not crustose. sent14: something is a kind of a bromide if it is a xerophyte. sent15: that the minder is not a inutility but an eleventh is wrong. sent16: something is a xerophyte if that it is not a inutility and it is not an eleventh is wrong. sent17: that the minder is both not a inutility and not an eleventh is not correct if it is not crustose. sent18: if that the hooker trusses resin but it is not a bromide is not wrong then the cupbearer is not a kind of a doorlock. sent19: the cut is not a doorlock and trusses taped if the cupbearer is not a doorlock. sent20: the hooker does truss resin if the minder is a kind of a bromide. sent21: the minder is uric and it is a kind of a Chewa. sent22: something is a kind of a inutility if it is a doorlock. sent23: the hooker is not crustose but it trusses resin if the minder is not a bromide.
void -> assump1: Let's assume that the minder is not crustose.; sent17 & assump1 -> int1: the fact that the minder is not a inutility and is not an eleventh does not hold.; sent16 -> int2: if that the minder is not a inutility and is not an eleventh is incorrect it is a xerophyte.; int1 & int2 -> int3: the minder is a xerophyte.; sent14 -> int4: the minder is a kind of a bromide if it is a xerophyte.; int3 & int4 -> int5: the minder is a bromide.;
the cut is an eleventh.
sent6 -> int6: that the minder is an eleventh is true if it is crustose.;
$hypothesis$ = the cut is not a doorlock but it trusses taped if the minder is not crustose. ; $context$ = sent1: the cut is not a doorlock. sent2: something does not truss resin and trusses taped if it is uric. sent3: that the minder is not crustose hold if the hooker is a kind of a bromide but it is not a kind of a xerophyte. sent4: the downpour does not truss resin if the minder does not truss resin and does truss taped. sent5: the cut is not a doorlock if the cupbearer is not a kind of a doorlock. sent6: if something is crustose then it is a kind of an eleventh. sent7: the fact that the cut is non-Dostoevskian and it is not an eleventh is false. sent8: if that the minder is not a doorlock but it is a bromide is not correct it is not a bromide. sent9: if the downpour does not truss resin then it is a kind of a bromide that is a kind of a xerophyte. sent10: something is a doorlock if the fact that it is crustose hold. sent11: if the hooker is an eleventh and is a xerophyte then the minder is not a bromide. sent12: the fact that the cut is an eleventh is not incorrect if the minder is an eleventh. sent13: the cut is not a doorlock if the minder is not crustose. sent14: something is a kind of a bromide if it is a xerophyte. sent15: that the minder is not a inutility but an eleventh is wrong. sent16: something is a xerophyte if that it is not a inutility and it is not an eleventh is wrong. sent17: that the minder is both not a inutility and not an eleventh is not correct if it is not crustose. sent18: if that the hooker trusses resin but it is not a bromide is not wrong then the cupbearer is not a kind of a doorlock. sent19: the cut is not a doorlock and trusses taped if the cupbearer is not a doorlock. sent20: the hooker does truss resin if the minder is a kind of a bromide. sent21: the minder is uric and it is a kind of a Chewa. sent22: something is a kind of a inutility if it is a doorlock. sent23: the hooker is not crustose but it trusses resin if the minder is not a bromide. ; $proof$ = 
void -> assump1: Let's assume that the minder is not crustose.; sent17 & assump1 -> int1: the fact that the minder is not a inutility and is not an eleventh does not hold.; sent16 -> int2: if that the minder is not a inutility and is not an eleventh is incorrect it is a xerophyte.; int1 & int2 -> int3: the minder is a xerophyte.; sent14 -> int4: the minder is a kind of a bromide if it is a xerophyte.; int3 & int4 -> int5: the minder is a bromide.; __UNKNOWN__