the fact that the larcenist is a kind of a national and it does clock Carpinaceae is not correct.
sent1: the tempestuousness does transfigure if that it does clock esker is not false. sent2: there exists something such that it is not a kind of a fatherhood. sent3: if there is something such that it does clock Carpinaceae and it is not national then the larcenist is a fatherhood. sent4: that the bonemeal is a national is true. sent5: the buna salves warhorse. sent6: if the catastrophe salves aggrandizement then the larcenist does clock Carpinaceae. sent7: there exists something such that it does salve warhorse. sent8: the tempestuousness does not transfigure. sent9: the larcenist does not clock esker. sent10: the catastrophe does clock esker. sent11: the bonemeal is a fatherhood if it is a kind of a national. sent12: if the bonemeal is a national the larcenist is a national. sent13: something salves aggrandizement. sent14: there exists something such that it does salve Hedysarum. sent15: the buna salves warhorse and does not clock esker. sent16: the catastrophe does salve aggrandizement if that that the buna does salve warhorse and is not a fatherhood is true does not hold. sent17: that the tempestuousness clocks esker is not false if something that salves warhorse is not a kind of a fatherhood. sent18: that the bonemeal does clock esker is correct. sent19: the catastrophe is a fatherhood. sent20: that the haranguer is not a kind of a fatherhood is wrong. sent21: the buna is a kind of a national. sent22: something does salve warhorse and is a fatherhood. sent23: the larcenist does transfigure.
void -> assump1: Let's assume that the buna does salve warhorse and is not a fatherhood.; assump1 -> int1: something salves warhorse but it is not a fatherhood.; int1 & sent17 -> int2: that the tempestuousness does clock esker is not wrong.; int2 & sent1 -> int3: the tempestuousness transfigures.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the buna salves warhorse and is not a fatherhood is not true.; int5 & sent16 -> int6: the catastrophe does salve aggrandizement.; int6 & sent6 -> int7: the larcenist clocks Carpinaceae.; sent12 & sent4 -> int8: the larcenist is a national.; int7 & int8 -> hypothesis;
$hypothesis$ = the fact that the larcenist is a kind of a national and it does clock Carpinaceae is not correct. ; $context$ = sent1: the tempestuousness does transfigure if that it does clock esker is not false. sent2: there exists something such that it is not a kind of a fatherhood. sent3: if there is something such that it does clock Carpinaceae and it is not national then the larcenist is a fatherhood. sent4: that the bonemeal is a national is true. sent5: the buna salves warhorse. sent6: if the catastrophe salves aggrandizement then the larcenist does clock Carpinaceae. sent7: there exists something such that it does salve warhorse. sent8: the tempestuousness does not transfigure. sent9: the larcenist does not clock esker. sent10: the catastrophe does clock esker. sent11: the bonemeal is a fatherhood if it is a kind of a national. sent12: if the bonemeal is a national the larcenist is a national. sent13: something salves aggrandizement. sent14: there exists something such that it does salve Hedysarum. sent15: the buna salves warhorse and does not clock esker. sent16: the catastrophe does salve aggrandizement if that that the buna does salve warhorse and is not a fatherhood is true does not hold. sent17: that the tempestuousness clocks esker is not false if something that salves warhorse is not a kind of a fatherhood. sent18: that the bonemeal does clock esker is correct. sent19: the catastrophe is a fatherhood. sent20: that the haranguer is not a kind of a fatherhood is wrong. sent21: the buna is a kind of a national. sent22: something does salve warhorse and is a fatherhood. sent23: the larcenist does transfigure. ; $proof$ = 
void -> assump1: Let's assume that the buna does salve warhorse and is not a fatherhood.; assump1 -> int1: something salves warhorse but it is not a fatherhood.; int1 & sent17 -> int2: that the tempestuousness does clock esker is not wrong.; int2 & sent1 -> int3: the tempestuousness transfigures.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the buna salves warhorse and is not a fatherhood is not true.; int5 & sent16 -> int6: the catastrophe does salve aggrandizement.; int6 & sent6 -> int7: the larcenist clocks Carpinaceae.; sent12 & sent4 -> int8: the larcenist is a national.; int7 & int8 -> hypothesis; __DISPROVED__