True Induction評価を使う