there are non-piscatorial things.
sent1: something is a kind of a nemertean if that it is news but not a nemertean is false. sent2: if the bullet edges junior and does not edge paleolith then the junior is not a nemertean. sent3: that that the junior is a kind of news thing that is a nemertean does not hold hold. sent4: there is nothing such that the fact that it is a kind of news thing that is not a nemertean is not incorrect. sent5: if the bullet is piscatorial then it does edge junior and it does not edge paleolith.
void -> assump1: Let's assume that the bullet is piscatorial.; sent5 & assump1 -> int1: the bullet does edge junior but it does not edge paleolith.; int1 & sent2 -> int2: the fact that the junior is not a nemertean hold.; sent1 -> int3: that the junior is the nemertean if the fact that the junior is news but it is not a nemertean does not hold is not wrong.; sent4 -> int4: the fact that the junior is both news and not a nemertean is incorrect.; int3 & int4 -> int5: the junior is a nemertean.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bullet is not piscatorial.; int7 -> hypothesis;
$hypothesis$ = there are non-piscatorial things. ; $context$ = sent1: something is a kind of a nemertean if that it is news but not a nemertean is false. sent2: if the bullet edges junior and does not edge paleolith then the junior is not a nemertean. sent3: that that the junior is a kind of news thing that is a nemertean does not hold hold. sent4: there is nothing such that the fact that it is a kind of news thing that is not a nemertean is not incorrect. sent5: if the bullet is piscatorial then it does edge junior and it does not edge paleolith. ; $proof$ = 
void -> assump1: Let's assume that the bullet is piscatorial.; sent5 & assump1 -> int1: the bullet does edge junior but it does not edge paleolith.; int1 & sent2 -> int2: the fact that the junior is not a nemertean hold.; sent1 -> int3: that the junior is the nemertean if the fact that the junior is news but it is not a nemertean does not hold is not wrong.; sent4 -> int4: the fact that the junior is both news and not a nemertean is incorrect.; int3 & int4 -> int5: the junior is a nemertean.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bullet is not piscatorial.; int7 -> hypothesis; __PROVED__