if the walleye is salivary then the fact that it is not effortful and it is not a kind of a Mimidae is wrong.
sent1: the walleye is not effortful. sent2: if something is a piranha then it is not a Mimidae. sent3: if the walleye is both not effortful and not a Mimidae it is not salivary. sent4: the walleye is not a kind of a Mimidae. sent5: the fact that the walleye is not salivary and it is not definite is not right. sent6: that the fact that the walleye is not a patriarchy and it is not a Planococcus is not correct is not wrong if it is a Mimidae.
void -> assump1: Let's assume that the walleye is not effortful and it is not a Mimidae.; sent3 & assump1 -> int1: the walleye is not salivary.; void -> assump2: Let's assume that the fact that the walleye is salivary hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the walleye is non-effortful thing that is not a kind of a Mimidae does not hold.; [assump2] & int3 -> hypothesis;
the abalone is not a Mimidae.
sent2 -> int4: the abalone is not a kind of a Mimidae if it is a piranha.;
$hypothesis$ = if the walleye is salivary then the fact that it is not effortful and it is not a kind of a Mimidae is wrong. ; $context$ = sent1: the walleye is not effortful. sent2: if something is a piranha then it is not a Mimidae. sent3: if the walleye is both not effortful and not a Mimidae it is not salivary. sent4: the walleye is not a kind of a Mimidae. sent5: the fact that the walleye is not salivary and it is not definite is not right. sent6: that the fact that the walleye is not a patriarchy and it is not a Planococcus is not correct is not wrong if it is a Mimidae. ; $proof$ = 
void -> assump1: Let's assume that the walleye is not effortful and it is not a Mimidae.; sent3 & assump1 -> int1: the walleye is not salivary.; void -> assump2: Let's assume that the fact that the walleye is salivary hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the walleye is non-effortful thing that is not a kind of a Mimidae does not hold.; [assump2] & int3 -> hypothesis; __PROVED__