the scone is a kind of a local and it is centromeric.
sent1: the scone is a Porter. sent2: the roots is a inessential and toughens. sent3: there exists something such that it does incriminate undershrub. sent4: the viper is benedictory. sent5: there is something such that the fact that it does not incriminate undershrub is not wrong. sent6: if there exists something such that it does not incriminate undershrub the viper toughens and is a Porter. sent7: there exists something such that it does not toughen. sent8: the viper does toughen. sent9: the scone is a Treasury. sent10: the scone is a local if the viper is a Porter.
sent5 & sent6 -> int1: the viper toughens and it is a Porter.; int1 -> int2: the viper is a kind of a Porter.; int2 & sent10 -> int3: the scone is a local.;
$hypothesis$ = the scone is a kind of a local and it is centromeric. ; $context$ = sent1: the scone is a Porter. sent2: the roots is a inessential and toughens. sent3: there exists something such that it does incriminate undershrub. sent4: the viper is benedictory. sent5: there is something such that the fact that it does not incriminate undershrub is not wrong. sent6: if there exists something such that it does not incriminate undershrub the viper toughens and is a Porter. sent7: there exists something such that it does not toughen. sent8: the viper does toughen. sent9: the scone is a Treasury. sent10: the scone is a local if the viper is a Porter. ; $proof$ = 
sent5 & sent6 -> int1: the viper toughens and it is a Porter.; int1 -> int2: the viper is a kind of a Porter.; int2 & sent10 -> int3: the scone is a local.; __UNKNOWN__