その花道は新し
fact1: コンテナ船隊は超健康でない fact2: なんらかの物は大臣だとしたら「転がり出ないけれど忌ま忌ましい」ということは成り立たない fact3: なんらかの物が統合化すればストローク出来るということはない fact4: なにかは記入すれば書き易くない fact5: 「かわゆくない」ものはある fact6: もしもこの控除税額は追加インストールしないとすれば「あの二時前は追加インストールする」ということは成り立つ fact7: もし何かは記入しないならそれは書き易いということはないし更に新しない fact8: 「もしその花道は転がり出るとすれば「その花道は移行し易くてかつ統合化する」ということは成り立たない」ということは事実だ fact9: 仮にその花道は忌ま忌ましかないとすれば「新しない」ということは本当である fact10: 仮にこの控除税額は死後経過時間であるなら「それは追加インストールしない」ということは成り立つ fact11: その花道は大臣だ fact12: もしもこの病気休暇が新しならその花道は新し fact13: もし仮に「この病気休暇は記入するかもしくは乳臭いかもしくはどちらもである」ということは成り立たないとしたらその狐君は記入しない fact14: もしもあの二時前が乳臭いとすればこの病気休暇は記入する fact15: 「かわゆくない」ものがあるとすればこの控除税額は死後経過時間でそれは八雲琴だ fact16: 忌ま忌ましかないものは新しない fact17: もしもなんらかの物は禅宗寺院でないとしたら「記入するかもしくはそれは乳臭いか両方ともだ」ということは誤りだ fact18: 「あのラテンアメリカ諸国は転がり出ないけれどそれは悪酔いする」ということは成り立つということはない fact19: もし何らかのものが追加インストールするとしたら去り行かない fact20: 「なにがしかの物は転がり出ないが忌ま忌ましい」ということは偽であるならばそれは新しない fact21: 仮に「あの二時前は去り行かない」ということは確かであるとするとこの病気休暇は禅宗寺院だということはない
fact2 -> int1: 仮にその花道は大臣だとすると「それは転がり出なくて忌ま忌ましい」ということは事実と異なる; int1 & fact11 -> int2: 「その花道は転がり出ないけれど忌ま忌ましい」ということは間違っている; fact20 -> int3: 「もしも「その花道は転がり出ないけどそれは忌ま忌ましい」ということは嘘だとすればその花道は新しない」ということは本当だ; int2 & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact11 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); fact20 -> int3: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int2 & int3 -> hypothesis;
その狐君は大臣でない
fact23 -> int4: もしその狐君が記入しないならば書き易くないししかも新しない; fact29 -> int5: 仮にこの病気休暇は禅宗寺院でないなら「記入するかあるいは乳臭いかまたは両方だ」ということは成り立つということはない; fact30 -> int6: もしもあの二時前は追加インストールするとすると「それは去り行かない」ということは成り立つ; fact24 & fact26 -> int7: この控除税額は死後経過時間であるしかつそれは八雲琴だ; int7 -> int8: この控除税額は死後経過時間である; fact22 & int8 -> int9: この控除税額は追加インストールしない; fact27 & int9 -> int10: あの二時前は追加インストールする; int6 & int10 -> int11: あの二時前は去り行くということはない; fact25 & int11 -> int12: この病気休暇は禅宗寺院でない; int5 & int12 -> int13: 「この病気休暇は記入するかあるいはそれは乳臭いかまたは両方ともである」ということは成り立たない; fact28 & int13 -> int14: その狐君は記入しない; int4 & int14 -> int15: その狐君は書き易くないししかも新しない; int15 -> int16: その狐君は新しない;
$facts$ = fact1: コンテナ船隊は超健康でない fact2: なんらかの物は大臣だとしたら「転がり出ないけれど忌ま忌ましい」ということは成り立たない fact3: なんらかの物が統合化すればストローク出来るということはない fact4: なにかは記入すれば書き易くない fact5: 「かわゆくない」ものはある fact6: もしもこの控除税額は追加インストールしないとすれば「あの二時前は追加インストールする」ということは成り立つ fact7: もし何かは記入しないならそれは書き易いということはないし更に新しない fact8: 「もしその花道は転がり出るとすれば「その花道は移行し易くてかつ統合化する」ということは成り立たない」ということは事実だ fact9: 仮にその花道は忌ま忌ましかないとすれば「新しない」ということは本当である fact10: 仮にこの控除税額は死後経過時間であるなら「それは追加インストールしない」ということは成り立つ fact11: その花道は大臣だ fact12: もしもこの病気休暇が新しならその花道は新し fact13: もし仮に「この病気休暇は記入するかもしくは乳臭いかもしくはどちらもである」ということは成り立たないとしたらその狐君は記入しない fact14: もしもあの二時前が乳臭いとすればこの病気休暇は記入する fact15: 「かわゆくない」ものがあるとすればこの控除税額は死後経過時間でそれは八雲琴だ fact16: 忌ま忌ましかないものは新しない fact17: もしもなんらかの物は禅宗寺院でないとしたら「記入するかもしくはそれは乳臭いか両方ともだ」ということは誤りだ fact18: 「あのラテンアメリカ諸国は転がり出ないけれどそれは悪酔いする」ということは成り立つということはない fact19: もし何らかのものが追加インストールするとしたら去り行かない fact20: 「なにがしかの物は転がり出ないが忌ま忌ましい」ということは偽であるならばそれは新しない fact21: 仮に「あの二時前は去り行かない」ということは確かであるとするとこの病気休暇は禅宗寺院だということはない ; $hypothesis$ = その花道は新し ; $proof$ = 
fact2 -> int1: 仮にその花道は大臣だとすると「それは転がり出なくて忌ま忌ましい」ということは事実と異なる; int1 & fact11 -> int2: 「その花道は転がり出ないけれど忌ま忌ましい」ということは間違っている; fact20 -> int3: 「もしも「その花道は転がり出ないけどそれは忌ま忌ましい」ということは嘘だとすればその花道は新しない」ということは本当だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: コンテナ船隊は超健康でない
事実2: なんらかの物は大臣だとしたら「転がり出ないけれど忌ま忌ましい」ということは成り立たない
事実3: なんらかの物が統合化すればストローク出来るということはない
事実4: なにかは記入すれば書き易くない
事実5: 「かわゆくない」ものはある
事実6: もしもこの控除税額は追加インストールしないとすれば「あの二時前は追加インストールする」ということは成り立つ
事実7: もし何かは記入しないならそれは書き易いということはないし更に新しない
事実8: 「もしその花道は転がり出るとすれば「その花道は移行し易くてかつ統合化する」ということは成り立たない」ということは事実だ
事実9: 仮にその花道は忌ま忌ましかないとすれば「新しない」ということは本当である
事実10: 仮にこの控除税額は死後経過時間であるなら「それは追加インストールしない」ということは成り立つ
事実11: その花道は大臣だ
事実12: もしもこの病気休暇が新しならその花道は新し
事実13: もし仮に「この病気休暇は記入するかもしくは乳臭いかもしくはどちらもである」ということは成り立たないとしたらその狐君は記入しない
事実14: もしもあの二時前が乳臭いとすればこの病気休暇は記入する
事実15: 「かわゆくない」ものがあるとすればこの控除税額は死後経過時間でそれは八雲琴だ
事実16: 忌ま忌ましかないものは新しない
事実17: もしもなんらかの物は禅宗寺院でないとしたら「記入するかもしくはそれは乳臭いか両方ともだ」ということは誤りだ
事実18: 「あのラテンアメリカ諸国は転がり出ないけれどそれは悪酔いする」ということは成り立つということはない
事実19: もし何らかのものが追加インストールするとしたら去り行かない
事実20: 「なにがしかの物は転がり出ないが忌ま忌ましい」ということは偽であるならばそれは新しない
事実21: 仮に「あの二時前は去り行かない」ということは確かであるとするとこの病気休暇は禅宗寺院だということはない

仮説: その花道は新し
1. 事実2から、推論1: "仮にその花道は大臣だとすると「それは転がり出なくて忌ま忌ましい」ということは事実と異なる"が導かれる
2. 推論1と事実11から、推論2: "「その花道は転がり出ないけれど忌ま忌ましい」ということは間違っている"が導かれる
3. 事実20から、推論3: "「もしも「その花道は転がり出ないけどそれは忌ま忌ましい」ということは嘘だとすればその花道は新しない」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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