the alpha-tocopheral is joyous.
sent1: the bowleg is a discrimination. sent2: the langur does count page. sent3: if there exists something such that that it does not perfect and is joyous is not correct the parapodium is not joyous. sent4: the langur is not impolite. sent5: if the investor is not perfected and does ambush then the dwarf is a discrimination. sent6: the alpha-tocopheral is joyous if the investor does not ambush. sent7: the langur is not a kind of an ambush. sent8: the alpha-tocopheral is a discrimination if the dwarf is both non-perfected and not non-joyous. sent9: if the langur is a discrimination but it does not shake then the dwarf is not a kind of a discrimination. sent10: the langur is a discrimination if it is polite. sent11: the langur is not joyous. sent12: the investor does not perfect. sent13: the langur is a discrimination. sent14: the heretic counts cryometer but it does not shake. sent15: the fact that the langur does not perfect hold. sent16: the dwarf is joyous. sent17: the jacket is a pensioner but it is not an ambush. sent18: if the langur is polite that it is a discrimination and does not shake is true. sent19: the langur is not joyous if the alpha-tocopheral is joyous but it does not shake. sent20: the investor is polite if the langur is not perfected. sent21: the thrombolytic does not shake. sent22: the investor does not grade reactance but it is a kind of a Helodermatidae. sent23: the investor does not shake.
void -> assump1: Let's assume that the investor does ambush.; sent12 & assump1 -> int1: the investor is a kind of non-perfected thing that ambushes.; int1 & sent5 -> int2: the dwarf is a discrimination.; sent18 & sent4 -> int3: the langur is a discrimination but it does not shake.; sent9 & int3 -> int4: the dwarf is not a kind of a discrimination.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the investor is not an ambush.; int6 & sent6 -> hypothesis;
the parapodium is not joyous.
$hypothesis$ = the alpha-tocopheral is joyous. ; $context$ = sent1: the bowleg is a discrimination. sent2: the langur does count page. sent3: if there exists something such that that it does not perfect and is joyous is not correct the parapodium is not joyous. sent4: the langur is not impolite. sent5: if the investor is not perfected and does ambush then the dwarf is a discrimination. sent6: the alpha-tocopheral is joyous if the investor does not ambush. sent7: the langur is not a kind of an ambush. sent8: the alpha-tocopheral is a discrimination if the dwarf is both non-perfected and not non-joyous. sent9: if the langur is a discrimination but it does not shake then the dwarf is not a kind of a discrimination. sent10: the langur is a discrimination if it is polite. sent11: the langur is not joyous. sent12: the investor does not perfect. sent13: the langur is a discrimination. sent14: the heretic counts cryometer but it does not shake. sent15: the fact that the langur does not perfect hold. sent16: the dwarf is joyous. sent17: the jacket is a pensioner but it is not an ambush. sent18: if the langur is polite that it is a discrimination and does not shake is true. sent19: the langur is not joyous if the alpha-tocopheral is joyous but it does not shake. sent20: the investor is polite if the langur is not perfected. sent21: the thrombolytic does not shake. sent22: the investor does not grade reactance but it is a kind of a Helodermatidae. sent23: the investor does not shake. ; $proof$ = 
void -> assump1: Let's assume that the investor does ambush.; sent12 & assump1 -> int1: the investor is a kind of non-perfected thing that ambushes.; int1 & sent5 -> int2: the dwarf is a discrimination.; sent18 & sent4 -> int3: the langur is a discrimination but it does not shake.; sent9 & int3 -> int4: the dwarf is not a kind of a discrimination.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the investor is not an ambush.; int6 & sent6 -> hypothesis; __PROVED__