the Vogul is titular.
sent1: there exists something such that it is titular. sent2: the Vogul is morbilliform. sent3: the elephant's-foot is bloodless. sent4: the fact that the Macon is a kind of a punkah that is Aeschylean is true. sent5: the gagman is a kind of titular thing that is Balzacian. sent6: the combustion is comatose and it is a rich. sent7: the elephant's-foot is pro-life. sent8: if there are pro-life things then the Vogul is both bloodless and titular. sent9: the elephant's-foot does undress urolith. sent10: that the elephant's-foot is titular is true. sent11: the fact that the pierid is a kind of a centrist hold. sent12: that the Peruvian is not non-titular is not wrong. sent13: the elephant's-foot bops Vogul and does malinger one-hundred-millionth. sent14: the Vogul is bloodless. sent15: the elephant's-foot undresses elephant's-foot.
sent7 -> int1: something is pro-life.; int1 & sent8 -> int2: the Vogul is bloodless and it is titular.; int2 -> hypothesis;
$hypothesis$ = the Vogul is titular. ; $context$ = sent1: there exists something such that it is titular. sent2: the Vogul is morbilliform. sent3: the elephant's-foot is bloodless. sent4: the fact that the Macon is a kind of a punkah that is Aeschylean is true. sent5: the gagman is a kind of titular thing that is Balzacian. sent6: the combustion is comatose and it is a rich. sent7: the elephant's-foot is pro-life. sent8: if there are pro-life things then the Vogul is both bloodless and titular. sent9: the elephant's-foot does undress urolith. sent10: that the elephant's-foot is titular is true. sent11: the fact that the pierid is a kind of a centrist hold. sent12: that the Peruvian is not non-titular is not wrong. sent13: the elephant's-foot bops Vogul and does malinger one-hundred-millionth. sent14: the Vogul is bloodless. sent15: the elephant's-foot undresses elephant's-foot. ; $proof$ = 
sent7 -> int1: something is pro-life.; int1 & sent8 -> int2: the Vogul is bloodless and it is titular.; int2 -> hypothesis; __PROVED__