the fact that the lepidolite does not process sockeye if the sockeye is a whiting and not non-creaseproof is not true.
sent1: something is not creaseproof and it does not process sockeye. sent2: the zapper is a kind of a Kwan-yin if the sockeye is creaseproof. sent3: the zapper is not a radiotelegraph. sent4: if something that is not innumerate is not a radiotelegraph then the lepidolite does not process sockeye. sent5: something is both not innumerate and not a radiotelegraph if it is a kind of a Kwan-yin. sent6: the zapper is not a radiotelegraph if something that is not a Kwan-yin is not a whiting.
void -> assump1: Let's assume that the sockeye is both a whiting and creaseproof.; assump1 -> int1: the sockeye is creaseproof.; int1 & sent2 -> int2: the zapper is a Kwan-yin.; sent5 -> int3: the zapper is not innumerate and it is not a radiotelegraph if it is a Kwan-yin.; int2 & int3 -> int4: the zapper is not innumerate and it is not a kind of a radiotelegraph.; int4 -> int5: something is not innumerate and it is not a radiotelegraph.; int5 & sent4 -> int6: the lepidolite does not process sockeye.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the lepidolite does not process sockeye if the sockeye is a whiting and not non-creaseproof is not true. ; $context$ = sent1: something is not creaseproof and it does not process sockeye. sent2: the zapper is a kind of a Kwan-yin if the sockeye is creaseproof. sent3: the zapper is not a radiotelegraph. sent4: if something that is not innumerate is not a radiotelegraph then the lepidolite does not process sockeye. sent5: something is both not innumerate and not a radiotelegraph if it is a kind of a Kwan-yin. sent6: the zapper is not a radiotelegraph if something that is not a Kwan-yin is not a whiting. ; $proof$ = 
void -> assump1: Let's assume that the sockeye is both a whiting and creaseproof.; assump1 -> int1: the sockeye is creaseproof.; int1 & sent2 -> int2: the zapper is a Kwan-yin.; sent5 -> int3: the zapper is not innumerate and it is not a radiotelegraph if it is a Kwan-yin.; int2 & int3 -> int4: the zapper is not innumerate and it is not a kind of a radiotelegraph.; int4 -> int5: something is not innumerate and it is not a radiotelegraph.; int5 & sent4 -> int6: the lepidolite does not process sockeye.; [assump1] & int6 -> hypothesis; __DISPROVED__