the fact that the uptown consummates and does not transmute does not hold.
sent1: the butanone does not superscribe Glaucium if that it does transmute and superscribe Glaucium is false. sent2: the butanone is philatelic if the fact that it is non-Finnish and does superscribe Glaucium is not right. sent3: something is a Grace if it is not non-philatelic. sent4: there exists something such that it pouts. sent5: if that something is a creep and a Grace is false it is not a Grace. sent6: that the butanone is a creep and it is a Grace is not true if something is a kind of a pout.
void -> assump1: Let's assume that that the butanone is non-Finnish thing that superscribes Glaucium is incorrect.; sent2 & assump1 -> int1: the butanone is philatelic.; sent3 -> int2: the butanone is a Grace if it is philatelic.; int1 & int2 -> int3: the fact that the butanone is a kind of a Grace is true.; sent5 -> int4: the fact that the butanone is not a kind of a Grace hold if the fact that it is a creep and is a Grace is not right.; sent4 & sent6 -> int5: that the butanone does creep and it is a Grace is not true.; int4 & int5 -> int6: the butanone is not a Grace.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the butanone is not a Finnish and does superscribe Glaucium.; int8 -> int9: the butanone does superscribe Glaucium.; int9 -> int10: there exists something such that it does superscribe Glaucium.;
$hypothesis$ = the fact that the uptown consummates and does not transmute does not hold. ; $context$ = sent1: the butanone does not superscribe Glaucium if that it does transmute and superscribe Glaucium is false. sent2: the butanone is philatelic if the fact that it is non-Finnish and does superscribe Glaucium is not right. sent3: something is a Grace if it is not non-philatelic. sent4: there exists something such that it pouts. sent5: if that something is a creep and a Grace is false it is not a Grace. sent6: that the butanone is a creep and it is a Grace is not true if something is a kind of a pout. ; $proof$ = 
void -> assump1: Let's assume that that the butanone is non-Finnish thing that superscribes Glaucium is incorrect.; sent2 & assump1 -> int1: the butanone is philatelic.; sent3 -> int2: the butanone is a Grace if it is philatelic.; int1 & int2 -> int3: the fact that the butanone is a kind of a Grace is true.; sent5 -> int4: the fact that the butanone is not a kind of a Grace hold if the fact that it is a creep and is a Grace is not right.; sent4 & sent6 -> int5: that the butanone does creep and it is a Grace is not true.; int4 & int5 -> int6: the butanone is not a Grace.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the butanone is not a Finnish and does superscribe Glaucium.; int8 -> int9: the butanone does superscribe Glaucium.; int9 -> int10: there exists something such that it does superscribe Glaucium.; __UNKNOWN__