the ashtray does not enfeoff bandaged.
sent1: the dosemeter is not a campanile. sent2: if the fact that the dosemeter is not a kind of a consecration but it is a campanile is wrong then the nostrum is not chaetal. sent3: the nostrum does not ring if it is a campanile. sent4: the nostrum does not enfeoff bandaged. sent5: the fact that the dosemeter is a consecration and is chaetal is incorrect if the nostrum is not a ring. sent6: if the nostrum does not ring the fact that the fact that the dosemeter is both not a consecration and chaetal does not hold is true. sent7: if that the dosemeter is not a kind of a consecration but it is chaetal is false the ashtray does not enfeoff bandaged. sent8: that the ashtray is a kind of chaetal thing that enfeoffs bandaged is not true. sent9: the nostrum is a campanile. sent10: if the dosemeter is a consecration the ashtray does not enfeoff bandaged. sent11: the ashtray is not a ring if it enfeoffs bandaged. sent12: the nostrum does not enfeoff bandaged if it rings.
sent3 & sent9 -> int1: the nostrum does not ring.; sent6 & int1 -> int2: that the dosemeter is not a kind of a consecration but it is chaetal is wrong.; sent7 & int2 -> hypothesis;
$hypothesis$ = the ashtray does not enfeoff bandaged. ; $context$ = sent1: the dosemeter is not a campanile. sent2: if the fact that the dosemeter is not a kind of a consecration but it is a campanile is wrong then the nostrum is not chaetal. sent3: the nostrum does not ring if it is a campanile. sent4: the nostrum does not enfeoff bandaged. sent5: the fact that the dosemeter is a consecration and is chaetal is incorrect if the nostrum is not a ring. sent6: if the nostrum does not ring the fact that the fact that the dosemeter is both not a consecration and chaetal does not hold is true. sent7: if that the dosemeter is not a kind of a consecration but it is chaetal is false the ashtray does not enfeoff bandaged. sent8: that the ashtray is a kind of chaetal thing that enfeoffs bandaged is not true. sent9: the nostrum is a campanile. sent10: if the dosemeter is a consecration the ashtray does not enfeoff bandaged. sent11: the ashtray is not a ring if it enfeoffs bandaged. sent12: the nostrum does not enfeoff bandaged if it rings. ; $proof$ = 
sent3 & sent9 -> int1: the nostrum does not ring.; sent6 & int1 -> int2: that the dosemeter is not a kind of a consecration but it is chaetal is wrong.; sent7 & int2 -> hypothesis; __PROVED__