the Walker is a kind of a tetanus.
sent1: the re barbs flush. sent2: if something is a kind of a liked it is not a tetanus. sent3: the dickeybird does not arouse Ull if it does not absorb. sent4: there is something such that it is stenographic and it does overpower Crete. sent5: if there exists something such that it is a liked then the re is a WHO and it does barb flush. sent6: if there is something such that it is a WHO and it does barb flush then the Walker arouses Ull. sent7: the fact that the re is not a kind of a WHO and does not barb flush is false if the dickeybird does not arouse Ull. sent8: the knish is a liked.
sent8 -> int1: there exists something such that it is a kind of a liked.; int1 & sent5 -> int2: the re is a kind of a WHO and it barbs flush.; int2 -> int3: there is something such that it is a WHO that does barb flush.; int3 & sent6 -> int4: the fact that the Walker arouses Ull hold.;
the Walker is not a tetanus.
sent2 -> int5: the Walker is not a tetanus if it likes.;
$hypothesis$ = the Walker is a kind of a tetanus. ; $context$ = sent1: the re barbs flush. sent2: if something is a kind of a liked it is not a tetanus. sent3: the dickeybird does not arouse Ull if it does not absorb. sent4: there is something such that it is stenographic and it does overpower Crete. sent5: if there exists something such that it is a liked then the re is a WHO and it does barb flush. sent6: if there is something such that it is a WHO and it does barb flush then the Walker arouses Ull. sent7: the fact that the re is not a kind of a WHO and does not barb flush is false if the dickeybird does not arouse Ull. sent8: the knish is a liked. ; $proof$ = 
sent8 -> int1: there exists something such that it is a kind of a liked.; int1 & sent5 -> int2: the re is a kind of a WHO and it barbs flush.; int2 -> int3: there is something such that it is a WHO that does barb flush.; int3 & sent6 -> int4: the fact that the Walker arouses Ull hold.; __UNKNOWN__