rulith

请用 rulith 建立一个可追溯推理板，验证下面结论是否成立：若所有 A 都属于 B，所有 B 都属于 C，且对象 x 属于 A，是否必然推出 x 属于 C？请给出每一步推导及其依据。

输出结构化推理链，逐步列出前提、推导规则、结论，并标明每个结论的来源。

请用 rulith 精确计算并验证这个表达式：(17.35 × 24) - (8.2 ÷ 0.4) + 13，并展示每一步算术过程，确保没有近似误差。

输出精确算术结果，包含中间步骤、最终值，以及每一步的可核验证据。

请用 rulith 整理以下论证，并标记哪些结论有明确证据来源、哪些只是推断：'报告指出 Q2 销售增长 12%，增长主要来自华东区域，因此新品策略有效。' 请区分原始证据与衍生结论。

输出带证据追踪的论证结构，清楚区分已知事实、推导结论与证据缺口。