there is something such that the fact that it is not a fatness and it is not a kind of a covariance does not hold.
sent1: there is something such that the fact that it does not strand Adiantum and it is not a kind of a self-service is incorrect. sent2: there is something such that that it is not a kind of a salt and it is not a brushwood is not true. sent3: there is nothing that is a fatness but not a covariance. sent4: there exists something such that the fact that it is not harmless but non-ossiferous is false. sent5: if the dribble does strand knee-high then the lockup strand knee-high. sent6: there is nothing that is a kind of non-gymnastics thing that is Calcuttan. sent7: that something does strand knee-high and it is a kind of a handler is not wrong if it does not strand argillite. sent8: there is something such that the fact that it is a fatness and it is not a covariance does not hold. sent9: that something is not a hypochondria and is not a covariance does not hold if that it strands knee-high is right. sent10: there is nothing that is not a Namibian and not a carissa. sent11: that the knee-high is not a sunlamp but it is a kind of a covariance does not hold. sent12: that the knee-high is a kind of a fatness that is not a kind of a covariance does not hold. sent13: there is something such that the fact that it does subtilize correctness and does not festoon lockup is wrong. sent14: the fact that the geographer is not bold and is not autotrophic does not hold. sent15: there is something such that the fact that it is both not a shimmer and not metacentric does not hold.
that the lockup is not a hypochondria and it is not a covariance does not hold.
sent9 -> int1: that the lockup is not a hypochondria and it is not a covariance is not true if it does strand knee-high.;
$hypothesis$ = there is something such that the fact that it is not a fatness and it is not a kind of a covariance does not hold. ; $context$ = sent1: there is something such that the fact that it does not strand Adiantum and it is not a kind of a self-service is incorrect. sent2: there is something such that that it is not a kind of a salt and it is not a brushwood is not true. sent3: there is nothing that is a fatness but not a covariance. sent4: there exists something such that the fact that it is not harmless but non-ossiferous is false. sent5: if the dribble does strand knee-high then the lockup strand knee-high. sent6: there is nothing that is a kind of non-gymnastics thing that is Calcuttan. sent7: that something does strand knee-high and it is a kind of a handler is not wrong if it does not strand argillite. sent8: there is something such that the fact that it is a fatness and it is not a covariance does not hold. sent9: that something is not a hypochondria and is not a covariance does not hold if that it strands knee-high is right. sent10: there is nothing that is not a Namibian and not a carissa. sent11: that the knee-high is not a sunlamp but it is a kind of a covariance does not hold. sent12: that the knee-high is a kind of a fatness that is not a kind of a covariance does not hold. sent13: there is something such that the fact that it does subtilize correctness and does not festoon lockup is wrong. sent14: the fact that the geographer is not bold and is not autotrophic does not hold. sent15: there is something such that the fact that it is both not a shimmer and not metacentric does not hold. ; $proof$ = 
__UNKNOWN__