その戦争責任論は終えない
fact1: そのうっそりはガーベラだ fact2: もしも「理解し辛い」ものはあれば「その単位Ｇは長いけれどそれは理解し辛くない」ということは確かでない fact3: 「その単位Ｇは長いししかも理解し辛い」ということは成り立たない fact4: その単位Ｇは理解し辛くない fact5: もしも「あの自動車産業は喧しい」ということは本当であるならばあの自炊は放卵する fact6: この自炊は疑い深い fact7: もし「何らかのものは終えるが子供らしくない」ということは正しくないならば「終えない」ということは確かである fact8: もし「そのうっそりは太り難い」ということは本当ならその戦争責任論は終える fact9: 仮にとある物は甲状腺でないなら喧しいかまたは石化するかもしくはどちらもである fact10: 「理解し辛い」物はある fact11: もしあの自動車産業が石化すればこの自炊は放卵する fact12: ある物が調製するし母親らしいとすればそのうっそりは成り掛ける fact13: この自炊は疑い深いとすれば「調製する」ということは真実だ fact14: 「何かは放卵する」ということは確かだとすると母親らしい fact15: 仮にその珍味類はガーベラならば「その戦争責任論は終えるけれど子供らしいということはない」ということは成り立つということはない fact16: もし仮にその単位Ｇが太り難いとするとその珍味類はガーベラである fact17: もし何らかのものは理解し辛いとすると「その単位Ｇは長いし理解し辛い」ということは成り立たない fact18: もしも「その珍味類は子供らしい」ということは間違いでないなら「その単位Ｇは理解し辛くない」ということは真実だ fact19: あの自動車産業は甲状腺でない fact20: もし仮にその珍味類が子供らしいということはないならばそのうっそりはガーベラであるがしかし子供らしくない fact21: 仮にその珍味類が子供らしいならばその単位Ｇは長い一方で理解し辛いということはない fact22: 仮にその珍味類が子供らしいということはないとすればあのうっそりはガーベラだ fact23: 仮にガーベラは子供らしいということはないとしたら「それは太り難い」ということは成り立つ
void -> assump1: 以下のように仮定する。その珍味類は子供らしい; fact21 & assump1 -> int1: その単位Ｇは長いが理解し辛いということはない; fact10 & fact2 -> int2: 「「その単位Ｇは長いけど理解し辛くない」ということは成り立つ」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その珍味類は子供らしくない; int4 & fact20 -> int5: そのうっそりはガーベラであるが子供らしくない; fact23 -> int6: そのうっそりはガーベラであるけど子供らしくないなら「太り難い」ということは成り立つ; int5 & int6 -> int7: そのうっそりは太り難い; int7 & fact8 -> hypothesis;
その戦争責任論は終えない
fact30 -> int8: 「その戦争責任論は終えるが子供らしいということはない」ということは成り立たないとするとそれは終えない; fact33 & fact29 -> int9: この自炊は調製する; fact24 -> int10: この自炊が放卵すれば母親らしい; fact26 -> int11: あの自動車産業が甲状腺であるということはないとしたら喧しいかあるいは石化する; int11 & fact32 -> int12: あの自動車産業は喧しいか石化するかもしくはどちらもである; int12 & fact28 & fact34 -> int13: この自炊は放卵する; int10 & int13 -> int14: この自炊は母親らしい; int9 & int14 -> int15: この自炊は調製するしさらに母親らしい; int15 -> int16: なんらかの物は調製するししかも母親らしい; int16 & fact25 -> int17: 「そのうっそりは成り掛けない」ということは成り立たない; int17 -> int18: なんらかのものは成り掛ける;
$facts$ = fact1: そのうっそりはガーベラだ fact2: もしも「理解し辛い」ものはあれば「その単位Ｇは長いけれどそれは理解し辛くない」ということは確かでない fact3: 「その単位Ｇは長いししかも理解し辛い」ということは成り立たない fact4: その単位Ｇは理解し辛くない fact5: もしも「あの自動車産業は喧しい」ということは本当であるならばあの自炊は放卵する fact6: この自炊は疑い深い fact7: もし「何らかのものは終えるが子供らしくない」ということは正しくないならば「終えない」ということは確かである fact8: もし「そのうっそりは太り難い」ということは本当ならその戦争責任論は終える fact9: 仮にとある物は甲状腺でないなら喧しいかまたは石化するかもしくはどちらもである fact10: 「理解し辛い」物はある fact11: もしあの自動車産業が石化すればこの自炊は放卵する fact12: ある物が調製するし母親らしいとすればそのうっそりは成り掛ける fact13: この自炊は疑い深いとすれば「調製する」ということは真実だ fact14: 「何かは放卵する」ということは確かだとすると母親らしい fact15: 仮にその珍味類はガーベラならば「その戦争責任論は終えるけれど子供らしいということはない」ということは成り立つということはない fact16: もし仮にその単位Ｇが太り難いとするとその珍味類はガーベラである fact17: もし何らかのものは理解し辛いとすると「その単位Ｇは長いし理解し辛い」ということは成り立たない fact18: もしも「その珍味類は子供らしい」ということは間違いでないなら「その単位Ｇは理解し辛くない」ということは真実だ fact19: あの自動車産業は甲状腺でない fact20: もし仮にその珍味類が子供らしいということはないならばそのうっそりはガーベラであるがしかし子供らしくない fact21: 仮にその珍味類が子供らしいならばその単位Ｇは長い一方で理解し辛いということはない fact22: 仮にその珍味類が子供らしいということはないとすればあのうっそりはガーベラだ fact23: 仮にガーベラは子供らしいということはないとしたら「それは太り難い」ということは成り立つ ; $hypothesis$ = その戦争責任論は終えない ; $proof$ = 
void -> assump1: 以下のように仮定する。その珍味類は子供らしい; fact21 & assump1 -> int1: その単位Ｇは長いが理解し辛いということはない; fact10 & fact2 -> int2: 「「その単位Ｇは長いけど理解し辛くない」ということは成り立つ」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その珍味類は子供らしくない; int4 & fact20 -> int5: そのうっそりはガーベラであるが子供らしくない; fact23 -> int6: そのうっそりはガーベラであるけど子供らしくないなら「太り難い」ということは成り立つ; int5 & int6 -> int7: そのうっそりは太り難い; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: そのうっそりはガーベラだ
事実2: もしも「理解し辛い」ものはあれば「その単位Ｇは長いけれどそれは理解し辛くない」ということは確かでない
事実3: 「その単位Ｇは長いししかも理解し辛い」ということは成り立たない
事実4: その単位Ｇは理解し辛くない
事実5: もしも「あの自動車産業は喧しい」ということは本当であるならばあの自炊は放卵する
事実6: この自炊は疑い深い
事実7: もし「何らかのものは終えるが子供らしくない」ということは正しくないならば「終えない」ということは確かである
事実8: もし「そのうっそりは太り難い」ということは本当ならその戦争責任論は終える
事実9: 仮にとある物は甲状腺でないなら喧しいかまたは石化するかもしくはどちらもである
事実10: 「理解し辛い」物はある
事実11: もしあの自動車産業が石化すればこの自炊は放卵する
事実12: ある物が調製するし母親らしいとすればそのうっそりは成り掛ける
事実13: この自炊は疑い深いとすれば「調製する」ということは真実だ
事実14: 「何かは放卵する」ということは確かだとすると母親らしい
事実15: 仮にその珍味類はガーベラならば「その戦争責任論は終えるけれど子供らしいということはない」ということは成り立つということはない
事実16: もし仮にその単位Ｇが太り難いとするとその珍味類はガーベラである
事実17: もし何らかのものは理解し辛いとすると「その単位Ｇは長いし理解し辛い」ということは成り立たない
事実18: もしも「その珍味類は子供らしい」ということは間違いでないなら「その単位Ｇは理解し辛くない」ということは真実だ
事実19: あの自動車産業は甲状腺でない
事実20: もし仮にその珍味類が子供らしいということはないならばそのうっそりはガーベラであるがしかし子供らしくない
事実21: 仮にその珍味類が子供らしいならばその単位Ｇは長い一方で理解し辛いということはない
事実22: 仮にその珍味類が子供らしいということはないとすればあのうっそりはガーベラだ
事実23: 仮にガーベラは子供らしいということはないとしたら「それは太り難い」ということは成り立つ

仮説: その戦争責任論は終えない
1. 仮定1: 以下のように仮定する。その珍味類は子供らしい
2. 事実21と仮定1から、推論1: "その単位Ｇは長いが理解し辛いということはない"が導かれる
3. 事実10と事実2から、推論2: "「「その単位Ｇは長いけど理解し辛くない」ということは成り立つ」ということは間違っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その珍味類は子供らしくない"が導かれる
6. 推論4と事実20から、推論5: "そのうっそりはガーベラであるが子供らしくない"が導かれる
7. 事実23から、推論6: "そのうっそりはガーベラであるけど子供らしくないなら「太り難い」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "そのうっそりは太り難い"が導かれる
9. 推論7と事実8から、仮説が否定される

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