if the string is a Yemeni the dormer is non-postdiluvian thing that is dysgenics.
sent1: if the string does harshen calcite then the dormer is a postdiluvian and it is dysgenics. sent2: if the dormer does harshen calcite it is a postdiluvian. sent3: if that the string harshens calcite is right then the fact that the dormer is dysgenics is right. sent4: the dormer is dysgenics. sent5: if something serenades four-hitter it serenades spellbinder. sent6: the string is a kind of non-postdiluvian thing that is dysgenics if the dormer does harshen calcite. sent7: the dormer does harshen calcite. sent8: if the string does harshen calcite the dormer is both not a postdiluvian and dysgenics. sent9: that the arete harshens calcite is correct. sent10: if the string is postdiluvian then the dormer does not harshen calcite and is dysgenics. sent11: the dormer is a kind of a postdiluvian and it is dysgenics. sent12: the dormer is both not a Yemeni and postdiluvian if the string harshens calcite. sent13: the chauffeuse is dysgenics. sent14: the fact that the string is dysgenics if the string harshens calcite is correct. sent15: if the string is a kind of a Yemeni then the dormer is dysgenics. sent16: the dormer is a postdiluvian and it is dysgenics if the string is Yemeni. sent17: the string is dysgenics. sent18: the dormer is not Yemeni but it is dysgenics.
the Eight does serenade spellbinder if it serenades four-hitter.
sent5 -> hypothesis;
$hypothesis$ = if the string is a Yemeni the dormer is non-postdiluvian thing that is dysgenics. ; $context$ = sent1: if the string does harshen calcite then the dormer is a postdiluvian and it is dysgenics. sent2: if the dormer does harshen calcite it is a postdiluvian. sent3: if that the string harshens calcite is right then the fact that the dormer is dysgenics is right. sent4: the dormer is dysgenics. sent5: if something serenades four-hitter it serenades spellbinder. sent6: the string is a kind of non-postdiluvian thing that is dysgenics if the dormer does harshen calcite. sent7: the dormer does harshen calcite. sent8: if the string does harshen calcite the dormer is both not a postdiluvian and dysgenics. sent9: that the arete harshens calcite is correct. sent10: if the string is postdiluvian then the dormer does not harshen calcite and is dysgenics. sent11: the dormer is a kind of a postdiluvian and it is dysgenics. sent12: the dormer is both not a Yemeni and postdiluvian if the string harshens calcite. sent13: the chauffeuse is dysgenics. sent14: the fact that the string is dysgenics if the string harshens calcite is correct. sent15: if the string is a kind of a Yemeni then the dormer is dysgenics. sent16: the dormer is a postdiluvian and it is dysgenics if the string is Yemeni. sent17: the string is dysgenics. sent18: the dormer is not Yemeni but it is dysgenics. ; $proof$ = 
__UNKNOWN__