the hiddenite is a kind of a tempera.
sent1: if the placental is not congeneric and is not cockney then it is not an advancement. sent2: the hiddenite is not directing. sent3: that the echinococcus does outstare footwear and it is anal is not incorrect if there exists something such that it is not a Guam. sent4: the placental is not anal if it does direct and does not outstare townee. sent5: the placental is anal. sent6: something is a Guam if it does outstare footwear. sent7: if the footwear is not a Liberian then the fact that the placental is both anal and not a Guam does not hold. sent8: if something does outstare footwear it is a kind of a diminution. sent9: that the placental is not anal hold if it does not direct and it does not outstare townee. sent10: the sophisticate is not anal. sent11: if the fact that something is not directing and it does not outstare townee is not correct it outstares footwear. sent12: the hiddenite is not a tempera if that it is uninucleate and it piddles caper is wrong. sent13: the fact that the hiddenite is a kind of the tempera if the hiddenite is a diminution hold. sent14: the placental is not a self. sent15: if something is a kind of a Liberian it is a diminution. sent16: the fact that if the placental is a Guam then the hiddenite is Liberian is not wrong. sent17: the fact that the hiddenite does not outstare footwear is right if there is something such that the fact that it is both anal and not a Guam is wrong.
void -> assump1: Let's assume that the fact that the placental is a kind of non-directing thing that does not outstare townee is not false.; sent9 & assump1 -> int1: the placental is not anal.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the placental is not directing and it does not outstare townee is false.; sent11 -> int4: the placental outstares footwear if that it is not directing and does not outstare townee is incorrect.; int3 & int4 -> int5: the placental does outstare footwear.; sent6 -> int6: if the placental outstares footwear it is a Guam.; int5 & int6 -> int7: the placental is a kind of a Guam.; int7 & sent16 -> int8: the hiddenite is a Liberian.; sent15 -> int9: the fact that if the hiddenite is a kind of the Liberian the hiddenite is a diminution is right.; int8 & int9 -> int10: the hiddenite is a kind of a diminution.; int10 & sent13 -> hypothesis;
the echinococcus is a kind of a diminution.
sent8 -> int11: if the echinococcus does outstare footwear it is a diminution.;
$hypothesis$ = the hiddenite is a kind of a tempera. ; $context$ = sent1: if the placental is not congeneric and is not cockney then it is not an advancement. sent2: the hiddenite is not directing. sent3: that the echinococcus does outstare footwear and it is anal is not incorrect if there exists something such that it is not a Guam. sent4: the placental is not anal if it does direct and does not outstare townee. sent5: the placental is anal. sent6: something is a Guam if it does outstare footwear. sent7: if the footwear is not a Liberian then the fact that the placental is both anal and not a Guam does not hold. sent8: if something does outstare footwear it is a kind of a diminution. sent9: that the placental is not anal hold if it does not direct and it does not outstare townee. sent10: the sophisticate is not anal. sent11: if the fact that something is not directing and it does not outstare townee is not correct it outstares footwear. sent12: the hiddenite is not a tempera if that it is uninucleate and it piddles caper is wrong. sent13: the fact that the hiddenite is a kind of the tempera if the hiddenite is a diminution hold. sent14: the placental is not a self. sent15: if something is a kind of a Liberian it is a diminution. sent16: the fact that if the placental is a Guam then the hiddenite is Liberian is not wrong. sent17: the fact that the hiddenite does not outstare footwear is right if there is something such that the fact that it is both anal and not a Guam is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the placental is a kind of non-directing thing that does not outstare townee is not false.; sent9 & assump1 -> int1: the placental is not anal.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the placental is not directing and it does not outstare townee is false.; sent11 -> int4: the placental outstares footwear if that it is not directing and does not outstare townee is incorrect.; int3 & int4 -> int5: the placental does outstare footwear.; sent6 -> int6: if the placental outstares footwear it is a Guam.; int5 & int6 -> int7: the placental is a kind of a Guam.; int7 & sent16 -> int8: the hiddenite is a Liberian.; sent15 -> int9: the fact that if the hiddenite is a kind of the Liberian the hiddenite is a diminution is right.; int8 & int9 -> int10: the hiddenite is a kind of a diminution.; int10 & sent13 -> hypothesis; __PROVED__