the Manx does instrument herb.
sent1: the Manx is not non-archaistic if it does instrument refractoriness. sent2: the fact that the White is catalatic is right. sent3: if the Manx is a chain-smoker the fact that it is archaistic hold. sent4: the fact that the White is both not catalatic and lobular is not true. sent5: that the Manx is a woodcut is not incorrect if the fact that the White is lobular is true. sent6: that the Manx is a chain-smoker or instruments refractoriness or both hold. sent7: that the Manx is a woodcut hold if that the White is both not catalatic and not lobular is not true. sent8: the Manx does not instrument herb if it is a woodcut and archaistic. sent9: the White is not lobular.
void -> assump1: Let's assume that the White is non-catalatic and non-lobular.; assump1 -> int1: the White is not catalatic.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the White is not catalatic and it is not lobular is false.; int3 & sent7 -> int4: the Manx is a woodcut.; sent6 & sent3 & sent1 -> int5: the Manx is archaistic.; int4 & int5 -> int6: the Manx is a woodcut and it is archaistic.; int6 & sent8 -> hypothesis;
$hypothesis$ = the Manx does instrument herb. ; $context$ = sent1: the Manx is not non-archaistic if it does instrument refractoriness. sent2: the fact that the White is catalatic is right. sent3: if the Manx is a chain-smoker the fact that it is archaistic hold. sent4: the fact that the White is both not catalatic and lobular is not true. sent5: that the Manx is a woodcut is not incorrect if the fact that the White is lobular is true. sent6: that the Manx is a chain-smoker or instruments refractoriness or both hold. sent7: that the Manx is a woodcut hold if that the White is both not catalatic and not lobular is not true. sent8: the Manx does not instrument herb if it is a woodcut and archaistic. sent9: the White is not lobular. ; $proof$ = 
void -> assump1: Let's assume that the White is non-catalatic and non-lobular.; assump1 -> int1: the White is not catalatic.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the White is not catalatic and it is not lobular is false.; int3 & sent7 -> int4: the Manx is a woodcut.; sent6 & sent3 & sent1 -> int5: the Manx is archaistic.; int4 & int5 -> int6: the Manx is a woodcut and it is archaistic.; int6 & sent8 -> hypothesis; __DISPROVED__