the fact that the aconite does not result dower is not false.
sent1: if the worsted wakes roasting then the aconite does deflect. sent2: the fact that the zinnwaldite is not a check and is a kind of a stipe is not correct. sent3: the anesthesiologist wakes spotter but it is not mandibular. sent4: the anesthesiologist does patronage. sent5: something does not result dower if it is uptown thing that does deflect. sent6: there is nothing that is not a check and is not a stipe. sent7: the worsted does wake roasting if something that wakes spotter is not mandibular. sent8: that the zinnwaldite does check but it is not a stipe is not right. sent9: if the worsted is an uptown then the fact that it does not result dower and does not deflect does not hold. sent10: if the zinnwaldite wakes roasting then the worsted is a stipe. sent11: something does wake spotter. sent12: the anesthesiologist is not mandibular. sent13: there exists something such that it is not mandibular. sent14: if there is something such that the fact that it is not a check and it is not a kind of a stipe is false that the aconite is a kind of an uptown is correct.
sent6 -> int1: the fact that the zinnwaldite is not a check and is not a stipe does not hold.; int1 -> int2: there is something such that the fact that it is both not a check and not a stipe is false.; int2 & sent14 -> int3: the aconite is uptown.; sent3 -> int4: something wakes spotter but it is not mandibular.; int4 & sent7 -> int5: the worsted does wake roasting.; sent1 & int5 -> int6: the aconite does deflect.; int3 & int6 -> int7: the aconite is an uptown and it deflects.; sent5 -> int8: the aconite does not result dower if it is an uptown that does deflect.; int7 & int8 -> hypothesis;
the aconite results dower.
$hypothesis$ = the fact that the aconite does not result dower is not false. ; $context$ = sent1: if the worsted wakes roasting then the aconite does deflect. sent2: the fact that the zinnwaldite is not a check and is a kind of a stipe is not correct. sent3: the anesthesiologist wakes spotter but it is not mandibular. sent4: the anesthesiologist does patronage. sent5: something does not result dower if it is uptown thing that does deflect. sent6: there is nothing that is not a check and is not a stipe. sent7: the worsted does wake roasting if something that wakes spotter is not mandibular. sent8: that the zinnwaldite does check but it is not a stipe is not right. sent9: if the worsted is an uptown then the fact that it does not result dower and does not deflect does not hold. sent10: if the zinnwaldite wakes roasting then the worsted is a stipe. sent11: something does wake spotter. sent12: the anesthesiologist is not mandibular. sent13: there exists something such that it is not mandibular. sent14: if there is something such that the fact that it is not a check and it is not a kind of a stipe is false that the aconite is a kind of an uptown is correct. ; $proof$ = 
sent6 -> int1: the fact that the zinnwaldite is not a check and is not a stipe does not hold.; int1 -> int2: there is something such that the fact that it is both not a check and not a stipe is false.; int2 & sent14 -> int3: the aconite is uptown.; sent3 -> int4: something wakes spotter but it is not mandibular.; int4 & sent7 -> int5: the worsted does wake roasting.; sent1 & int5 -> int6: the aconite does deflect.; int3 & int6 -> int7: the aconite is an uptown and it deflects.; sent5 -> int8: the aconite does not result dower if it is an uptown that does deflect.; int7 & int8 -> hypothesis; __PROVED__