there is something such that if it is a kind of a snip and it is not a golfing it is not a Furnivall.
sent1: there is something such that if it is a kind of parochial thing that does not occidentalize marsh it is not uncut. sent2: that the mombin is a Furnivall is correct if it does snip and it is not a kind of a golfing. sent3: there is something such that if it is a snip that is not a golfing then it is a Furnivall. sent4: if the mombin is a maraca but it is not Fabian the fact that it does not snip is not incorrect. sent5: if the mombin snips and it does golf it is not a Furnivall. sent6: the ETD does not occidentalize Vandyke if it does occidentalize ETD and it is not a kind of a snip. sent7: there is something such that if it snips and it is a kind of a golfing it is not a Furnivall. sent8: if a snip is not a golfing it is not a Furnivall. sent9: the mombin is not parochial if it is unripe thing that is not an exhaust. sent10: if the mombin does submerge but it is not a snip then it does not occidentalize ETD. sent11: something is a Furnivall if it does snip and it is not a golfing. sent12: something that is a snip and a golfing is not a kind of a Furnivall.
sent8 -> int1: if the mombin is a snip and is not a golfing then it is not a kind of a Furnivall.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a snip and it is not a golfing it is not a Furnivall. ; $context$ = sent1: there is something such that if it is a kind of parochial thing that does not occidentalize marsh it is not uncut. sent2: that the mombin is a Furnivall is correct if it does snip and it is not a kind of a golfing. sent3: there is something such that if it is a snip that is not a golfing then it is a Furnivall. sent4: if the mombin is a maraca but it is not Fabian the fact that it does not snip is not incorrect. sent5: if the mombin snips and it does golf it is not a Furnivall. sent6: the ETD does not occidentalize Vandyke if it does occidentalize ETD and it is not a kind of a snip. sent7: there is something such that if it snips and it is a kind of a golfing it is not a Furnivall. sent8: if a snip is not a golfing it is not a Furnivall. sent9: the mombin is not parochial if it is unripe thing that is not an exhaust. sent10: if the mombin does submerge but it is not a snip then it does not occidentalize ETD. sent11: something is a Furnivall if it does snip and it is not a golfing. sent12: something that is a snip and a golfing is not a kind of a Furnivall. ; $proof$ = 
sent8 -> int1: if the mombin is a snip and is not a golfing then it is not a kind of a Furnivall.; int1 -> hypothesis; __PROVED__