回答編集履歴

- fact内の記述のミスと試行錯誤の際に変更し忘れたcombiない$t0, $t1の記述を変えたらうまくいきました。