that the bullion does not condole counteroffer is true.
sent1: the fact that something is not dictatorial and is not a zebra is incorrect if it is euphonious. sent2: if the bullion is not a inelasticity the nincompoop is uninstructive but it is not a inelasticity. sent3: if something is not a kind of a inelasticity then it is not euphonious and condoles counteroffer. sent4: that the clarence is not euphonious does not hold. sent5: the stegosaur is not a inelasticity if that the bullion is a inelasticity is not incorrect. sent6: that if something is a zebra then the fact that it does not condole stem and it is dictatorial is not true is right. sent7: there exists something such that the fact that it is not dictatorial and it is a zebra is wrong. sent8: the fact that the nincompoop does condole stem hold if the fact that it does not condole stem and it is dictatorial is not correct. sent9: if there exists something such that it is uninstructive and it is not a inelasticity the patty-pan does not condole stem. sent10: that the clarence is both not dictatorial and a zebra is not correct. sent11: the patty-pan condoles stem if there exists something such that the fact that it is not dictatorial and it is not a zebra is incorrect. sent12: something that condoles stem is not a kind of a inelasticity and/or is not uninstructive. sent13: if the bullion condoles counteroffer then it is not a inelasticity. sent14: if the bullion is not a kind of a inelasticity then the nincompoop is uninstructive.
void -> assump1: Let's assume that the bullion condoles counteroffer.; sent13 & assump1 -> int1: the bullion is not a inelasticity.; int1 & sent2 -> int2: the nincompoop is uninstructive but it is not a inelasticity.; int2 -> int3: there is something such that it is uninstructive and it is not a inelasticity.; int3 & sent9 -> int4: the patty-pan does not condole stem.; sent1 -> int5: the fact that the clarence is not dictatorial and it is not a kind of a zebra is incorrect if it is euphonious.; int5 & sent4 -> int6: the fact that the clarence is not dictatorial and it is not a kind of a zebra is wrong.; int6 -> int7: there exists something such that the fact that it is both not dictatorial and not a zebra is false.; int7 & sent11 -> int8: the patty-pan condoles stem.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the stegosaur is not euphonious.
sent3 -> int10: the stegosaur is non-euphonious and does condole counteroffer if it is not a inelasticity.; sent12 -> int11: if the nincompoop does condole stem it is not a inelasticity or is not uninstructive or both.; sent6 -> int12: the fact that that the nincompoop does not condole stem and is dictatorial does not hold is correct if it is a kind of a zebra.;
$hypothesis$ = that the bullion does not condole counteroffer is true. ; $context$ = sent1: the fact that something is not dictatorial and is not a zebra is incorrect if it is euphonious. sent2: if the bullion is not a inelasticity the nincompoop is uninstructive but it is not a inelasticity. sent3: if something is not a kind of a inelasticity then it is not euphonious and condoles counteroffer. sent4: that the clarence is not euphonious does not hold. sent5: the stegosaur is not a inelasticity if that the bullion is a inelasticity is not incorrect. sent6: that if something is a zebra then the fact that it does not condole stem and it is dictatorial is not true is right. sent7: there exists something such that the fact that it is not dictatorial and it is a zebra is wrong. sent8: the fact that the nincompoop does condole stem hold if the fact that it does not condole stem and it is dictatorial is not correct. sent9: if there exists something such that it is uninstructive and it is not a inelasticity the patty-pan does not condole stem. sent10: that the clarence is both not dictatorial and a zebra is not correct. sent11: the patty-pan condoles stem if there exists something such that the fact that it is not dictatorial and it is not a zebra is incorrect. sent12: something that condoles stem is not a kind of a inelasticity and/or is not uninstructive. sent13: if the bullion condoles counteroffer then it is not a inelasticity. sent14: if the bullion is not a kind of a inelasticity then the nincompoop is uninstructive. ; $proof$ = 
void -> assump1: Let's assume that the bullion condoles counteroffer.; sent13 & assump1 -> int1: the bullion is not a inelasticity.; int1 & sent2 -> int2: the nincompoop is uninstructive but it is not a inelasticity.; int2 -> int3: there is something such that it is uninstructive and it is not a inelasticity.; int3 & sent9 -> int4: the patty-pan does not condole stem.; sent1 -> int5: the fact that the clarence is not dictatorial and it is not a kind of a zebra is incorrect if it is euphonious.; int5 & sent4 -> int6: the fact that the clarence is not dictatorial and it is not a kind of a zebra is wrong.; int6 -> int7: there exists something such that the fact that it is both not dictatorial and not a zebra is false.; int7 & sent11 -> int8: the patty-pan condoles stem.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__