the elk is a leaf-roller.
sent1: something is a piggyback and it does fragment hike. sent2: the admixture does clank skyline if the feed is a kind of an imam. sent3: the sunrise is hydrodynamic if there is something such that that it is conspecific and it is a leaf-roller is not right. sent4: if the admixture clanks skyline the Best is not actuarial but apologetics. sent5: there exists something such that it is hydrodynamic and it is a kind of a Feifer. sent6: that the sunrise is hydrodynamic and it is a kind of a Feifer is not correct. sent7: the fact that if the Aleut is a conspecific then the elk is not a leaf-roller hold. sent8: the fact that something is vestibular and it fragments admixture is not correct if it is not a kind of a conspecific. sent9: if something is not hydrodynamic then the Aleut is a conspecific. sent10: the Aleut is conspecific if there is something such that that it is hydrodynamic and it is a kind of a Feifer is incorrect. sent11: the fact that the Aleut is conspecific and it is hydrodynamic does not hold. sent12: the Aleut is a kind of a Feifer if there are non-conspecific things. sent13: the elk either does not clank Caporetto or is a conspecific or both if the fact that the Aleut is a Belgian hold. sent14: the Aleut is a kind of a kibitzer that is a Rockwell if the fact that the footage is not a four-hitter is right. sent15: the fact that something is a kind of a Belgian is not false if it is a kind of a Rockwell. sent16: if the elk does not clank Caporetto then it is a leaf-roller. sent17: there is something such that it is a conspecific and it is hydrodynamic. sent18: something is a kind of a leaf-roller if it does not clank Caporetto and/or it is a conspecific.
sent6 -> int1: there exists something such that that it is a kind of hydrodynamic thing that is a Feifer is not right.; int1 & sent10 -> int2: the Aleut is a conspecific.; sent7 & int2 -> hypothesis;
there is something such that that it is vestibular and fragments admixture is incorrect.
sent8 -> int3: if the Aleut is not a conspecific that it is a kind of vestibular thing that fragments admixture is incorrect.;
$hypothesis$ = the elk is a leaf-roller. ; $context$ = sent1: something is a piggyback and it does fragment hike. sent2: the admixture does clank skyline if the feed is a kind of an imam. sent3: the sunrise is hydrodynamic if there is something such that that it is conspecific and it is a leaf-roller is not right. sent4: if the admixture clanks skyline the Best is not actuarial but apologetics. sent5: there exists something such that it is hydrodynamic and it is a kind of a Feifer. sent6: that the sunrise is hydrodynamic and it is a kind of a Feifer is not correct. sent7: the fact that if the Aleut is a conspecific then the elk is not a leaf-roller hold. sent8: the fact that something is vestibular and it fragments admixture is not correct if it is not a kind of a conspecific. sent9: if something is not hydrodynamic then the Aleut is a conspecific. sent10: the Aleut is conspecific if there is something such that that it is hydrodynamic and it is a kind of a Feifer is incorrect. sent11: the fact that the Aleut is conspecific and it is hydrodynamic does not hold. sent12: the Aleut is a kind of a Feifer if there are non-conspecific things. sent13: the elk either does not clank Caporetto or is a conspecific or both if the fact that the Aleut is a Belgian hold. sent14: the Aleut is a kind of a kibitzer that is a Rockwell if the fact that the footage is not a four-hitter is right. sent15: the fact that something is a kind of a Belgian is not false if it is a kind of a Rockwell. sent16: if the elk does not clank Caporetto then it is a leaf-roller. sent17: there is something such that it is a conspecific and it is hydrodynamic. sent18: something is a kind of a leaf-roller if it does not clank Caporetto and/or it is a conspecific. ; $proof$ = 
sent6 -> int1: there exists something such that that it is a kind of hydrodynamic thing that is a Feifer is not right.; int1 & sent10 -> int2: the Aleut is a conspecific.; sent7 & int2 -> hypothesis; __DISPROVED__