there exists something such that it is wieldy.
sent1: the verge is not a deformation. sent2: there exists something such that it is riparian and does not mine. sent3: if the verge is not a deformation then that it does bead backgammon and it does report is not right. sent4: the cockade is not a subjunctive. sent5: something is not a mine. sent6: the tufa does not mine. sent7: if the cockade is not a mine but it is a motto the tufa is not a motto. sent8: if something that is not riparian does not mine then the cockade is wieldy. sent9: there are non-riparian things. sent10: the tufa is wieldy and remembers if the jigsaw is not Orwellian. sent11: there is something such that it is not ballistic and does not enslave progressivism. sent12: the cockade is not a mine but it is a motto if it is not a subjunctive. sent13: if something is wieldy it is not a pheromone but riparian. sent14: the fact that the tufa is not riparian is true. sent15: something is non-riparian thing that does mine. sent16: the tufa is not wieldy.
sent14 & sent6 -> int1: the tufa is not riparian and it does not mine.; int1 -> int2: something is both not riparian and not a mine.; int2 & sent8 -> int3: the cockade is not unwieldy.; int3 -> hypothesis;
there is something such that it is not a pheromone and it is not a motto.
sent13 -> int4: if the tufa is wieldy it is not a pheromone and it is riparian.; sent3 & sent1 -> int5: that the verge beads backgammon and reports does not hold.; int5 -> int6: there is something such that that it does bead backgammon and it reports is wrong.; sent12 & sent4 -> int7: the cockade is not a mine and is a motto.; sent7 & int7 -> int8: the tufa is not a kind of a motto.;
$hypothesis$ = there exists something such that it is wieldy. ; $context$ = sent1: the verge is not a deformation. sent2: there exists something such that it is riparian and does not mine. sent3: if the verge is not a deformation then that it does bead backgammon and it does report is not right. sent4: the cockade is not a subjunctive. sent5: something is not a mine. sent6: the tufa does not mine. sent7: if the cockade is not a mine but it is a motto the tufa is not a motto. sent8: if something that is not riparian does not mine then the cockade is wieldy. sent9: there are non-riparian things. sent10: the tufa is wieldy and remembers if the jigsaw is not Orwellian. sent11: there is something such that it is not ballistic and does not enslave progressivism. sent12: the cockade is not a mine but it is a motto if it is not a subjunctive. sent13: if something is wieldy it is not a pheromone but riparian. sent14: the fact that the tufa is not riparian is true. sent15: something is non-riparian thing that does mine. sent16: the tufa is not wieldy. ; $proof$ = 
sent14 & sent6 -> int1: the tufa is not riparian and it does not mine.; int1 -> int2: something is both not riparian and not a mine.; int2 & sent8 -> int3: the cockade is not unwieldy.; int3 -> hypothesis; __PROVED__