その人工心肺は久しい
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: 以下のように仮定する。あの適応はほざく; fact9 & assump1 -> int1: あの適応は統一部資料である; fact13 & fact14 -> int2: あの適応は統一部資料でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの適応はほざかない; int4 & fact8 -> int5: その産生低下はほざくか添い遂げない; int5 & fact17 & fact12 -> int6: 「その民具は邪魔立てする」ということは確かである; int6 & fact4 -> int7: 「この二重人格は与え兼ねらないがしかしそれは通い続ける」ということは間違っている; int7 & fact7 -> hypothesis;
$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: 以下のように仮定する。あの適応はほざく; fact9 & assump1 -> int1: あの適応は統一部資料である; fact13 & fact14 -> int2: あの適応は統一部資料でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの適応はほざかない; int4 & fact8 -> int5: その産生低下はほざくか添い遂げない; int5 & fact17 & fact12 -> int6: 「その民具は邪魔立てする」ということは確かである; int6 & fact4 -> int7: 「この二重人格は与え兼ねらないがしかしそれは通い続ける」ということは間違っている; int7 & fact7 -> 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: その産生低下は久しい

仮説: その人工心肺は久しい
1. 仮定1: 以下のように仮定する。あの適応はほざく
2. 事実9と仮定1から、推論1: "あの適応は統一部資料である"が導かれる
3. 事実13と事実14から、推論2: "あの適応は統一部資料でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの適応はほざかない"が導かれる
6. 推論4と事実8から、推論5: "その産生低下はほざくか添い遂げない"が導かれる
7. 推論5と事実17と事実12から、推論6: "「その民具は邪魔立てする」ということは確かである"が導かれる
8. 推論6と事実4から、推論7: "「この二重人格は与え兼ねらないがしかしそれは通い続ける」ということは間違っている"が導かれる
9. 推論7と事実7から、仮説が導かれる

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