the acetaldehyde is a puffery.
sent1: the fact that the gloxinia is not extragalactic but posterior is not true if the acetaldehyde is not a kind of a puffery. sent2: that the acetaldehyde is bureaucratic is not wrong. sent3: a Dreiser is not a deictic and does not radio Christmasberry. sent4: the gloxinia is a Dreiser if it is extragalactic. sent5: the gloxinia is not a phlebotomist and does not radio Christmasberry. sent6: something is a Dreiser if that it is a kind of non-extragalactic a posterior is wrong. sent7: if something that is not a deictic does not radio Christmasberry then it is not a Essene. sent8: if either the gloxinia is a Essene or it is not a Lucy or both it is a Essene. sent9: the gloxinia either is Essene or is not a kind of a Lucy or both if the harpsichordist is not bureaucratic. sent10: the fact that the harpsichordist is not a kind of a posterior is not incorrect. sent11: if the acetaldehyde is not a Lucy then that the gloxinia is not a posterior but a puffery is not true. sent12: the harpsichordist is not bureaucratic. sent13: something is not a puffery if it is a Dreiser. sent14: if something that is not bureaucratic is a Dreiser it is non-deictic.
void -> assump1: Let's assume that the acetaldehyde is not a kind of a puffery.; sent1 & assump1 -> int1: the fact that the gloxinia is a kind of non-extragalactic thing that is a kind of a posterior is not right.; sent6 -> int2: if that the gloxinia is not extragalactic but it is a posterior is incorrect then it is a Dreiser.; int1 & int2 -> int3: that the gloxinia is a Dreiser is correct.; sent3 -> int4: the gloxinia is not a deictic and does not radio Christmasberry if it is a Dreiser.; int3 & int4 -> int5: the gloxinia is a kind of non-deictic thing that does not radio Christmasberry.; sent7 -> int6: the gloxinia is not a Essene if that it is not deictic and it does not radio Christmasberry is not false.; int5 & int6 -> int7: the gloxinia is not Essene.; sent9 & sent12 -> int8: the gloxinia is a Essene or it is not a Lucy or both.; sent8 & int8 -> int9: the gloxinia is Essene.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the acetaldehyde is not a puffery.
sent13 -> int11: the acetaldehyde is not a puffery if it is a Dreiser.;
$hypothesis$ = the acetaldehyde is a puffery. ; $context$ = sent1: the fact that the gloxinia is not extragalactic but posterior is not true if the acetaldehyde is not a kind of a puffery. sent2: that the acetaldehyde is bureaucratic is not wrong. sent3: a Dreiser is not a deictic and does not radio Christmasberry. sent4: the gloxinia is a Dreiser if it is extragalactic. sent5: the gloxinia is not a phlebotomist and does not radio Christmasberry. sent6: something is a Dreiser if that it is a kind of non-extragalactic a posterior is wrong. sent7: if something that is not a deictic does not radio Christmasberry then it is not a Essene. sent8: if either the gloxinia is a Essene or it is not a Lucy or both it is a Essene. sent9: the gloxinia either is Essene or is not a kind of a Lucy or both if the harpsichordist is not bureaucratic. sent10: the fact that the harpsichordist is not a kind of a posterior is not incorrect. sent11: if the acetaldehyde is not a Lucy then that the gloxinia is not a posterior but a puffery is not true. sent12: the harpsichordist is not bureaucratic. sent13: something is not a puffery if it is a Dreiser. sent14: if something that is not bureaucratic is a Dreiser it is non-deictic. ; $proof$ = 
void -> assump1: Let's assume that the acetaldehyde is not a kind of a puffery.; sent1 & assump1 -> int1: the fact that the gloxinia is a kind of non-extragalactic thing that is a kind of a posterior is not right.; sent6 -> int2: if that the gloxinia is not extragalactic but it is a posterior is incorrect then it is a Dreiser.; int1 & int2 -> int3: that the gloxinia is a Dreiser is correct.; sent3 -> int4: the gloxinia is not a deictic and does not radio Christmasberry if it is a Dreiser.; int3 & int4 -> int5: the gloxinia is a kind of non-deictic thing that does not radio Christmasberry.; sent7 -> int6: the gloxinia is not a Essene if that it is not deictic and it does not radio Christmasberry is not false.; int5 & int6 -> int7: the gloxinia is not Essene.; sent9 & sent12 -> int8: the gloxinia is a Essene or it is not a Lucy or both.; sent8 & int8 -> int9: the gloxinia is Essene.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__