the wood-fern is unangry.
sent1: if that something does help but it is not a kind of a vacationer is not right then it does not help. sent2: if something is a kind of a vacationer then it is a kind of a Finland. sent3: that the sandpaper is a kind of non-inconvenient thing that does enthrone is not true. sent4: the wood-fern is unemotional if there is something such that it does not help. sent5: there is something such that that it does not clank liking and is not a kind of a Mnium is not true. sent6: if something is not fewer then the fact that it does help and it is not a vacationer is not right. sent7: the warp is not fewer if something is unangry but it is not a Finland. sent8: the fact that the zebra is not a kind of a vacationer but it is unemotional is incorrect if the warp is unemotional. sent9: the warp is unemotional if it is not a Pizarro and it is sidearm. sent10: the fact that the zebra is not rectosigmoid but it helps does not hold. sent11: the wood-fern does not enthrone. sent12: if the zebra is not a kind of a Finland that it is non-fewer and/or it helps is not true. sent13: the phlogopite does not constipate if there is something such that that it does not clank liking and is not a kind of a Mnium is wrong. sent14: something helps if the fact that it is not a vacationer but unemotional is not correct. sent15: that the zebra is not a Finland is true. sent16: that something does not help and it is not unemotional is not true if it is a kind of a vacationer. sent17: if there exists something such that that it is not a Pizarro and it is sidearm is wrong the wood-fern is unangry. sent18: that the wood-fern is not unangry and/or it is a Finland is wrong if it is not sidearm. sent19: if something is not a kind of a Finland and is not fewer it is a vacationer.
void -> assump1: Let's assume that the warp is not a kind of a Pizarro but it is sidearm.; sent9 & assump1 -> int1: the warp is unemotional.; int1 & sent8 -> int2: the fact that the zebra is both not a vacationer and unemotional is not correct.; sent14 -> int3: the fact that the zebra helps is right if that it is not a vacationer and it is unemotional is not right.; int2 & int3 -> int4: the zebra helps.; int4 -> int5: the zebra either is not fewer or helps or both.; sent12 & sent15 -> int6: that the zebra is not fewer and/or it does help is not correct.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that that the warp is not a kind of a Pizarro but it is sidearm does not hold is not wrong.; int8 -> int9: there is something such that that it is not a Pizarro and is sidearm is false.; int9 & sent17 -> hypothesis;
the wood-fern is unemotional.
sent1 -> int10: if the fact that the warp does help and is not a vacationer is not correct then it does not help.; sent6 -> int11: the fact that that the warp helps and is not a kind of a vacationer is right is not right if it is not fewer.; sent5 & sent13 -> int12: the phlogopite does not constipate.; int12 -> int13: there is something such that it does not constipate.;
$hypothesis$ = the wood-fern is unangry. ; $context$ = sent1: if that something does help but it is not a kind of a vacationer is not right then it does not help. sent2: if something is a kind of a vacationer then it is a kind of a Finland. sent3: that the sandpaper is a kind of non-inconvenient thing that does enthrone is not true. sent4: the wood-fern is unemotional if there is something such that it does not help. sent5: there is something such that that it does not clank liking and is not a kind of a Mnium is not true. sent6: if something is not fewer then the fact that it does help and it is not a vacationer is not right. sent7: the warp is not fewer if something is unangry but it is not a Finland. sent8: the fact that the zebra is not a kind of a vacationer but it is unemotional is incorrect if the warp is unemotional. sent9: the warp is unemotional if it is not a Pizarro and it is sidearm. sent10: the fact that the zebra is not rectosigmoid but it helps does not hold. sent11: the wood-fern does not enthrone. sent12: if the zebra is not a kind of a Finland that it is non-fewer and/or it helps is not true. sent13: the phlogopite does not constipate if there is something such that that it does not clank liking and is not a kind of a Mnium is wrong. sent14: something helps if the fact that it is not a vacationer but unemotional is not correct. sent15: that the zebra is not a Finland is true. sent16: that something does not help and it is not unemotional is not true if it is a kind of a vacationer. sent17: if there exists something such that that it is not a Pizarro and it is sidearm is wrong the wood-fern is unangry. sent18: that the wood-fern is not unangry and/or it is a Finland is wrong if it is not sidearm. sent19: if something is not a kind of a Finland and is not fewer it is a vacationer. ; $proof$ = 
void -> assump1: Let's assume that the warp is not a kind of a Pizarro but it is sidearm.; sent9 & assump1 -> int1: the warp is unemotional.; int1 & sent8 -> int2: the fact that the zebra is both not a vacationer and unemotional is not correct.; sent14 -> int3: the fact that the zebra helps is right if that it is not a vacationer and it is unemotional is not right.; int2 & int3 -> int4: the zebra helps.; int4 -> int5: the zebra either is not fewer or helps or both.; sent12 & sent15 -> int6: that the zebra is not fewer and/or it does help is not correct.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that that the warp is not a kind of a Pizarro but it is sidearm does not hold is not wrong.; int8 -> int9: there is something such that that it is not a Pizarro and is sidearm is false.; int9 & sent17 -> hypothesis; __PROVED__