the thyrse is crural.
sent1: the thyrse devises if the urethane does winnow confabulation. sent2: the burthen is a Falla that is a discharged. sent3: the urethane is a Bohemian. sent4: something is not a Bohemian if it is a devising and is not a kind of a phosphor. sent5: if the urethane does devise but it is not a Turkish then the thyrse is a Turkish. sent6: if the thyrse is crural it winnows confabulation. sent7: the wailer is not predicative. sent8: the thyrse winnows confabulation if it devises. sent9: if something does devise it is crural. sent10: the thyrse is a Microsorium if it bogs consulship.
sent9 -> int1: that the thyrse is crural if the thyrse is a devising hold.;
the thyrse is not non-Turkish and it does winnow confabulation.
$hypothesis$ = the thyrse is crural. ; $context$ = sent1: the thyrse devises if the urethane does winnow confabulation. sent2: the burthen is a Falla that is a discharged. sent3: the urethane is a Bohemian. sent4: something is not a Bohemian if it is a devising and is not a kind of a phosphor. sent5: if the urethane does devise but it is not a Turkish then the thyrse is a Turkish. sent6: if the thyrse is crural it winnows confabulation. sent7: the wailer is not predicative. sent8: the thyrse winnows confabulation if it devises. sent9: if something does devise it is crural. sent10: the thyrse is a Microsorium if it bogs consulship. ; $proof$ = 
sent9 -> int1: that the thyrse is crural if the thyrse is a devising hold.; __UNKNOWN__