「その普通学校は怪しいしかつそれは行き着く」ということは成り立たない
fact1: 仮に「「把握し難くない一方でうら若い」ということは間違いな」物はあるなら「その普通学校は軽んじる」ということは確かである fact2: もしなんらかの物はＰバンドでない一方でそれは軽んじればそれは行き着く fact3: もし仮にその普通学校が職員一人一人でないとするとその世界人口は取り紛れない fact4: あの生産効率は取り紛れる fact5: 仮にとあるものは軽んじるないとすれば「それは怪しいしかつそれは行き着く」ということは誤っている fact6: 仮にその普通学校は軽んじるとしたら「Ｐバンドだ」ということは本当である fact7: 「「把握し難いしそれにうら若い」ということは成り立つということはない」物はある fact8: とある物は把握し難くないけどうら若い fact9: もしその普通学校は怪しくない一方でＰバンドだとしたら職員一人一人でない fact10: その普通学校は日本人らしい fact11: もし把握し難い物があるとすればその普通学校は軽んじる fact12: もしもその普通学校が取り紛れないとしたらＰバンドであるかあるいは職員一人一人であるということはないかあるいは両方ともだ fact13: その世界人口は取り紛れる fact14: もしその普通学校は日本人らしいならばそれは行き着く fact15: 「「把握し難くない一方でうら若い」ということは事実と異なる」ものはある
fact15 & fact1 -> int1: その普通学校は軽んじる; int1 & fact6 -> int2: その普通学校はＰバンドだ; void -> assump1: 以下のように仮定する。その普通学校は怪しくない; int2 & assump1 -> int3: その普通学校は怪しくないけれどそれはＰバンドだ; int3 & fact9 -> int4: その普通学校は職員一人一人だということはない; int4 & fact3 -> int5: その世界人口は取り紛れるということはない; int5 & fact13 -> int6: これは矛盾である; [assump1] & int6 -> int7: その普通学校は怪しい; fact10 & fact14 -> int8: 「その普通学校は行き着く」ということは成り立つ; int7 & int8 -> hypothesis;
「その普通学校は怪しくて行き着く」ということは間違っている
fact17 -> int9: 仮にその普通学校は軽んじるないとすると「それは怪しくてまた行き着く」ということは成り立たない;
$facts$ = fact1: 仮に「「把握し難くない一方でうら若い」ということは間違いな」物はあるなら「その普通学校は軽んじる」ということは確かである fact2: もしなんらかの物はＰバンドでない一方でそれは軽んじればそれは行き着く fact3: もし仮にその普通学校が職員一人一人でないとするとその世界人口は取り紛れない fact4: あの生産効率は取り紛れる fact5: 仮にとあるものは軽んじるないとすれば「それは怪しいしかつそれは行き着く」ということは誤っている fact6: 仮にその普通学校は軽んじるとしたら「Ｐバンドだ」ということは本当である fact7: 「「把握し難いしそれにうら若い」ということは成り立つということはない」物はある fact8: とある物は把握し難くないけどうら若い fact9: もしその普通学校は怪しくない一方でＰバンドだとしたら職員一人一人でない fact10: その普通学校は日本人らしい fact11: もし把握し難い物があるとすればその普通学校は軽んじる fact12: もしもその普通学校が取り紛れないとしたらＰバンドであるかあるいは職員一人一人であるということはないかあるいは両方ともだ fact13: その世界人口は取り紛れる fact14: もしその普通学校は日本人らしいならばそれは行き着く fact15: 「「把握し難くない一方でうら若い」ということは事実と異なる」ものはある ; $hypothesis$ = 「その普通学校は怪しいしかつそれは行き着く」ということは成り立たない ; $proof$ = 
fact15 & fact1 -> int1: その普通学校は軽んじる; int1 & fact6 -> int2: その普通学校はＰバンドだ; void -> assump1: 以下のように仮定する。その普通学校は怪しくない; int2 & assump1 -> int3: その普通学校は怪しくないけれどそれはＰバンドだ; int3 & fact9 -> int4: その普通学校は職員一人一人だということはない; int4 & fact3 -> int5: その世界人口は取り紛れるということはない; int5 & fact13 -> int6: これは矛盾である; [assump1] & int6 -> int7: その普通学校は怪しい; fact10 & fact14 -> int8: 「その普通学校は行き着く」ということは成り立つ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮に「「把握し難くない一方でうら若い」ということは間違いな」物はあるなら「その普通学校は軽んじる」ということは確かである
事実2: もしなんらかの物はＰバンドでない一方でそれは軽んじればそれは行き着く
事実3: もし仮にその普通学校が職員一人一人でないとするとその世界人口は取り紛れない
事実4: あの生産効率は取り紛れる
事実5: 仮にとあるものは軽んじるないとすれば「それは怪しいしかつそれは行き着く」ということは誤っている
事実6: 仮にその普通学校は軽んじるとしたら「Ｐバンドだ」ということは本当である
事実7: 「「把握し難いしそれにうら若い」ということは成り立つということはない」物はある
事実8: とある物は把握し難くないけどうら若い
事実9: もしその普通学校は怪しくない一方でＰバンドだとしたら職員一人一人でない
事実10: その普通学校は日本人らしい
事実11: もし把握し難い物があるとすればその普通学校は軽んじる
事実12: もしもその普通学校が取り紛れないとしたらＰバンドであるかあるいは職員一人一人であるということはないかあるいは両方ともだ
事実13: その世界人口は取り紛れる
事実14: もしその普通学校は日本人らしいならばそれは行き着く
事実15: 「「把握し難くない一方でうら若い」ということは事実と異なる」ものはある

仮説: 「その普通学校は怪しいしかつそれは行き着く」ということは成り立たない
1. 事実15と事実1から、推論1: "その普通学校は軽んじる"が導かれる
2. 推論1と事実6から、推論2: "その普通学校はＰバンドだ"が導かれる
3. 仮定1: 以下のように仮定する。その普通学校は怪しくない
4. 推論2と仮定1から、推論3: "その普通学校は怪しくないけれどそれはＰバンドだ"が導かれる
5. 推論3と事実9から、推論4: "その普通学校は職員一人一人だということはない"が導かれる
6. 推論4と事実3から、推論5: "その世界人口は取り紛れるということはない"が導かれる
7. 推論5と事実13から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その普通学校は怪しい"が導かれる
9. 事実10と事実14から、推論8: "「その普通学校は行き着く」ということは成り立つ"が導かれる
10. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。