the puncher is not nonspatial.
sent1: something that does not embrown siamese is an examiner. sent2: something is a kind of a bluefish if it is correlational. sent3: if the puncher is a kind of an examiner and is nonspatial then the siamese does not heap. sent4: the siamese is correlational. sent5: something that is a kind of a bluefish does heap. sent6: the puncher does not embrown siamese and it does not mail.
sent6 -> int1: the puncher does not embrown siamese.; sent1 -> int2: if the puncher does not embrown siamese it is an examiner.; int1 & int2 -> int3: the puncher is an examiner.; void -> assump1: Let's assume that that the puncher is nonspatial is not incorrect.; int3 & assump1 -> int4: the puncher is a kind of an examiner and it is nonspatial.; int4 & sent3 -> int5: the siamese does not heap.; sent5 -> int6: if the siamese is a kind of a bluefish then that it heaps hold.; sent2 -> int7: the siamese is a bluefish if it is correlational.; int7 & sent4 -> int8: the siamese is a kind of a bluefish.; int6 & int8 -> int9: the fact that the siamese does heap is not wrong.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the puncher is not nonspatial. ; $context$ = sent1: something that does not embrown siamese is an examiner. sent2: something is a kind of a bluefish if it is correlational. sent3: if the puncher is a kind of an examiner and is nonspatial then the siamese does not heap. sent4: the siamese is correlational. sent5: something that is a kind of a bluefish does heap. sent6: the puncher does not embrown siamese and it does not mail. ; $proof$ = 
sent6 -> int1: the puncher does not embrown siamese.; sent1 -> int2: if the puncher does not embrown siamese it is an examiner.; int1 & int2 -> int3: the puncher is an examiner.; void -> assump1: Let's assume that that the puncher is nonspatial is not incorrect.; int3 & assump1 -> int4: the puncher is a kind of an examiner and it is nonspatial.; int4 & sent3 -> int5: the siamese does not heap.; sent5 -> int6: if the siamese is a kind of a bluefish then that it heaps hold.; sent2 -> int7: the siamese is a bluefish if it is correlational.; int7 & sent4 -> int8: the siamese is a kind of a bluefish.; int6 & int8 -> int9: the fact that the siamese does heap is not wrong.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__