the will-o'-the-wisp is a greyhound.
sent1: something is not a greyhound if it does not remonstrate Korchnoi. sent2: that the garbage is a Epipremnum hold. sent3: if the locust remonstrates Korchnoi then it is a skipjack. sent4: the fact that something does not remonstrate Korchnoi and is aplitic is wrong if that it is a Epipremnum is right. sent5: if there is something such that it is not a warmth then the fact that the garbage is not aplitic but it remonstrates Korchnoi does not hold. sent6: the fact that the imprint is a kind of self-service thing that is not on-the-job is incorrect if that it is not a unbreakableness is not correct. sent7: if the fact that that either something is not a Epipremnum or it is not aplitic or both is correct is not correct it remonstrates Korchnoi. sent8: that the garbage remonstrates Korchnoi and is a Epipremnum is correct. sent9: the garbage is both not a greyhound and not bistroic. sent10: the will-o'-the-wisp is a kind of a greyhound if the garbage is aplitic. sent11: the brake is aplitic if the garbage is a kind of a warmth. sent12: the imprint is a unbreakableness if the liner is a unbreakableness. sent13: the liner is a unbreakableness. sent14: that the locust is a warmth hold if something that is not a greyhound is non-bistroic. sent15: if that the imprint is a kind of a self-service that is not on-the-job does not hold then the brake is not bistroic. sent16: something is a warmth.
sent8 -> int1: the garbage does remonstrate Korchnoi.; void -> assump1: Let's assume that the garbage is not aplitic.; int1 & assump1 -> int2: the garbage is not aplitic but it does remonstrate Korchnoi.;
the locust is a kind of a warmth and is a skipjack.
sent9 -> int3: something is not a greyhound and it is not bistroic.; int3 & sent14 -> int4: the locust is a warmth.; sent7 -> int5: if the fact that the fact that the locust is not a Epipremnum and/or it is not aplitic hold is not true then it remonstrates Korchnoi.;
$hypothesis$ = the will-o'-the-wisp is a greyhound. ; $context$ = sent1: something is not a greyhound if it does not remonstrate Korchnoi. sent2: that the garbage is a Epipremnum hold. sent3: if the locust remonstrates Korchnoi then it is a skipjack. sent4: the fact that something does not remonstrate Korchnoi and is aplitic is wrong if that it is a Epipremnum is right. sent5: if there is something such that it is not a warmth then the fact that the garbage is not aplitic but it remonstrates Korchnoi does not hold. sent6: the fact that the imprint is a kind of self-service thing that is not on-the-job is incorrect if that it is not a unbreakableness is not correct. sent7: if the fact that that either something is not a Epipremnum or it is not aplitic or both is correct is not correct it remonstrates Korchnoi. sent8: that the garbage remonstrates Korchnoi and is a Epipremnum is correct. sent9: the garbage is both not a greyhound and not bistroic. sent10: the will-o'-the-wisp is a kind of a greyhound if the garbage is aplitic. sent11: the brake is aplitic if the garbage is a kind of a warmth. sent12: the imprint is a unbreakableness if the liner is a unbreakableness. sent13: the liner is a unbreakableness. sent14: that the locust is a warmth hold if something that is not a greyhound is non-bistroic. sent15: if that the imprint is a kind of a self-service that is not on-the-job does not hold then the brake is not bistroic. sent16: something is a warmth. ; $proof$ = 
sent8 -> int1: the garbage does remonstrate Korchnoi.; void -> assump1: Let's assume that the garbage is not aplitic.; int1 & assump1 -> int2: the garbage is not aplitic but it does remonstrate Korchnoi.; __UNKNOWN__