the shoe-shop either is a kind of a Bernstein or is tracheal or both.
sent1: the shoe-shop is a Bernstein if there is something such that the fact that it does swear and is a trephination does not hold. sent2: the shoe-shop is a kind of a Bernstein if there exists something such that it is not a trephination. sent3: the empress is not tracheal. sent4: the fact that something is a Bernstein and it is tracheal is false if it does not swear. sent5: something is not a kind of a trephination and does not swear if it is a kind of a Bernstein. sent6: the liquidambar does not complect drab. sent7: everything is not a sheep-tick. sent8: the fact that something does swear and is a trephination is wrong if it is not a dune. sent9: if the brotula is not angelic and is not a kind of a dune the Cretan is angelic. sent10: the empress is a kind of a sheep-tick if that the brotula is a kind of a dune hold. sent11: if the shoe-shop is tracheal then the empress is a Bernstein. sent12: if the liquidambar does not complect drab it tunes and/or it is metallurgical.
void -> assump1: Let's assume that the brotula is a dune.; sent10 & assump1 -> int1: the empress is a sheep-tick.; sent7 -> int2: the empress is not a sheep-tick.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the brotula is not a dune.; sent8 -> int5: that the brotula does swear and it is a trephination is not correct if it is not a dune.; int4 & int5 -> int6: the fact that the brotula swears and it is a trephination is false.; int6 -> int7: there exists something such that that it does swear and it is a trephination is wrong.; int7 & sent1 -> int8: the shoe-shop is a Bernstein.; int8 -> hypothesis;
the Cretan is angelic.
sent5 -> int9: the empress is not a kind of a trephination and does not swear if it is a kind of a Bernstein.; sent12 & sent6 -> int10: that the liquidambar is a tuning and/or metallurgical is not wrong.;
$hypothesis$ = the shoe-shop either is a kind of a Bernstein or is tracheal or both. ; $context$ = sent1: the shoe-shop is a Bernstein if there is something such that the fact that it does swear and is a trephination does not hold. sent2: the shoe-shop is a kind of a Bernstein if there exists something such that it is not a trephination. sent3: the empress is not tracheal. sent4: the fact that something is a Bernstein and it is tracheal is false if it does not swear. sent5: something is not a kind of a trephination and does not swear if it is a kind of a Bernstein. sent6: the liquidambar does not complect drab. sent7: everything is not a sheep-tick. sent8: the fact that something does swear and is a trephination is wrong if it is not a dune. sent9: if the brotula is not angelic and is not a kind of a dune the Cretan is angelic. sent10: the empress is a kind of a sheep-tick if that the brotula is a kind of a dune hold. sent11: if the shoe-shop is tracheal then the empress is a Bernstein. sent12: if the liquidambar does not complect drab it tunes and/or it is metallurgical. ; $proof$ = 
void -> assump1: Let's assume that the brotula is a dune.; sent10 & assump1 -> int1: the empress is a sheep-tick.; sent7 -> int2: the empress is not a sheep-tick.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the brotula is not a dune.; sent8 -> int5: that the brotula does swear and it is a trephination is not correct if it is not a dune.; int4 & int5 -> int6: the fact that the brotula swears and it is a trephination is false.; int6 -> int7: there exists something such that that it does swear and it is a trephination is wrong.; int7 & sent1 -> int8: the shoe-shop is a Bernstein.; int8 -> hypothesis; __PROVED__