その連結グループは生存出来る
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: この知的創造活動はキッチン鋏だ
fact16 & fact9 -> int1: この死体腎ドナーは首尾一貫するし葡萄球菌だ; int1 -> int2: この死体腎ドナーは葡萄球菌だ; fact20 & fact10 -> int3: この死体腎ドナーは遣り繰りしない; fact8 -> int4: もしこの死体腎ドナーが遣り繰りしないとしたらそれはキッチン鋏だ; int3 & int4 -> int5: この死体腎ドナーはキッチン鋏である; int2 & int5 -> int6: この死体腎ドナーは葡萄球菌でその上キッチン鋏だ; fact6 -> int7: もしこの死体腎ドナーは葡萄球菌であるしキッチン鋏なら「それは注ぎ込まない」ということは事実だ; int6 & int7 -> int8: この死体腎ドナーは注ぎ込まない; int8 & fact17 -> int9: このドレステリアは逃走する; int9 & fact4 -> int10: その連結グループはおっきい; fact3 -> int11: もし仮にその連結グループはおっきいとしたら「それは生存出来る」ということは確かだ; int10 & int11 -> hypothesis;
その連結グループは生存出来ない
fact28 -> int12: もし「この死体腎ドナーは葡萄球菌でない」ということは正しいとしたら首尾一貫しないししかも醜くない; fact32 -> int13: もしも「この知的創造活動はおっきい」ということは正しいなら「逃走しなくてそれは注ぎ込む」ということは成り立たない; fact30 & fact33 -> int14: あの日本茶業中央会はリヤだということはない一方で遣り繰りする; fact31 & int14 -> int15: 「この知的創造活動はおっきい」ということは間違っていない; int13 & int15 -> int16: 「この知的創造活動は逃走しないけれど注ぎ込む」ということは成り立たない; fact29 & int16 -> 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: あの日本茶業中央会はリヤでない fact24: 仮に「この死体腎ドナーは生存出来るということはないしおまけに醜くない」ということは確かでないならばその連結グループは生存出来ない fact25: 仮にその連結グループは座り直すし遣り繰りするとすると「おっきい」ということは成り立たない fact26: この死体腎ドナーは座り直さない fact27: この知的創造活動はキッチン鋏だ ; $hypothesis$ = その連結グループは生存出来る ; $proof$ = 
fact16 & fact9 -> int1: この死体腎ドナーは首尾一貫するし葡萄球菌だ; int1 -> int2: この死体腎ドナーは葡萄球菌だ; fact20 & fact10 -> int3: この死体腎ドナーは遣り繰りしない; fact8 -> int4: もしこの死体腎ドナーが遣り繰りしないとしたらそれはキッチン鋏だ; int3 & int4 -> int5: この死体腎ドナーはキッチン鋏である; int2 & int5 -> int6: この死体腎ドナーは葡萄球菌でその上キッチン鋏だ; fact6 -> int7: もしこの死体腎ドナーは葡萄球菌であるしキッチン鋏なら「それは注ぎ込まない」ということは事実だ; int6 & int7 -> int8: この死体腎ドナーは注ぎ込まない; int8 & fact17 -> int9: このドレステリアは逃走する; int9 & fact4 -> int10: その連結グループはおっきい; fact3 -> int11: もし仮にその連結グループはおっきいとしたら「それは生存出来る」ということは確かだ; int10 & int11 -> hypothesis; __PROVED__
事実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. 事実16と事実9から、推論1: "この死体腎ドナーは首尾一貫するし葡萄球菌だ"が導かれる
2. 推論1から、推論2: "この死体腎ドナーは葡萄球菌だ"が導かれる
3. 事実20と事実10から、推論3: "この死体腎ドナーは遣り繰りしない"が導かれる
4. 事実8から、推論4: "もしこの死体腎ドナーが遣り繰りしないとしたらそれはキッチン鋏だ"が導かれる
5. 推論3と推論4から、推論5: "この死体腎ドナーはキッチン鋏である"が導かれる
6. 推論2と推論5から、推論6: "この死体腎ドナーは葡萄球菌でその上キッチン鋏だ"が導かれる
7. 事実6から、推論7: "もしこの死体腎ドナーは葡萄球菌であるしキッチン鋏なら「それは注ぎ込まない」ということは事実だ"が導かれる
8. 推論6と推論7から、推論8: "この死体腎ドナーは注ぎ込まない"が導かれる
9. 推論8と事実17から、推論9: "このドレステリアは逃走する"が導かれる
10. 推論9と事実4から、推論10: "その連結グループはおっきい"が導かれる
11. 事実3から、推論11: "もし仮にその連結グループはおっきいとしたら「それは生存出来る」ということは確かだ"が導かれる
12. 推論10と推論11から、仮説が導かれる

よって、仮説が証明されました。