something is not a kind of a broiled but it is a kind of a divarication.
sent1: the handbarrow does not untune ngultrum. sent2: there exists something such that that it is a kind of non-umbellate thing that is an expressionist does not hold. sent3: if there exists something such that it is a stranger then the handbarrow is a founder. sent4: if the bottomland is a kind of a balsamroot it is not a broiled and it is a divarication. sent5: the bottomland untunes ngultrum if the megestrol is not isthmian and it does not broil. sent6: the handbarrow does not clap. sent7: the megestrol is not Hebridean and is not a broiled. sent8: the bottomland is not a broiled. sent9: the slops does not debar amoralism and broils. sent10: the hypothalamus does desecrate flippancy. sent11: the icicle is not a kind of a Borago but it is a broiled. sent12: the bottomland is a balsamroot if the megestrol is non-Hebridean thing that is not isthmian. sent13: there exists something such that it does not untune ngultrum and is not a broiled. sent14: the bottomland is not a present. sent15: there is something such that it is not a kind of a broiled. sent16: that the handbarrow untunes ngultrum is not incorrect if there exists something such that the fact that it is not Hebridean and it is not isthmian is not correct. sent17: The ngultrum does not untune handbarrow.
void -> assump1: Let's assume that that the megestrol is non-Hebridean and it is not isthmian is false.; assump1 -> int1: there is something such that that it is a kind of non-Hebridean thing that is not isthmian does not hold.; int1 & sent16 -> int2: the handbarrow untunes ngultrum.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the megestrol is not Hebridean and not isthmian is not incorrect.; int4 & sent12 -> int5: the bottomland is a kind of a balsamroot.; int5 & sent4 -> int6: the bottomland is not a broiled but a divarication.; int6 -> hypothesis;
$hypothesis$ = something is not a kind of a broiled but it is a kind of a divarication. ; $context$ = sent1: the handbarrow does not untune ngultrum. sent2: there exists something such that that it is a kind of non-umbellate thing that is an expressionist does not hold. sent3: if there exists something such that it is a stranger then the handbarrow is a founder. sent4: if the bottomland is a kind of a balsamroot it is not a broiled and it is a divarication. sent5: the bottomland untunes ngultrum if the megestrol is not isthmian and it does not broil. sent6: the handbarrow does not clap. sent7: the megestrol is not Hebridean and is not a broiled. sent8: the bottomland is not a broiled. sent9: the slops does not debar amoralism and broils. sent10: the hypothalamus does desecrate flippancy. sent11: the icicle is not a kind of a Borago but it is a broiled. sent12: the bottomland is a balsamroot if the megestrol is non-Hebridean thing that is not isthmian. sent13: there exists something such that it does not untune ngultrum and is not a broiled. sent14: the bottomland is not a present. sent15: there is something such that it is not a kind of a broiled. sent16: that the handbarrow untunes ngultrum is not incorrect if there exists something such that the fact that it is not Hebridean and it is not isthmian is not correct. sent17: The ngultrum does not untune handbarrow. ; $proof$ = 
void -> assump1: Let's assume that that the megestrol is non-Hebridean and it is not isthmian is false.; assump1 -> int1: there is something such that that it is a kind of non-Hebridean thing that is not isthmian does not hold.; int1 & sent16 -> int2: the handbarrow untunes ngultrum.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the megestrol is not Hebridean and not isthmian is not incorrect.; int4 & sent12 -> int5: the bottomland is a kind of a balsamroot.; int5 & sent4 -> int6: the bottomland is not a broiled but a divarication.; int6 -> hypothesis; __PROVED__