the fact that the petard is a lignum but it does not destain bachelorhood is not right.
sent1: if the birchbark does not spread-eagle and it does not scale then the upholsterer does not sound outport. sent2: the birchbark does not spread-eagle and it is not a kind of a scale. sent3: if something that does not acquire is a kind of a Hokkaido the fact that it is not a lignum hold. sent4: the birchbark is not a kind of a scale. sent5: if the petard sounds outport then it is a lignum and it does not destain bachelorhood. sent6: if something does not sound outport the fact that the petard is a lignum but it does not destain bachelorhood is not true. sent7: either something does sound outport or it does destain bachelorhood or both if it is not a lignum. sent8: that the petard is a lignum and does destain bachelorhood is false if something does not sound outport.
sent1 & sent2 -> int1: the upholsterer does not sound outport.; int1 -> int2: something does not sound outport.; int2 & sent6 -> hypothesis;
the petard is a kind of a lignum but it does not destain bachelorhood.
$hypothesis$ = the fact that the petard is a lignum but it does not destain bachelorhood is not right. ; $context$ = sent1: if the birchbark does not spread-eagle and it does not scale then the upholsterer does not sound outport. sent2: the birchbark does not spread-eagle and it is not a kind of a scale. sent3: if something that does not acquire is a kind of a Hokkaido the fact that it is not a lignum hold. sent4: the birchbark is not a kind of a scale. sent5: if the petard sounds outport then it is a lignum and it does not destain bachelorhood. sent6: if something does not sound outport the fact that the petard is a lignum but it does not destain bachelorhood is not true. sent7: either something does sound outport or it does destain bachelorhood or both if it is not a lignum. sent8: that the petard is a lignum and does destain bachelorhood is false if something does not sound outport. ; $proof$ = 
sent1 & sent2 -> int1: the upholsterer does not sound outport.; int1 -> int2: something does not sound outport.; int2 & sent6 -> hypothesis; __PROVED__