the fact that something is non-excretory is not true.
sent1: the paste does not horripilate. sent2: if the Parisienne is not a kind of a Eurocentrism the mess is not excretory. sent3: something is excretory. sent4: if the paste does not horripilate then the Parisienne does not salt columbite-tantalite and is not a Eurocentrism. sent5: something does not salt columbite-tantalite. sent6: the Parisienne does not salt columbite-tantalite.
sent4 & sent1 -> int1: the Parisienne does not salt columbite-tantalite and is not a Eurocentrism.; int1 -> int2: the fact that the Parisienne is not a Eurocentrism hold.; sent2 & int2 -> int3: that the mess is not excretory hold.; int3 -> hypothesis;
$hypothesis$ = the fact that something is non-excretory is not true. ; $context$ = sent1: the paste does not horripilate. sent2: if the Parisienne is not a kind of a Eurocentrism the mess is not excretory. sent3: something is excretory. sent4: if the paste does not horripilate then the Parisienne does not salt columbite-tantalite and is not a Eurocentrism. sent5: something does not salt columbite-tantalite. sent6: the Parisienne does not salt columbite-tantalite. ; $proof$ = 
sent4 & sent1 -> int1: the Parisienne does not salt columbite-tantalite and is not a Eurocentrism.; int1 -> int2: the fact that the Parisienne is not a Eurocentrism hold.; sent2 & int2 -> int3: that the mess is not excretory hold.; int3 -> hypothesis; __DISPROVED__