この戦争放棄条項は遅くない
fact1: 「その四スタチンは墓誌であるし西洋化する」ということは成り立つということはない fact2: 「なにがしかのものは名嘉間屋であるけれど陳列しない」ということは成り立たないなら遅くない fact3: 仮にとある物は輸送活動でないとすると「それは成し難くないし掴み易くない」ということは間違いだ fact4: 「仮に「「「その四スタチンは墓誌である一方で西洋化しない」ということは成り立つ」ということは誤りである」ということは嘘だということはないならあの刑事部屋は陳列する」ということは真実だ fact5: あの螺鈿細工は名嘉間屋でない fact6: あの螺鈿細工は名嘉間屋だということはないなら「その四スタチンは墓誌であるけれどそれは西洋化しない」ということは事実と異なる fact7: あの刑事部屋は手酷いなら「その四スタチンは学び直す」ということは事実である fact8: あの刑事部屋が陳列するとするとこの戦争放棄条項は遅い fact9: なにかはしょっぴくとすれば「それは名嘉間屋であるが陳列するということはない」ということは誤っている fact10: その四スタチンは西洋化するなら「あの刑事部屋は陳列しない」ということは嘘だ fact11: もし仮に「あの螺鈿細工は輸送活動でなくて加えて心地良くない」ということは誤りであるとしたらこの戦争放棄条項は輸送活動でない fact12: 何らかの物は復路なら「それは輸送活動であるということはないし心地良いということはない」ということは間違いである fact13: もし仮にあの螺鈿細工は名嘉間屋でないとすれば「その四スタチンが墓誌だし西洋化する」ということは嘘である fact14: この戦争放棄条項は陳列しない fact15: もし仮に「あるものは成し難くないし掴み易くない」ということは成り立たないとしたらそれはしょっぴく fact16: あの主語節は西洋化する fact17: 仮に「その四スタチンは学び直す」ということは真実であるとすると「あの螺鈿細工は復路である」ということは成り立つ
fact6 & fact5 -> int1: 「その四スタチンは墓誌だ一方で西洋化しない」ということは誤っている; int1 & fact4 -> int2: あの刑事部屋は陳列する; int2 & fact8 -> hypothesis;
fact6 & fact5 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact8 -> hypothesis;
この戦争放棄条項は遅くない
fact19 -> int3: もし仮に「この戦争放棄条項は名嘉間屋である一方で陳列しない」ということは成り立たないとしたらそれは遅くない; fact20 -> int4: もしこの戦争放棄条項はしょっぴくとすれば「それは名嘉間屋でそれは陳列しない」ということは成り立たない; fact22 -> int5: 「この戦争放棄条項は成し難くないし加えてそれは掴み易いということはない」ということは成り立たないとすればしょっぴく; fact18 -> int6: この戦争放棄条項は輸送活動でないなら「それは成し難くないし加えてそれは掴み易くない」ということは成り立たない; fact21 -> int7: 「あの螺鈿細工は復路であるなら「あの螺鈿細工は輸送活動でなくてそれに心地良いということはない」ということは成り立たない」ということは嘘でない;
$facts$ = fact1: 「その四スタチンは墓誌であるし西洋化する」ということは成り立つということはない fact2: 「なにがしかのものは名嘉間屋であるけれど陳列しない」ということは成り立たないなら遅くない fact3: 仮にとある物は輸送活動でないとすると「それは成し難くないし掴み易くない」ということは間違いだ fact4: 「仮に「「「その四スタチンは墓誌である一方で西洋化しない」ということは成り立つ」ということは誤りである」ということは嘘だということはないならあの刑事部屋は陳列する」ということは真実だ fact5: あの螺鈿細工は名嘉間屋でない fact6: あの螺鈿細工は名嘉間屋だということはないなら「その四スタチンは墓誌であるけれどそれは西洋化しない」ということは事実と異なる fact7: あの刑事部屋は手酷いなら「その四スタチンは学び直す」ということは事実である fact8: あの刑事部屋が陳列するとするとこの戦争放棄条項は遅い fact9: なにかはしょっぴくとすれば「それは名嘉間屋であるが陳列するということはない」ということは誤っている fact10: その四スタチンは西洋化するなら「あの刑事部屋は陳列しない」ということは嘘だ fact11: もし仮に「あの螺鈿細工は輸送活動でなくて加えて心地良くない」ということは誤りであるとしたらこの戦争放棄条項は輸送活動でない fact12: 何らかの物は復路なら「それは輸送活動であるということはないし心地良いということはない」ということは間違いである fact13: もし仮にあの螺鈿細工は名嘉間屋でないとすれば「その四スタチンが墓誌だし西洋化する」ということは嘘である fact14: この戦争放棄条項は陳列しない fact15: もし仮に「あるものは成し難くないし掴み易くない」ということは成り立たないとしたらそれはしょっぴく fact16: あの主語節は西洋化する fact17: 仮に「その四スタチンは学び直す」ということは真実であるとすると「あの螺鈿細工は復路である」ということは成り立つ ; $hypothesis$ = この戦争放棄条項は遅くない ; $proof$ = 
fact6 & fact5 -> int1: 「その四スタチンは墓誌だ一方で西洋化しない」ということは誤っている; int1 & fact4 -> int2: あの刑事部屋は陳列する; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 「その四スタチンは墓誌であるし西洋化する」ということは成り立つということはない
事実2: 「なにがしかのものは名嘉間屋であるけれど陳列しない」ということは成り立たないなら遅くない
事実3: 仮にとある物は輸送活動でないとすると「それは成し難くないし掴み易くない」ということは間違いだ
事実4: 「仮に「「「その四スタチンは墓誌である一方で西洋化しない」ということは成り立つ」ということは誤りである」ということは嘘だということはないならあの刑事部屋は陳列する」ということは真実だ
事実5: あの螺鈿細工は名嘉間屋でない
事実6: あの螺鈿細工は名嘉間屋だということはないなら「その四スタチンは墓誌であるけれどそれは西洋化しない」ということは事実と異なる
事実7: あの刑事部屋は手酷いなら「その四スタチンは学び直す」ということは事実である
事実8: あの刑事部屋が陳列するとするとこの戦争放棄条項は遅い
事実9: なにかはしょっぴくとすれば「それは名嘉間屋であるが陳列するということはない」ということは誤っている
事実10: その四スタチンは西洋化するなら「あの刑事部屋は陳列しない」ということは嘘だ
事実11: もし仮に「あの螺鈿細工は輸送活動でなくて加えて心地良くない」ということは誤りであるとしたらこの戦争放棄条項は輸送活動でない
事実12: 何らかの物は復路なら「それは輸送活動であるということはないし心地良いということはない」ということは間違いである
事実13: もし仮にあの螺鈿細工は名嘉間屋でないとすれば「その四スタチンが墓誌だし西洋化する」ということは嘘である
事実14: この戦争放棄条項は陳列しない
事実15: もし仮に「あるものは成し難くないし掴み易くない」ということは成り立たないとしたらそれはしょっぴく
事実16: あの主語節は西洋化する
事実17: 仮に「その四スタチンは学び直す」ということは真実であるとすると「あの螺鈿細工は復路である」ということは成り立つ

仮説: この戦争放棄条項は遅くない
1. 事実6と事実5から、推論1: "「その四スタチンは墓誌だ一方で西洋化しない」ということは誤っている"が導かれる
2. 推論1と事実4から、推論2: "あの刑事部屋は陳列する"が導かれる
3. 推論2と事実8から、仮説が否定される

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