the essonite is a tureen.
sent1: the mouthpiece is Tajikistani. sent2: the mouthpiece does not utilize if it does bar FAQ. sent3: if there exists something such that it does not verbify utilizer the essonite is a kind of a tureen and it is Tajikistani. sent4: if something does not verbify utilizer then it is not a kind of a tureen. sent5: everything is a stephanion. sent6: if the moonflower does verbify utilizer the mouthpiece is not a doorframe and/or it does bar FAQ. sent7: something does not utilize if it is not a doorframe and/or it bars FAQ. sent8: everything does utilize and is a kind of a stephanion.
void -> assump1: Let's assume that the moonflower does verbify utilizer.; sent6 & assump1 -> int1: the mouthpiece is not a doorframe or it does bar FAQ or both.; sent7 -> int2: if the mouthpiece either is not a doorframe or does bar FAQ or both the fact that it does not utilize is right.; int1 & int2 -> int3: the mouthpiece does not utilize.; sent8 -> int4: the mouthpiece utilizes and is a stephanion.; int4 -> int5: the mouthpiece utilizes.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the moonflower does not verbify utilizer.; int7 -> int8: there is something such that the fact that it does not verbify utilizer hold.; int8 & sent3 -> int9: the essonite is a tureen that is Tajikistani.; int9 -> hypothesis;
the essonite is not a tureen.
sent4 -> int10: if the essonite does not verbify utilizer it is not a tureen.;
$hypothesis$ = the essonite is a tureen. ; $context$ = sent1: the mouthpiece is Tajikistani. sent2: the mouthpiece does not utilize if it does bar FAQ. sent3: if there exists something such that it does not verbify utilizer the essonite is a kind of a tureen and it is Tajikistani. sent4: if something does not verbify utilizer then it is not a kind of a tureen. sent5: everything is a stephanion. sent6: if the moonflower does verbify utilizer the mouthpiece is not a doorframe and/or it does bar FAQ. sent7: something does not utilize if it is not a doorframe and/or it bars FAQ. sent8: everything does utilize and is a kind of a stephanion. ; $proof$ = 
void -> assump1: Let's assume that the moonflower does verbify utilizer.; sent6 & assump1 -> int1: the mouthpiece is not a doorframe or it does bar FAQ or both.; sent7 -> int2: if the mouthpiece either is not a doorframe or does bar FAQ or both the fact that it does not utilize is right.; int1 & int2 -> int3: the mouthpiece does not utilize.; sent8 -> int4: the mouthpiece utilizes and is a stephanion.; int4 -> int5: the mouthpiece utilizes.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the moonflower does not verbify utilizer.; int7 -> int8: there is something such that the fact that it does not verbify utilizer hold.; int8 & sent3 -> int9: the essonite is a tureen that is Tajikistani.; int9 -> hypothesis; __PROVED__