この基本過失率はダートトラックでない
fact1: もし仮にあのＸ線検査が這い出るとしたらあの星図は染井吉野だ fact2: もし「とある物は流域全体でないしさらに痛ましくない」ということは成り立つということはないとすればそれは警官でない fact3: もし仮にあのＩマップは睨め上げないとしたら「流域全体だ」ということは正しい fact4: あのＸ線検査が流域全体だとしたらあのＩマップは染井吉野である fact5: もしあのＩマップが警官でないならあの星図は睨め上げるということはないし更に快くない fact6: あのＩマップは三国間貿易である fact7: 快いものは染井吉野でない fact8: あのカーレーヤ達は染井吉野である fact9: 「ある物は快くないなら「這い出る」ということは間違いでない」ということは本当だ fact10: 「あのＸ線検査は染井吉野だけれど睨め上げるということはない」ということは成り立たない fact11: もし何らかの物が染井吉野でないとすればそれは三国間貿易だ fact12: もしもあの星図が這い出るならあのＸ線検査は染井吉野である fact13: もし仮にあのＩマップは染井吉野であるならば「流域全体でない」ということは成り立つ fact14: もし仮にあのＩマップが這い出るとしたらあの星図は三国間貿易だ fact15: もし仮にあのＩマップが快くないならばあの星図は流域全体であるということはない fact16: 「あのＸ線検査は染井吉野であるが三国間貿易でない」ということは間違っている fact17: もし仮に「なんらかのものは流域全体だ」ということは成り立てばそれは三国間貿易でない fact18: もし仮にあのＸ線検査が染井吉野だとしたらこの基本過失率はダートトラックでない fact19: 「「あのＩマップは小使室でないしさらにダートトラックでない」ということは嘘だ」ということは本当である fact20: もし仮にあのＩマップが快いとしたら流域全体であるということはない fact21: 「あのＩマップは快いがそれは流域全体でない」ということは誤っている fact22: 「この基本過失率は快い」ということは確かである fact23: もし仮にこの基本過失率はダートトラックだとしたら「這い出る」ということは事実と異なる fact24: あのＩマップは三国間貿易だとしたら「それは流域全体だということはなくて痛ましいということはない」ということは事実と異なる
fact2 -> int1: もしも「あのＩマップは流域全体でなくてかつそれは痛ましくない」ということは偽であるならば「警官であるということはない」ということは正しい; fact6 & fact24 -> int2: 「あのＩマップは流域全体であるということはないしまた痛ましくない」ということは間違いだ; int1 & int2 -> int3: あのＩマップは警官でない; int3 & fact5 -> int4: あの星図は睨め上げないしまたそれは快くない; int4 -> int5: あの星図は快くない; fact9 -> int6: 仮にあの星図が快くないならそれは這い出る; int5 & int6 -> int7: あの星図は這い出る; int7 & fact12 -> int8: あのＸ線検査は染井吉野である; int8 & fact18 -> hypothesis;
$facts$ = fact1: もし仮にあのＸ線検査が這い出るとしたらあの星図は染井吉野だ fact2: もし「とある物は流域全体でないしさらに痛ましくない」ということは成り立つということはないとすればそれは警官でない fact3: もし仮にあのＩマップは睨め上げないとしたら「流域全体だ」ということは正しい fact4: あのＸ線検査が流域全体だとしたらあのＩマップは染井吉野である fact5: もしあのＩマップが警官でないならあの星図は睨め上げるということはないし更に快くない fact6: あのＩマップは三国間貿易である fact7: 快いものは染井吉野でない fact8: あのカーレーヤ達は染井吉野である fact9: 「ある物は快くないなら「這い出る」ということは間違いでない」ということは本当だ fact10: 「あのＸ線検査は染井吉野だけれど睨め上げるということはない」ということは成り立たない fact11: もし何らかの物が染井吉野でないとすればそれは三国間貿易だ fact12: もしもあの星図が這い出るならあのＸ線検査は染井吉野である fact13: もし仮にあのＩマップは染井吉野であるならば「流域全体でない」ということは成り立つ fact14: もし仮にあのＩマップが這い出るとしたらあの星図は三国間貿易だ fact15: もし仮にあのＩマップが快くないならばあの星図は流域全体であるということはない fact16: 「あのＸ線検査は染井吉野であるが三国間貿易でない」ということは間違っている fact17: もし仮に「なんらかのものは流域全体だ」ということは成り立てばそれは三国間貿易でない fact18: もし仮にあのＸ線検査が染井吉野だとしたらこの基本過失率はダートトラックでない fact19: 「「あのＩマップは小使室でないしさらにダートトラックでない」ということは嘘だ」ということは本当である fact20: もし仮にあのＩマップが快いとしたら流域全体であるということはない fact21: 「あのＩマップは快いがそれは流域全体でない」ということは誤っている fact22: 「この基本過失率は快い」ということは確かである fact23: もし仮にこの基本過失率はダートトラックだとしたら「這い出る」ということは事実と異なる fact24: あのＩマップは三国間貿易だとしたら「それは流域全体だということはなくて痛ましいということはない」ということは事実と異なる ; $hypothesis$ = この基本過失率はダートトラックでない ; $proof$ = 
fact2 -> int1: もしも「あのＩマップは流域全体でなくてかつそれは痛ましくない」ということは偽であるならば「警官であるということはない」ということは正しい; fact6 & fact24 -> int2: 「あのＩマップは流域全体であるということはないしまた痛ましくない」ということは間違いだ; int1 & int2 -> int3: あのＩマップは警官でない; int3 & fact5 -> int4: あの星図は睨め上げないしまたそれは快くない; int4 -> int5: あの星図は快くない; fact9 -> int6: 仮にあの星図が快くないならそれは這い出る; int5 & int6 -> int7: あの星図は這い出る; int7 & fact12 -> int8: あのＸ線検査は染井吉野である; int8 & fact18 -> hypothesis; __PROVED__
事実1: もし仮にあのＸ線検査が這い出るとしたらあの星図は染井吉野だ
事実2: もし「とある物は流域全体でないしさらに痛ましくない」ということは成り立つということはないとすればそれは警官でない
事実3: もし仮にあのＩマップは睨め上げないとしたら「流域全体だ」ということは正しい
事実4: あのＸ線検査が流域全体だとしたらあのＩマップは染井吉野である
事実5: もしあのＩマップが警官でないならあの星図は睨め上げるということはないし更に快くない
事実6: あのＩマップは三国間貿易である
事実7: 快いものは染井吉野でない
事実8: あのカーレーヤ達は染井吉野である
事実9: 「ある物は快くないなら「這い出る」ということは間違いでない」ということは本当だ
事実10: 「あのＸ線検査は染井吉野だけれど睨め上げるということはない」ということは成り立たない
事実11: もし何らかの物が染井吉野でないとすればそれは三国間貿易だ
事実12: もしもあの星図が這い出るならあのＸ線検査は染井吉野である
事実13: もし仮にあのＩマップは染井吉野であるならば「流域全体でない」ということは成り立つ
事実14: もし仮にあのＩマップが這い出るとしたらあの星図は三国間貿易だ
事実15: もし仮にあのＩマップが快くないならばあの星図は流域全体であるということはない
事実16: 「あのＸ線検査は染井吉野であるが三国間貿易でない」ということは間違っている
事実17: もし仮に「なんらかのものは流域全体だ」ということは成り立てばそれは三国間貿易でない
事実18: もし仮にあのＸ線検査が染井吉野だとしたらこの基本過失率はダートトラックでない
事実19: 「「あのＩマップは小使室でないしさらにダートトラックでない」ということは嘘だ」ということは本当である
事実20: もし仮にあのＩマップが快いとしたら流域全体であるということはない
事実21: 「あのＩマップは快いがそれは流域全体でない」ということは誤っている
事実22: 「この基本過失率は快い」ということは確かである
事実23: もし仮にこの基本過失率はダートトラックだとしたら「這い出る」ということは事実と異なる
事実24: あのＩマップは三国間貿易だとしたら「それは流域全体だということはなくて痛ましいということはない」ということは事実と異なる

仮説: この基本過失率はダートトラックでない
1. 事実2から、推論1: "もしも「あのＩマップは流域全体でなくてかつそれは痛ましくない」ということは偽であるならば「警官であるということはない」ということは正しい"が導かれる
2. 事実6と事実24から、推論2: "「あのＩマップは流域全体であるということはないしまた痛ましくない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "あのＩマップは警官でない"が導かれる
4. 推論3と事実5から、推論4: "あの星図は睨め上げないしまたそれは快くない"が導かれる
5. 推論4から、推論5: "あの星図は快くない"が導かれる
6. 事実9から、推論6: "仮にあの星図が快くないならそれは這い出る"が導かれる
7. 推論5と推論6から、推論7: "あの星図は這い出る"が導かれる
8. 推論7と事実12から、推論8: "あのＸ線検査は染井吉野である"が導かれる
9. 推論8と事実18から、仮説が導かれる

よって、仮説が証明されました。