that the semiautomatic canes or it compensates or both is false.
sent1: the fact that the semiautomatic canes or it does compensate or both does not hold if the schooner does not multiply. sent2: The Bush approaches leaf-miner. sent3: if the schooner is a cane and it multiplies the leaf-miner does not approach Bush. sent4: if something is not a noddle then it is a Lovell and it does not approach Bush. sent5: the leaf-miner approaches Bush. sent6: the industrialist is a kind of a jazz if it is a wort. sent7: the semiautomatic does approach Bush. sent8: that the schooner does multiply is right. sent9: the semiautomatic does cane and/or it compensates if the schooner is not a cane.
void -> assump1: Let's assume that the schooner is a kind of a cane.; assump1 & sent8 -> int1: the schooner is a cane and it multiplies.; int1 & sent3 -> int2: the leaf-miner does not approach Bush.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the schooner is not a cane.; int4 & sent9 -> hypothesis;
the fact that the semiautomatic is a kind of a cane and/or it compensates is not right.
sent4 -> int5: the leaf-miner is a kind of a Lovell and does not approach Bush if it is not a kind of a noddle.;
$hypothesis$ = that the semiautomatic canes or it compensates or both is false. ; $context$ = sent1: the fact that the semiautomatic canes or it does compensate or both does not hold if the schooner does not multiply. sent2: The Bush approaches leaf-miner. sent3: if the schooner is a cane and it multiplies the leaf-miner does not approach Bush. sent4: if something is not a noddle then it is a Lovell and it does not approach Bush. sent5: the leaf-miner approaches Bush. sent6: the industrialist is a kind of a jazz if it is a wort. sent7: the semiautomatic does approach Bush. sent8: that the schooner does multiply is right. sent9: the semiautomatic does cane and/or it compensates if the schooner is not a cane. ; $proof$ = 
void -> assump1: Let's assume that the schooner is a kind of a cane.; assump1 & sent8 -> int1: the schooner is a cane and it multiplies.; int1 & sent3 -> int2: the leaf-miner does not approach Bush.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the schooner is not a cane.; int4 & sent9 -> hypothesis; __DISPROVED__