if the refiner does strip spinney the blackface does not book blackface.
sent1: the still does slog mollycoddle. sent2: the refiner is long-distance if there is something such that it is a pouter. sent3: the fact that the Burberry is a kind of a pouter but it does not book Elaeocarpus is not correct. sent4: if the Burberry is calculous then the fact that it is not a pouter and it does not book Elaeocarpus is wrong. sent5: if the refiner is long-distance and it does strip spinney then the blackface does not book blackface. sent6: the refiner is long-distance if there is something such that the fact that it is not a kind of a pouter and it does not book Elaeocarpus is incorrect. sent7: the blackface does book blackface. sent8: the feverroot prays and it sprinkles.
sent8 -> int1: the feverroot is a sprinkle.;
$hypothesis$ = if the refiner does strip spinney the blackface does not book blackface. ; $context$ = sent1: the still does slog mollycoddle. sent2: the refiner is long-distance if there is something such that it is a pouter. sent3: the fact that the Burberry is a kind of a pouter but it does not book Elaeocarpus is not correct. sent4: if the Burberry is calculous then the fact that it is not a pouter and it does not book Elaeocarpus is wrong. sent5: if the refiner is long-distance and it does strip spinney then the blackface does not book blackface. sent6: the refiner is long-distance if there is something such that the fact that it is not a kind of a pouter and it does not book Elaeocarpus is incorrect. sent7: the blackface does book blackface. sent8: the feverroot prays and it sprinkles. ; $proof$ = 
sent8 -> int1: the feverroot is a sprinkle.; __UNKNOWN__