the marseille is a kind of non-sensory thing that does not decompress.
sent1: something that is not a ECC is not sensory. sent2: if the pointillism is truthful but it is not an old it is not a facing. sent3: the waterline is not a porte-cochere but a facing. sent4: the jack-o-lantern faces. sent5: the marseille is not sensory and it does not decompress if the waterline is not sensory. sent6: if something is a local the fact that it is non-sensory thing that does not decompress is wrong. sent7: the waterline is not a kind of a ECC if there are local things. sent8: if the jack-o-lantern faces then the pointillism is a faces. sent9: if the pointillism is both not untruthful and not non-old it is not a facing. sent10: the wet-nurse is not a facing.
void -> assump1: Let's assume that the pointillism is truthful but it is not old.; sent2 & assump1 -> int1: the pointillism is not a facing.; sent8 & sent4 -> int2: the pointillism is a facing.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that that the pointillism is not untruthful but it is not an old is false is not false.; sent1 -> int5: the waterline is not sensory if it is not a kind of a ECC.;
the fact that the marseille is not sensory and it does not decompress is false.
sent6 -> int6: the fact that the marseille is not sensory and it does not decompress is not true if it is local.; sent3 -> int7: the waterline is a facing.; int7 -> int8: there is something such that it is a facing.;
$hypothesis$ = the marseille is a kind of non-sensory thing that does not decompress. ; $context$ = sent1: something that is not a ECC is not sensory. sent2: if the pointillism is truthful but it is not an old it is not a facing. sent3: the waterline is not a porte-cochere but a facing. sent4: the jack-o-lantern faces. sent5: the marseille is not sensory and it does not decompress if the waterline is not sensory. sent6: if something is a local the fact that it is non-sensory thing that does not decompress is wrong. sent7: the waterline is not a kind of a ECC if there are local things. sent8: if the jack-o-lantern faces then the pointillism is a faces. sent9: if the pointillism is both not untruthful and not non-old it is not a facing. sent10: the wet-nurse is not a facing. ; $proof$ = 
void -> assump1: Let's assume that the pointillism is truthful but it is not old.; sent2 & assump1 -> int1: the pointillism is not a facing.; sent8 & sent4 -> int2: the pointillism is a facing.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that that the pointillism is not untruthful but it is not an old is false is not false.; sent1 -> int5: the waterline is not sensory if it is not a kind of a ECC.; __UNKNOWN__