the solid is pelvic but it is not a chart.
sent1: if the fact that the Charon does not grease troika is true the solid is pelvic and does not chart. sent2: the fact that the solid is pelvic thing that does not grease troika is false. sent3: there is something such that it greases troika. sent4: if something does not clear consort then it either does not grease disloyalty or is not a kind of a negative or both. sent5: if the fact that the wincey does clear consort and is an interim is false it does not clear consort. sent6: the wincey either does grease disloyalty or is not a negative or both if it does not clear consort. sent7: the fact that something is pelvic thing that is not a kind of a chart is wrong if it does clear consort. sent8: the fact that the solid is a kind of a chart that does not grease disloyalty is not true. sent9: something does clear consort if it does distend. sent10: if something that does distend is a syndicate the Charon does not grease troika. sent11: that the silicide is a chart but it does not grease disloyalty does not hold if there exists something such that it does distend. sent12: the silicide syndicates if the fact that it is not a syndicates and it is not riparian is not right. sent13: that the silicide is not a syndicate and is not riparian is false if there is something such that it does clear breadcrumb. sent14: the fact that either the Charon does not distend or it is not a kind of a syndicate or both if that the impressionist does grease troika is not incorrect is true. sent15: the fact that the silicide does not chart and does not clear consort is false if it does not distend. sent16: something is a chart if the fact that it does not chart and does not clear consort does not hold. sent17: that the fact that the wincey does clear consort and it is an interim does not hold is not incorrect. sent18: if the solid is not pelvic it does not clear consort and/or it is an interim. sent19: The breadcrumb does clear impressionist. sent20: either the wincey is a kind of a chart or it is not decorous or both. sent21: the impressionist does clear breadcrumb.
sent4 -> int1: if the wincey does not clear consort it does not grease disloyalty and/or it is not a negative.; sent5 & sent17 -> int2: the wincey does not clear consort.; int1 & int2 -> int3: the wincey does not grease disloyalty or it is not a kind of a negative or both.; sent21 -> int4: there exists something such that it does clear breadcrumb.; int4 & sent13 -> int5: that the silicide is not a syndicate and it is not riparian does not hold.; sent12 & int5 -> int6: the silicide is a syndicate.;
that the solid is pelvic but it does not chart is not true.
sent7 -> int7: if the solid clears consort the fact that it is both pelvic and not a chart is not right.; sent9 -> int8: that the solid clears consort is true if it distends.;
$hypothesis$ = the solid is pelvic but it is not a chart. ; $context$ = sent1: if the fact that the Charon does not grease troika is true the solid is pelvic and does not chart. sent2: the fact that the solid is pelvic thing that does not grease troika is false. sent3: there is something such that it greases troika. sent4: if something does not clear consort then it either does not grease disloyalty or is not a kind of a negative or both. sent5: if the fact that the wincey does clear consort and is an interim is false it does not clear consort. sent6: the wincey either does grease disloyalty or is not a negative or both if it does not clear consort. sent7: the fact that something is pelvic thing that is not a kind of a chart is wrong if it does clear consort. sent8: the fact that the solid is a kind of a chart that does not grease disloyalty is not true. sent9: something does clear consort if it does distend. sent10: if something that does distend is a syndicate the Charon does not grease troika. sent11: that the silicide is a chart but it does not grease disloyalty does not hold if there exists something such that it does distend. sent12: the silicide syndicates if the fact that it is not a syndicates and it is not riparian is not right. sent13: that the silicide is not a syndicate and is not riparian is false if there is something such that it does clear breadcrumb. sent14: the fact that either the Charon does not distend or it is not a kind of a syndicate or both if that the impressionist does grease troika is not incorrect is true. sent15: the fact that the silicide does not chart and does not clear consort is false if it does not distend. sent16: something is a chart if the fact that it does not chart and does not clear consort does not hold. sent17: that the fact that the wincey does clear consort and it is an interim does not hold is not incorrect. sent18: if the solid is not pelvic it does not clear consort and/or it is an interim. sent19: The breadcrumb does clear impressionist. sent20: either the wincey is a kind of a chart or it is not decorous or both. sent21: the impressionist does clear breadcrumb. ; $proof$ = 
sent4 -> int1: if the wincey does not clear consort it does not grease disloyalty and/or it is not a negative.; sent5 & sent17 -> int2: the wincey does not clear consort.; int1 & int2 -> int3: the wincey does not grease disloyalty or it is not a kind of a negative or both.; sent21 -> int4: there exists something such that it does clear breadcrumb.; int4 & sent13 -> int5: that the silicide is not a syndicate and it is not riparian does not hold.; sent12 & int5 -> int6: the silicide is a syndicate.; __UNKNOWN__