あの発行会社側は一個飛行隊だがしかし船内でない
fact1: 仮になんらかのものは完全燃焼するとすると「一個飛行隊だが船内でない」ということは本当である fact2: もし仮に「「モジュラーだ」ということは事実である」物はあるとすると「そのエイトは一個飛行隊だけどモジュラーでない」ということは成り立たない fact3: 「あの発行会社側は一個飛行隊であるしモジュラーだ」ということは誤りだ fact4: そのざまあは並ばない fact5: その二組合は並ぶ fact6: もしそのエイトはモジュラーでないとすれば「その条約関係は並ぶけれど参列しない」ということは真実でない fact7: 「その条約関係は参列するけどそれはセクション毎でない」ということは偽だとするとそのざまあはシレナ号でない fact8: そのエイトはシレナ号であるか並ぶかあるいは両方ともだ fact9: もしそのざまあがシレナ号でないならこのリーガルリスクは完全燃焼しなくて加えてシレナ号でない fact10: その条約関係は書き足さない fact11: もしとあるものが完全燃焼するとすれば冒頭シーンである fact12: 「このリーガルリスクはシレナ号だということはない」ということは成り立つ fact13: 仮に「このリーガルリスクは完全燃焼しない」ということは真実だとすると「あの発行会社側は完全燃焼する一方で船内でない」ということは事実と異なる fact14: もし仮に「このリーガルリスクは並ぶがしかしセクション毎でない」ということは嘘であるなら「そのエイトは参列しない」ということは成り立つ fact15: 「そのエイトは参列するがそれは並ぶということはない」ということは成り立たない fact16: 仮にこのリーガルリスクはセクション毎でないとすると「その条約関係はセクション毎であるが完全燃焼しない」ということは誤りだ fact17: 仮にこのリーガルリスクは参列しないとすれば「その条約関係は参列するがセクション毎でない」ということは成り立たない fact18: もしもその冠位が並ばないとすればそのエイトはモジュラーでなくておまけに並ばない fact19: 「「並ぶ」ということは正しい」ものはあれば「そのエイトはモジュラーだということはないし加えて並ばない」ということは間違っている fact20: もしこのリーガルリスクが完全燃焼するか参列するとしたら「その冠位は並ばない」ということは成り立つ fact21: もし「あの発行会社側は船内だけど並ばない」ということは誤っていればその条約関係はセクション毎でない fact22: その白血病細胞は並ぶ fact23: もし仮にこのリーガルリスクはシレナ号でないならば「モジュラーでないし加えてそれはセクション毎だ」ということは成り立たない fact24: もし仮に「何かはモジュラーでないがそれはセクション毎である」ということは成り立たないならば並ばない fact25: もしも「このリーガルリスクは参列しない」ということは正しいとすれば「その条約関係は参列するしセクション毎である」ということは事実でない fact26: 「「このリーガルリスクは完全燃焼するし船内である」ということは真実だ」ということは誤りだ fact27: もしもそのざまあはシレナ号でないならば「あの発行会社側が一個飛行隊だけどそれは船内であるということはない」ということは誤りだ
void -> assump1: 以下のように仮定する。このリーガルリスクは参列する; assump1 -> int1: このリーガルリスクは完全燃焼するかまたは参列するかもしくはどちらもである; int1 & fact20 -> int2: その冠位は並ばない; int2 & fact18 -> int3: そのエイトはモジュラーでなくてその上並ぶない; fact5 -> int4: 「並ぶ」ものはある; fact19 & int4 -> int5: 「そのエイトはモジュラーでなくてまた並ぶということはない」ということは偽だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このリーガルリスクは参列しない; int7 & fact17 -> int8: 「その条約関係は参列するけどセクション毎でない」ということは成り立つということはない; int8 & fact7 -> int9: そのざまあはシレナ号でない; int9 & fact27 -> hypothesis;
あの発行会社側は一個飛行隊だがしかし船内でない
fact28 -> int10: あの発行会社側が完全燃焼すれば一個飛行隊であるけれど船内でない;
$facts$ = fact1: 仮になんらかのものは完全燃焼するとすると「一個飛行隊だが船内でない」ということは本当である fact2: もし仮に「「モジュラーだ」ということは事実である」物はあるとすると「そのエイトは一個飛行隊だけどモジュラーでない」ということは成り立たない fact3: 「あの発行会社側は一個飛行隊であるしモジュラーだ」ということは誤りだ fact4: そのざまあは並ばない fact5: その二組合は並ぶ fact6: もしそのエイトはモジュラーでないとすれば「その条約関係は並ぶけれど参列しない」ということは真実でない fact7: 「その条約関係は参列するけどそれはセクション毎でない」ということは偽だとするとそのざまあはシレナ号でない fact8: そのエイトはシレナ号であるか並ぶかあるいは両方ともだ fact9: もしそのざまあがシレナ号でないならこのリーガルリスクは完全燃焼しなくて加えてシレナ号でない fact10: その条約関係は書き足さない fact11: もしとあるものが完全燃焼するとすれば冒頭シーンである fact12: 「このリーガルリスクはシレナ号だということはない」ということは成り立つ fact13: 仮に「このリーガルリスクは完全燃焼しない」ということは真実だとすると「あの発行会社側は完全燃焼する一方で船内でない」ということは事実と異なる fact14: もし仮に「このリーガルリスクは並ぶがしかしセクション毎でない」ということは嘘であるなら「そのエイトは参列しない」ということは成り立つ fact15: 「そのエイトは参列するがそれは並ぶということはない」ということは成り立たない fact16: 仮にこのリーガルリスクはセクション毎でないとすると「その条約関係はセクション毎であるが完全燃焼しない」ということは誤りだ fact17: 仮にこのリーガルリスクは参列しないとすれば「その条約関係は参列するがセクション毎でない」ということは成り立たない fact18: もしもその冠位が並ばないとすればそのエイトはモジュラーでなくておまけに並ばない fact19: 「「並ぶ」ということは正しい」ものはあれば「そのエイトはモジュラーだということはないし加えて並ばない」ということは間違っている fact20: もしこのリーガルリスクが完全燃焼するか参列するとしたら「その冠位は並ばない」ということは成り立つ fact21: もし「あの発行会社側は船内だけど並ばない」ということは誤っていればその条約関係はセクション毎でない fact22: その白血病細胞は並ぶ fact23: もし仮にこのリーガルリスクはシレナ号でないならば「モジュラーでないし加えてそれはセクション毎だ」ということは成り立たない fact24: もし仮に「何かはモジュラーでないがそれはセクション毎である」ということは成り立たないならば並ばない fact25: もしも「このリーガルリスクは参列しない」ということは正しいとすれば「その条約関係は参列するしセクション毎である」ということは事実でない fact26: 「「このリーガルリスクは完全燃焼するし船内である」ということは真実だ」ということは誤りだ fact27: もしもそのざまあはシレナ号でないならば「あの発行会社側が一個飛行隊だけどそれは船内であるということはない」ということは誤りだ ; $hypothesis$ = あの発行会社側は一個飛行隊だがしかし船内でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このリーガルリスクは参列する; assump1 -> int1: このリーガルリスクは完全燃焼するかまたは参列するかもしくはどちらもである; int1 & fact20 -> int2: その冠位は並ばない; int2 & fact18 -> int3: そのエイトはモジュラーでなくてその上並ぶない; fact5 -> int4: 「並ぶ」ものはある; fact19 & int4 -> int5: 「そのエイトはモジュラーでなくてまた並ぶということはない」ということは偽だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このリーガルリスクは参列しない; int7 & fact17 -> int8: 「その条約関係は参列するけどセクション毎でない」ということは成り立つということはない; int8 & fact7 -> int9: そのざまあはシレナ号でない; int9 & fact27 -> 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: もし仮にこのリーガルリスクはシレナ号でないならば「モジュラーでないし加えてそれはセクション毎だ」ということは成り立たない
事実24: もし仮に「何かはモジュラーでないがそれはセクション毎である」ということは成り立たないならば並ばない
事実25: もしも「このリーガルリスクは参列しない」ということは正しいとすれば「その条約関係は参列するしセクション毎である」ということは事実でない
事実26: 「「このリーガルリスクは完全燃焼するし船内である」ということは真実だ」ということは誤りだ
事実27: もしもそのざまあはシレナ号でないならば「あの発行会社側が一個飛行隊だけどそれは船内であるということはない」ということは誤りだ

仮説: あの発行会社側は一個飛行隊だがしかし船内でない
1. 仮定1: 以下のように仮定する。このリーガルリスクは参列する
2. 仮定1から、推論1: "このリーガルリスクは完全燃焼するかまたは参列するかもしくはどちらもである"が導かれる
3. 推論1と事実20から、推論2: "その冠位は並ばない"が導かれる
4. 推論2と事実18から、推論3: "そのエイトはモジュラーでなくてその上並ぶない"が導かれる
5. 事実5から、推論4: "「並ぶ」ものはある"が導かれる
6. 事実19と推論4から、推論5: "「そのエイトはモジュラーでなくてまた並ぶということはない」ということは偽だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このリーガルリスクは参列しない"が導かれる
9. 推論7と事実17から、推論8: "「その条約関係は参列するけどセクション毎でない」ということは成り立つということはない"が導かれる
10. 推論8と事実7から、推論9: "そのざまあはシレナ号でない"が導かれる
11. 推論9と事実27から、仮説が否定される

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