the staggerer is endodontics.
sent1: that the staggerer does not average Talleyrand hold if the diestock does not average Talleyrand. sent2: the saponin is a kind of a A-list if the desquamation does not counterclaim. sent3: the diestock does not average Talleyrand if there exists something such that it detaches. sent4: the staggerer is not endodontics if that the diestock does detach and is not endodontics is wrong. sent5: the desquamation is not a kind of a counterclaim if the north does not cover. sent6: the cyclone does not inflate while. sent7: if the balaclava does average Talleyrand that the diestock detaches but it is not endodontics is not correct. sent8: if the diestock does not average Talleyrand the staggerer does not average Talleyrand and is biological. sent9: the staggerer does not average Talleyrand. sent10: the staggerer is endodontics if it is biological. sent11: that the north does not cover is true if there exists something such that it is trophotropic and/or it is not a cover. sent12: the saponin inflates while if the cyclone does not inflates while. sent13: either something is trophotropic or it is not a cover or both. sent14: if something averages sapropel and is a A-list then it is not a Tara. sent15: the fact that the balaclava is biological hold if the fact that the curium is not biological and it is not vascular is not true. sent16: something that inflates while does average sapropel. sent17: there exists something such that it detaches.
sent17 & sent3 -> int1: the diestock does not average Talleyrand.; int1 & sent8 -> int2: the staggerer does not average Talleyrand and is biological.; int2 -> int3: the staggerer is biological.; int3 & sent10 -> hypothesis;
the staggerer is not endodontics.
sent14 -> int4: if the saponin averages sapropel and is a kind of a A-list then it is not a Tara.; sent16 -> int5: if the saponin inflates while it does average sapropel.; sent12 & sent6 -> int6: the saponin inflates while.; int5 & int6 -> int7: the saponin does average sapropel.; sent13 & sent11 -> int8: the north is not a kind of a cover.; sent5 & int8 -> int9: the desquamation does not counterclaim.; sent2 & int9 -> int10: the saponin is a A-list.; int7 & int10 -> int11: the saponin averages sapropel and is a A-list.; int4 & int11 -> int12: the saponin is not a Tara.; int12 -> int13: there exists something such that it is not a Tara.;
$hypothesis$ = the staggerer is endodontics. ; $context$ = sent1: that the staggerer does not average Talleyrand hold if the diestock does not average Talleyrand. sent2: the saponin is a kind of a A-list if the desquamation does not counterclaim. sent3: the diestock does not average Talleyrand if there exists something such that it detaches. sent4: the staggerer is not endodontics if that the diestock does detach and is not endodontics is wrong. sent5: the desquamation is not a kind of a counterclaim if the north does not cover. sent6: the cyclone does not inflate while. sent7: if the balaclava does average Talleyrand that the diestock detaches but it is not endodontics is not correct. sent8: if the diestock does not average Talleyrand the staggerer does not average Talleyrand and is biological. sent9: the staggerer does not average Talleyrand. sent10: the staggerer is endodontics if it is biological. sent11: that the north does not cover is true if there exists something such that it is trophotropic and/or it is not a cover. sent12: the saponin inflates while if the cyclone does not inflates while. sent13: either something is trophotropic or it is not a cover or both. sent14: if something averages sapropel and is a A-list then it is not a Tara. sent15: the fact that the balaclava is biological hold if the fact that the curium is not biological and it is not vascular is not true. sent16: something that inflates while does average sapropel. sent17: there exists something such that it detaches. ; $proof$ = 
sent17 & sent3 -> int1: the diestock does not average Talleyrand.; int1 & sent8 -> int2: the staggerer does not average Talleyrand and is biological.; int2 -> int3: the staggerer is biological.; int3 & sent10 -> hypothesis; __PROVED__