ｌ！：080130函ゲーム「最初の時間犯罪とホーリーグレイル（仮）」のログ ＝リンク先
ＩＣＧ：『レムーリアにターニやアーミがまたいるようであるが、なぜもとの世界に戻れていないのかを調べる 』が通らない理由を調べる
Ｌ：本ゲームの定理一覧 ＝｛
ｔ：『レムーリアにターニやアーミがまたいるようであるが、なぜもとの世界に戻れていないのかを調べる 』が通らない ＝彼らは戻るわけにはいかない理由があって居残っている
ｔ：『レムーリアにターニやアーミがまたいるようであるが、なぜもとの世界に戻れていないのかを調べる 』が通らない ＝彼らは戻るわけにはいかない理由があって居残っている＝理由が解決すれば、彼らは戻
ｔ：ミーシャが「ばるばるばる」と愛の言葉を叫んだ＝これによりターニは召還された
まとめ：ターニたちは彼らは戻るわけにはいかない理由があって居残っており、理由が解決すれば戻ることが出来る
そのため、『戻れてない』という命題は成立しない
｝
そのため、『戻れてない』という命題は成立しない
｝
ＩＷＧ
＃ １つめ終了
ＩＣＧ：現状、時間犯罪が横行しており、世界が分裂・分断されている現状を打破する方法を探る
Ｌ：本ゲームの定理一覧 ＝｛
ｔ：最初の時間犯罪は超新星爆発ではない＝それよりも前から計画されている時間犯罪がある
ｔ：最初の時間犯罪は超新星爆発ではない＝それよりも前から計画されている時間犯罪がある＝それはもう達成されている
ｔ：時間犯罪が分岐して連鎖している ＝ 最初を潰す以外にこれを食い止める手段はない
ｔ：時間犯罪が分岐して連鎖している ＝ 最初を潰す以外にこれを食い止める手段はない
ｔ：最初の時間犯罪は超新星爆発ではない＝それよりも前から計画されている時間犯罪がある＝超新星爆発よりも前に達成された時間犯罪である
ｔ：最初の時間犯罪は大絢爛以降且つ、超新星爆発以前に発生した時間犯罪事件ではない 且つ 超新星爆発よりも前に達成された時間犯罪である ＝ 大絢爛舞踏祭以前に起こった時間犯罪である
ｔ：レイカが動き出したのは大絢爛以降である ＝ 今のループで時間移動技術が生まれたのは大絢爛以降（または前後）である
ｔ：レイカちゃんは時間移動能力を持つが、動き出したのは大絢爛以降（または前後）である＝それ以前に時間移動能力者がいる＝それは魔王厚志である
ｔ：それ以前に時間移動能力者がいる＝それは魔王厚志である＝魔王厚志は最初の時間犯罪に関わっていない
ｔ：魔王厚志は時間移動能力者である ＝ 時間移動能力者は個人の能力として発現することがある
ｔ：:レイカちゃんは時間移動能力を持つが、動き出したのは大絢爛以降（または前後）である＝それ以前に時間移動能力者がいる＝それは魔王厚志である＝魔王厚志以外にも時間跳躍者がいる
ｔ：最初の時間犯罪は大絢爛以降且つ、超新星爆発以前に発生した時間犯罪事件ではない 且つ 超新星爆発よりも前に達成された時間犯罪である ＝ それを起こしたのは時間跳躍者である＝それはプレイヤーの知っているキャラである
ｔ：最初の時間犯罪は、精霊事件以降・大絢爛以前である 且つ 我々が知っているキャラによる時間犯罪である ＝ 精霊以降・大絢爛以前の作品群にその影響が発生している
ｔ：『オーマの侵攻は大絢爛以降である＝オーマによる時間犯罪ではない』が通らない ＝ 通らないのはオーマがアプロー以降に侵攻してきた者たちのみではないからである
ｔ：最初の時間犯罪は精霊以降 且つ 大絢爛以前に達成された時間犯罪である ＝ それは時間跳躍者によって行われている ＝ レイカちゃんから未来のコンピューター様までに知っている知類はいない ＝ 時間犯罪の防止策としての橙やレイカちゃんなどの時間跳躍者の派遣は行われていない
ｔ：時間犯罪の防止策としての橙やレイカちゃんなどの時間跳躍者の派遣は行われていない＝時間犯罪の発生の探知が出来なかった
ｔ：ホーリーグレイルにしか時間改変できない 且つ 聖銃による時間改変ではない ＝ 聖銃以外のホーリーグレイルがある
ｔ：聖銃以外のホーリーグレイルがある 且つ レムーリアにおいて王族のホーリーグレイルと呼ばれる存在がいた ＝ レムーリアにおける王族のホーリーグレイルもまた歴史改変が出来る
ｔ：頂天のレムーリアにおいて良狼が王族のホーリーグレイルを発動させた ＝ これもまた歴史改変の発動である
｝
｝
