there exists something such that if that it is a mover and it is a harvest does not hold then it does not grate tom.
sent1: if the fact that something is a kind of nonmetallic a copyright is false it does not undercut Polyodontidae. sent2: if something that does induce Dasypodidae is osseous the fact that it does not doodle is true. sent3: the fact that there is something such that if that it is a mover and is a harvest is not right then it does grate tom is not wrong. sent4: if something is not a kind of a mover then it does not grate tom. sent5: there is something such that if it is not a mover it does not grate tom. sent6: if the heretic is not a mover then it does not grate tom. sent7: if that something is a mover and a harvest is false it grates tom. sent8: if the fact that the ex-spouse is fraternal and it does fathom is not right then it is not a radian. sent9: there exists something such that if the fact that it is sanitary and a falsetto does not hold it is aggressive. sent10: something does not grate tom if it is a kind of a mover and is a harvest. sent11: if the fact that the heretic is a mover and a harvest is incorrect then it does grate tom. sent12: if the heretic does not intervene it is not a kind of a mover. sent13: the fact that there exists something such that if it is not nonspatial it is not a peripatetic is right. sent14: there exists something such that if it is not a odist it does not consider. sent15: if the fact that something does undercut wanderlust and is balletic is not true it is not progressive. sent16: if the fact that something is a mover and it is a harvest is not correct then it does not grate tom. sent17: there exists something such that if it is a kind of a mover that is a harvest it does not grate tom. sent18: the heretic does not grate tom if it is a kind of a mover and it is a harvest.
sent16 -> int1: that the heretic grates tom is not correct if the fact that it is a mover and it harvests is not correct.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a mover and it is a harvest does not hold then it does not grate tom. ; $context$ = sent1: if the fact that something is a kind of nonmetallic a copyright is false it does not undercut Polyodontidae. sent2: if something that does induce Dasypodidae is osseous the fact that it does not doodle is true. sent3: the fact that there is something such that if that it is a mover and is a harvest is not right then it does grate tom is not wrong. sent4: if something is not a kind of a mover then it does not grate tom. sent5: there is something such that if it is not a mover it does not grate tom. sent6: if the heretic is not a mover then it does not grate tom. sent7: if that something is a mover and a harvest is false it grates tom. sent8: if the fact that the ex-spouse is fraternal and it does fathom is not right then it is not a radian. sent9: there exists something such that if the fact that it is sanitary and a falsetto does not hold it is aggressive. sent10: something does not grate tom if it is a kind of a mover and is a harvest. sent11: if the fact that the heretic is a mover and a harvest is incorrect then it does grate tom. sent12: if the heretic does not intervene it is not a kind of a mover. sent13: the fact that there exists something such that if it is not nonspatial it is not a peripatetic is right. sent14: there exists something such that if it is not a odist it does not consider. sent15: if the fact that something does undercut wanderlust and is balletic is not true it is not progressive. sent16: if the fact that something is a mover and it is a harvest is not correct then it does not grate tom. sent17: there exists something such that if it is a kind of a mover that is a harvest it does not grate tom. sent18: the heretic does not grate tom if it is a kind of a mover and it is a harvest. ; $proof$ = 
sent16 -> int1: that the heretic grates tom is not correct if the fact that it is a mover and it harvests is not correct.; int1 -> hypothesis; __PROVED__