the fact that if the territory is not non-outward then the symbolist is not a murderer is wrong.
sent1: the symbolist is not a murderer if there is something such that the fact that it does melanize territory and is not a Orwell does not hold. sent2: if the territory is outward then that the symbolist is a murderer is not wrong. sent3: the symbolist is not outward if there exists something such that that it melanizes territory and it is not a murderer is false. sent4: if something is outward then that it does melanize territory and is not a kind of a Orwell is incorrect. sent5: if there is something such that it is a kind of a murderer then the territory is not a kind of a Orwell. sent6: the symbolist is a kind of a murderer.
sent4 -> int1: if the territory is outward the fact that it does melanize territory and it is not a Orwell is wrong.; void -> assump1: Let's assume that the territory is outward.; int1 & assump1 -> int2: the fact that the territory melanizes territory but it is not a Orwell does not hold.; int2 -> int3: there is something such that that it melanizes territory and is not a Orwell is wrong.; int3 & sent1 -> int4: the symbolist is not a murderer.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the territory is not non-outward then the symbolist is not a murderer is wrong. ; $context$ = sent1: the symbolist is not a murderer if there is something such that the fact that it does melanize territory and is not a Orwell does not hold. sent2: if the territory is outward then that the symbolist is a murderer is not wrong. sent3: the symbolist is not outward if there exists something such that that it melanizes territory and it is not a murderer is false. sent4: if something is outward then that it does melanize territory and is not a kind of a Orwell is incorrect. sent5: if there is something such that it is a kind of a murderer then the territory is not a kind of a Orwell. sent6: the symbolist is a kind of a murderer. ; $proof$ = 
sent4 -> int1: if the territory is outward the fact that it does melanize territory and it is not a Orwell is wrong.; void -> assump1: Let's assume that the territory is outward.; int1 & assump1 -> int2: the fact that the territory melanizes territory but it is not a Orwell does not hold.; int2 -> int3: there is something such that that it melanizes territory and is not a Orwell is wrong.; int3 & sent1 -> int4: the symbolist is not a murderer.; [assump1] & int4 -> hypothesis; __DISPROVED__