Figure 7: The sampled reasoning paths have minor differences, such as word substitution (orange part), rewriting of formulas(red part), rearrangement of syntax(brown part), but the correct intermediate steps are consistent (green part).