まあleanがやれることって推論過程を明確にすることくらいだろ

余計にどの部分の推論に問題があるか明確になるだけだと思うけどね