the gallows-tree is efficacious.
sent1: that the electroplater is non-lexical a parapet is wrong. sent2: the fact that the Goldsmith is not a bitumastic and supples parody is wrong if it swims philadelphus. sent3: something that is a kind of a communism that does not swim philadelphus is not efficacious. sent4: the Goldsmith is not a kind of a bitumastic if the electroplater does not respond. sent5: if something is not a communism and does not supple parody then it is not lexical. sent6: there exists something such that it is not electronic and pairs talon. sent7: if the Hill is not a communism then the Goldsmith is not a kind of a communism and does not supple parody. sent8: if something is non-lexical then it does not respond and/or it is not a Polycarp. sent9: the Hill is not a communism if the fact that the electroplater is not a bitumastic but a parapet is incorrect. sent10: the gallows-tree is not inefficacious if the Goldsmith does not respond. sent11: if the Hill is not efficacious the gallows-tree is a communism. sent12: if something is not a clatter then either it is not a kind of a polygyny or it is not a skill or both. sent13: the electroplater does swim philadelphus if there exists something such that that it is non-electronic thing that does pair talon is not correct. sent14: the gallows-tree is efficacious if the Goldsmith is not a Polycarp. sent15: there exists something such that that the fact that it is not electronic and it does pair talon is not false does not hold.
sent15 & sent13 -> int1: the electroplater does swim philadelphus.; sent5 -> int2: if the Goldsmith is not a communism and does not supple parody then it is not lexical.; sent8 -> int3: the Goldsmith either does not respond or is not a Polycarp or both if it is not lexical.;
the gallows-tree is not efficacious.
sent3 -> int4: the gallows-tree is not efficacious if it is a communism and it does not swim philadelphus.;
$hypothesis$ = the gallows-tree is efficacious. ; $context$ = sent1: that the electroplater is non-lexical a parapet is wrong. sent2: the fact that the Goldsmith is not a bitumastic and supples parody is wrong if it swims philadelphus. sent3: something that is a kind of a communism that does not swim philadelphus is not efficacious. sent4: the Goldsmith is not a kind of a bitumastic if the electroplater does not respond. sent5: if something is not a communism and does not supple parody then it is not lexical. sent6: there exists something such that it is not electronic and pairs talon. sent7: if the Hill is not a communism then the Goldsmith is not a kind of a communism and does not supple parody. sent8: if something is non-lexical then it does not respond and/or it is not a Polycarp. sent9: the Hill is not a communism if the fact that the electroplater is not a bitumastic but a parapet is incorrect. sent10: the gallows-tree is not inefficacious if the Goldsmith does not respond. sent11: if the Hill is not efficacious the gallows-tree is a communism. sent12: if something is not a clatter then either it is not a kind of a polygyny or it is not a skill or both. sent13: the electroplater does swim philadelphus if there exists something such that that it is non-electronic thing that does pair talon is not correct. sent14: the gallows-tree is efficacious if the Goldsmith is not a Polycarp. sent15: there exists something such that that the fact that it is not electronic and it does pair talon is not false does not hold. ; $proof$ = 
sent15 & sent13 -> int1: the electroplater does swim philadelphus.; sent5 -> int2: if the Goldsmith is not a communism and does not supple parody then it is not lexical.; sent8 -> int3: the Goldsmith either does not respond or is not a Polycarp or both if it is not lexical.; __UNKNOWN__