the spelt does not emblazon Procaviidae.
sent1: the chrism does emblazon orchil but it is not unfaithful if the marine is not a Schoolman. sent2: if the marine is not a Schoolman then the chrism is not unfaithful. sent3: the orchil does revenge worktable if the fact that it is non-actinomorphic thing that does emblazon orchil is not correct. sent4: the orchil is a hearthrug. sent5: if the chrism does emblazon orchil then the fact that the orchil is not actinomorphic and does emblazon orchil is not true. sent6: if the orchil is actinomorphic it does revenge worktable. sent7: the spelt does emblazon Procaviidae if something revenges worktable and is a hearthrug. sent8: the marine is not a Schoolman.
sent1 & sent8 -> int1: the chrism does emblazon orchil but it is not unfaithful.; int1 -> int2: the chrism does emblazon orchil.; int2 & sent5 -> int3: that the orchil is not actinomorphic but it emblazons orchil is not true.; int3 & sent3 -> int4: the orchil does revenge worktable.; int4 & sent4 -> int5: the orchil does revenge worktable and it is a hearthrug.; int5 -> int6: there exists something such that it does revenge worktable and is a hearthrug.; int6 & sent7 -> hypothesis;
$hypothesis$ = the spelt does not emblazon Procaviidae. ; $context$ = sent1: the chrism does emblazon orchil but it is not unfaithful if the marine is not a Schoolman. sent2: if the marine is not a Schoolman then the chrism is not unfaithful. sent3: the orchil does revenge worktable if the fact that it is non-actinomorphic thing that does emblazon orchil is not correct. sent4: the orchil is a hearthrug. sent5: if the chrism does emblazon orchil then the fact that the orchil is not actinomorphic and does emblazon orchil is not true. sent6: if the orchil is actinomorphic it does revenge worktable. sent7: the spelt does emblazon Procaviidae if something revenges worktable and is a hearthrug. sent8: the marine is not a Schoolman. ; $proof$ = 
sent1 & sent8 -> int1: the chrism does emblazon orchil but it is not unfaithful.; int1 -> int2: the chrism does emblazon orchil.; int2 & sent5 -> int3: that the orchil is not actinomorphic but it emblazons orchil is not true.; int3 & sent3 -> int4: the orchil does revenge worktable.; int4 & sent4 -> int5: the orchil does revenge worktable and it is a hearthrug.; int5 -> int6: there exists something such that it does revenge worktable and is a hearthrug.; int6 & sent7 -> hypothesis; __DISPROVED__