that that the Scout is not a kind of a cock if the workpiece is not salty hold is wrong.
sent1: if the Scout does not enclose meperidine the workpiece is not a cock. sent2: if something is not a kind of a galvanometer then it is salty. sent3: something is salty if the fact that that it is a kind of a galvanometer and does not enclose meperidine is correct is false. sent4: if the Scout is a kind of a cock then the fact that that the workpiece is a kind of a galvanometer that does not enclose meperidine is not false is not true. sent5: that the Scout is not a kind of a galvanometer hold if the workpiece is not a cock. sent6: the Scout is not a cock if the workpiece is salty.
void -> assump1: Let's assume that the Scout is a cock.; sent4 & assump1 -> int1: the fact that the workpiece is a galvanometer but it does not enclose meperidine does not hold.; sent3 -> int2: if that the workpiece is a galvanometer and does not enclose meperidine does not hold then it is salty.; int1 & int2 -> int3: the workpiece is salty.; void -> assump2: Let's assume that the workpiece is not salty.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Scout does not cock.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that that the Scout is not a kind of a cock if the workpiece is not salty hold is wrong. ; $context$ = sent1: if the Scout does not enclose meperidine the workpiece is not a cock. sent2: if something is not a kind of a galvanometer then it is salty. sent3: something is salty if the fact that that it is a kind of a galvanometer and does not enclose meperidine is correct is false. sent4: if the Scout is a kind of a cock then the fact that that the workpiece is a kind of a galvanometer that does not enclose meperidine is not false is not true. sent5: that the Scout is not a kind of a galvanometer hold if the workpiece is not a cock. sent6: the Scout is not a cock if the workpiece is salty. ; $proof$ = 
void -> assump1: Let's assume that the Scout is a cock.; sent4 & assump1 -> int1: the fact that the workpiece is a galvanometer but it does not enclose meperidine does not hold.; sent3 -> int2: if that the workpiece is a galvanometer and does not enclose meperidine does not hold then it is salty.; int1 & int2 -> int3: the workpiece is salty.; void -> assump2: Let's assume that the workpiece is not salty.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Scout does not cock.; [assump2] & int5 -> hypothesis; __DISPROVED__