「もしもあのがたが下山だとすればあの要点整理はいとおしい」ということは間違っている
fact1: なにかはいとおしいならば下山だ fact2: 仮にあの要点整理が新しいならこの十四世紀頃はいとおしい fact3: この組み替えは新しい fact4: もしも「とあるものは新しいけれど下山でない」ということは成り立たないならばそれは下山である fact5: 新しい物は下山だ fact6: この二十三集は下山である fact7: あのソルバー探索結果は和する fact8: あのがたは下山であるとしたら「それはいとおしい」ということは真実だ fact9: もし仮にあのがたが和するとすればそれは下山である fact10: この十四世紀頃は下山である fact11: 「この十四世紀頃は新しい」ということは本当であるなら「あの要点整理はいとおしい」ということは確かである fact12: あの小太りは下山だ fact13: もしも「この十四世紀頃は下山である」ということは成り立つならばあのがたは和する fact14: もし仮にあのがたは下山であるなら「それは新しい」ということは成り立つ fact15: あの要点整理は下山である fact16: あのがたは和する fact17: もしもあのがたが下山ならこの十四世紀頃は和する fact18: もしもこの十四世紀頃が下山だとするとあのがたは新しい fact19: もし何かは和するなら新しい fact20: 仮に何かは和するとすれば「それは新しいが下山でない」ということは確かでない fact21: しつっこくない物は和するし加えていとおしい
void -> assump1: 以下のように仮定する。あのがたは下山である; fact17 & assump1 -> int1: この十四世紀頃は和する; fact19 -> int2: もしこの十四世紀頃が和するならそれは新しい; int1 & int2 -> int3: この十四世紀頃は新しい; int3 & fact11 -> int4: あの要点整理はいとおしい; [assump1] & int4 -> hypothesis;
この十四世紀頃は下山である
fact24 -> int5: あのがたは和すれば「それは新しいけれど下山でない」ということは誤っている; fact22 -> int6: もし仮にあのがたはしつっこくないならそれは和するしいとおしい; fact23 -> int7: 「「この十四世紀頃は新しいが下山でない」ということは成り立つ」ということは成り立たないとしたらそれは下山だ;
$facts$ = fact1: なにかはいとおしいならば下山だ fact2: 仮にあの要点整理が新しいならこの十四世紀頃はいとおしい fact3: この組み替えは新しい fact4: もしも「とあるものは新しいけれど下山でない」ということは成り立たないならばそれは下山である fact5: 新しい物は下山だ fact6: この二十三集は下山である fact7: あのソルバー探索結果は和する fact8: あのがたは下山であるとしたら「それはいとおしい」ということは真実だ fact9: もし仮にあのがたが和するとすればそれは下山である fact10: この十四世紀頃は下山である fact11: 「この十四世紀頃は新しい」ということは本当であるなら「あの要点整理はいとおしい」ということは確かである fact12: あの小太りは下山だ fact13: もしも「この十四世紀頃は下山である」ということは成り立つならばあのがたは和する fact14: もし仮にあのがたは下山であるなら「それは新しい」ということは成り立つ fact15: あの要点整理は下山である fact16: あのがたは和する fact17: もしもあのがたが下山ならこの十四世紀頃は和する fact18: もしもこの十四世紀頃が下山だとするとあのがたは新しい fact19: もし何かは和するなら新しい fact20: 仮に何かは和するとすれば「それは新しいが下山でない」ということは確かでない fact21: しつっこくない物は和するし加えていとおしい ; $hypothesis$ = 「もしもあのがたが下山だとすればあの要点整理はいとおしい」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのがたは下山である; fact17 & assump1 -> int1: この十四世紀頃は和する; fact19 -> int2: もしこの十四世紀頃が和するならそれは新しい; int1 & int2 -> int3: この十四世紀頃は新しい; int3 & fact11 -> int4: あの要点整理はいとおしい; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: なにかはいとおしいならば下山だ
事実2: 仮にあの要点整理が新しいならこの十四世紀頃はいとおしい
事実3: この組み替えは新しい
事実4: もしも「とあるものは新しいけれど下山でない」ということは成り立たないならばそれは下山である
事実5: 新しい物は下山だ
事実6: この二十三集は下山である
事実7: あのソルバー探索結果は和する
事実8: あのがたは下山であるとしたら「それはいとおしい」ということは真実だ
事実9: もし仮にあのがたが和するとすればそれは下山である
事実10: この十四世紀頃は下山である
事実11: 「この十四世紀頃は新しい」ということは本当であるなら「あの要点整理はいとおしい」ということは確かである
事実12: あの小太りは下山だ
事実13: もしも「この十四世紀頃は下山である」ということは成り立つならばあのがたは和する
事実14: もし仮にあのがたは下山であるなら「それは新しい」ということは成り立つ
事実15: あの要点整理は下山である
事実16: あのがたは和する
事実17: もしもあのがたが下山ならこの十四世紀頃は和する
事実18: もしもこの十四世紀頃が下山だとするとあのがたは新しい
事実19: もし何かは和するなら新しい
事実20: 仮に何かは和するとすれば「それは新しいが下山でない」ということは確かでない
事実21: しつっこくない物は和するし加えていとおしい

仮説: 「もしもあのがたが下山だとすればあの要点整理はいとおしい」ということは間違っている
1. 仮定1: 以下のように仮定する。あのがたは下山である
2. 事実17と仮定1から、推論1: "この十四世紀頃は和する"が導かれる
3. 事実19から、推論2: "もしこの十四世紀頃が和するならそれは新しい"が導かれる
4. 推論1と推論2から、推論3: "この十四世紀頃は新しい"が導かれる
5. 推論3と事実11から、推論4: "あの要点整理はいとおしい"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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