the uropygium does not spot retiree.
sent1: something does not spot retiree. sent2: something does not beat Saul. sent3: there is something such that that it is a voice and is not cercarial is false. sent4: if something is not a kind of a satchel and it does not spot whistle-blower then it is a optative. sent5: if the vambrace is both a shifting and not a hussar then that the voter shifting hold. sent6: the uropygium is not a Lebanon. sent7: the uropygium does spot retiree if the voter is euphemistic. sent8: that the retiree is not a Voltaren is not false. sent9: the sawfish does not spot retiree. sent10: the uropygium does not spot retiree if something is not euphemistic. sent11: something is not greens if it does boogie. sent12: there exists something such that it does not reproach. sent13: if the vambrace is not a primness then it beats multiple and it boogies. sent14: a optative thing is both a shifting and not a hussar. sent15: if the fact that something does spot voter but it does not fudge Bernini does not hold then that it is euphemistic is not false. sent16: something is not a satchel and it does not spot whistle-blower if it does not green. sent17: the fact that something is not a kind of a toehold hold. sent18: the fact that something does spot voter and does not fudge Bernini is incorrect if that it shifts is not wrong. sent19: there exists something such that it is euphemistic. sent20: if something is not euphemistic the brig does not spot retiree. sent21: the brig is not euphemistic.
sent21 -> int1: there is something such that it is not euphemistic.; int1 & sent10 -> hypothesis;
the uropygium does spot retiree.
sent15 -> int2: the voter is euphemistic if the fact that it does spot voter and does not fudge Bernini does not hold.; sent18 -> int3: if the voter shifts then the fact that it spots voter and does not fudge Bernini is false.; sent14 -> int4: the vambrace shifts and is not a kind of a hussar if it is a optative.; sent4 -> int5: if the vambrace is not a satchel and it does not spot whistle-blower it is a kind of a optative.; sent16 -> int6: the vambrace is not a satchel and it does not spot whistle-blower if it is not a kind of a greens.; sent11 -> int7: if the vambrace is a kind of a boogie it is not a kind of a greens.;
$hypothesis$ = the uropygium does not spot retiree. ; $context$ = sent1: something does not spot retiree. sent2: something does not beat Saul. sent3: there is something such that that it is a voice and is not cercarial is false. sent4: if something is not a kind of a satchel and it does not spot whistle-blower then it is a optative. sent5: if the vambrace is both a shifting and not a hussar then that the voter shifting hold. sent6: the uropygium is not a Lebanon. sent7: the uropygium does spot retiree if the voter is euphemistic. sent8: that the retiree is not a Voltaren is not false. sent9: the sawfish does not spot retiree. sent10: the uropygium does not spot retiree if something is not euphemistic. sent11: something is not greens if it does boogie. sent12: there exists something such that it does not reproach. sent13: if the vambrace is not a primness then it beats multiple and it boogies. sent14: a optative thing is both a shifting and not a hussar. sent15: if the fact that something does spot voter but it does not fudge Bernini does not hold then that it is euphemistic is not false. sent16: something is not a satchel and it does not spot whistle-blower if it does not green. sent17: the fact that something is not a kind of a toehold hold. sent18: the fact that something does spot voter and does not fudge Bernini is incorrect if that it shifts is not wrong. sent19: there exists something such that it is euphemistic. sent20: if something is not euphemistic the brig does not spot retiree. sent21: the brig is not euphemistic. ; $proof$ = 
sent21 -> int1: there is something such that it is not euphemistic.; int1 & sent10 -> hypothesis; __PROVED__