あの文明は列挙しない
fact1: もしもこの征服が奨学だとすればそれは再吸収である fact2: もしこの近代課程が反落するとするとこの御人柄は出来易くないし給湯室でない fact3: もし仮に「なにかは引っ張り剪断試験でないし加えて刮げるということはない」ということは成り立たないとしたらそれは望ましい fact4: 「「きついか断念しない」ということは正しくない」ものはある fact5: 「実弾な」物はある fact6: 仮にそのプロブレムが望ましいとしたらあの文明は出来易い fact7: もし仮に「「きついか断念しない」ということは事実と異なる」物があるならこの征服は奨学である fact8: もし仮に何らかのものは実弾であるとすれば「この御人柄は実弾でなくてかつ給湯室でない」ということは成り立たない fact9: 「この御人柄は実弾であるということはなくて加えてそれは給湯室でない」ということは間違いであるならばあの文明は給湯室でない fact10: 仮にこの題材設定が心安いとするとこの近代課程は反落する fact11: 引っ張り剪断試験でなくておまけに刮げるないというものはない fact12: 仮に出来易くないものは給湯室でないならそれは望ましい fact13: もし「給湯室である」物はあるとすれば「そのプロブレムは給湯室でないしそれは刮げるない」ということは成り立たない fact14: もしあの文明が反落するとするとそれは列挙する fact15: もしあの文明が出来易いがしかし給湯室であるということはないならば反落する fact16: 仮にその確定コマンドボタンが哲学でないとするとこの題材設定は心安いししかも実弾だ fact17: もしこの征服が再吸収だししかもそれが哲学だとしたらその確定コマンドボタンは哲学でない
fact11 -> int1: 「そのプロブレムは引っ張り剪断試験でなくてその上刮げるということはない」ということは間違いだ; fact3 -> int2: もしも「そのプロブレムは引っ張り剪断試験でないし更に刮げるない」ということは事実でないなら「望ましい」ということは成り立つ; int1 & int2 -> int3: 「そのプロブレムは望ましい」ということは確かだ; int3 & fact6 -> int4: 「あの文明は出来易い」ということは確かである; fact8 & fact5 -> int5: 「この御人柄は実弾であるということはなくてそれにそれは給湯室でない」ということは誤っている; int5 & fact9 -> int6: あの文明は給湯室でない; int4 & int6 -> int7: あの文明は出来易いがそれは給湯室でない; int7 & fact15 -> int8: あの文明は反落する; int8 & fact14 -> hypothesis;
あの文明は列挙しない
fact23 -> int9: もし仮にこの御人柄は出来易くないものでおまけに給湯室でないなら望ましい; fact18 & fact24 -> int10: この征服は奨学である; fact20 & int10 -> int11: この征服は再吸収だ;
$facts$ = fact1: もしもこの征服が奨学だとすればそれは再吸収である fact2: もしこの近代課程が反落するとするとこの御人柄は出来易くないし給湯室でない fact3: もし仮に「なにかは引っ張り剪断試験でないし加えて刮げるということはない」ということは成り立たないとしたらそれは望ましい fact4: 「「きついか断念しない」ということは正しくない」ものはある fact5: 「実弾な」物はある fact6: 仮にそのプロブレムが望ましいとしたらあの文明は出来易い fact7: もし仮に「「きついか断念しない」ということは事実と異なる」物があるならこの征服は奨学である fact8: もし仮に何らかのものは実弾であるとすれば「この御人柄は実弾でなくてかつ給湯室でない」ということは成り立たない fact9: 「この御人柄は実弾であるということはなくて加えてそれは給湯室でない」ということは間違いであるならばあの文明は給湯室でない fact10: 仮にこの題材設定が心安いとするとこの近代課程は反落する fact11: 引っ張り剪断試験でなくておまけに刮げるないというものはない fact12: 仮に出来易くないものは給湯室でないならそれは望ましい fact13: もし「給湯室である」物はあるとすれば「そのプロブレムは給湯室でないしそれは刮げるない」ということは成り立たない fact14: もしあの文明が反落するとするとそれは列挙する fact15: もしあの文明が出来易いがしかし給湯室であるということはないならば反落する fact16: 仮にその確定コマンドボタンが哲学でないとするとこの題材設定は心安いししかも実弾だ fact17: もしこの征服が再吸収だししかもそれが哲学だとしたらその確定コマンドボタンは哲学でない ; $hypothesis$ = あの文明は列挙しない ; $proof$ = 
fact11 -> int1: 「そのプロブレムは引っ張り剪断試験でなくてその上刮げるということはない」ということは間違いだ; fact3 -> int2: もしも「そのプロブレムは引っ張り剪断試験でないし更に刮げるない」ということは事実でないなら「望ましい」ということは成り立つ; int1 & int2 -> int3: 「そのプロブレムは望ましい」ということは確かだ; int3 & fact6 -> int4: 「あの文明は出来易い」ということは確かである; fact8 & fact5 -> int5: 「この御人柄は実弾であるということはなくてそれにそれは給湯室でない」ということは誤っている; int5 & fact9 -> int6: あの文明は給湯室でない; int4 & int6 -> int7: あの文明は出来易いがそれは給湯室でない; int7 & fact15 -> int8: あの文明は反落する; int8 & fact14 -> hypothesis; __DISPROVED__
事実1: もしもこの征服が奨学だとすればそれは再吸収である
事実2: もしこの近代課程が反落するとするとこの御人柄は出来易くないし給湯室でない
事実3: もし仮に「なにかは引っ張り剪断試験でないし加えて刮げるということはない」ということは成り立たないとしたらそれは望ましい
事実4: 「「きついか断念しない」ということは正しくない」ものはある
事実5: 「実弾な」物はある
事実6: 仮にそのプロブレムが望ましいとしたらあの文明は出来易い
事実7: もし仮に「「きついか断念しない」ということは事実と異なる」物があるならこの征服は奨学である
事実8: もし仮に何らかのものは実弾であるとすれば「この御人柄は実弾でなくてかつ給湯室でない」ということは成り立たない
事実9: 「この御人柄は実弾であるということはなくて加えてそれは給湯室でない」ということは間違いであるならばあの文明は給湯室でない
事実10: 仮にこの題材設定が心安いとするとこの近代課程は反落する
事実11: 引っ張り剪断試験でなくておまけに刮げるないというものはない
事実12: 仮に出来易くないものは給湯室でないならそれは望ましい
事実13: もし「給湯室である」物はあるとすれば「そのプロブレムは給湯室でないしそれは刮げるない」ということは成り立たない
事実14: もしあの文明が反落するとするとそれは列挙する
事実15: もしあの文明が出来易いがしかし給湯室であるということはないならば反落する
事実16: 仮にその確定コマンドボタンが哲学でないとするとこの題材設定は心安いししかも実弾だ
事実17: もしこの征服が再吸収だししかもそれが哲学だとしたらその確定コマンドボタンは哲学でない

仮説: あの文明は列挙しない
1. 事実11から、推論1: "「そのプロブレムは引っ張り剪断試験でなくてその上刮げるということはない」ということは間違いだ"が導かれる
2. 事実3から、推論2: "もしも「そのプロブレムは引っ張り剪断試験でないし更に刮げるない」ということは事実でないなら「望ましい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "「そのプロブレムは望ましい」ということは確かだ"が導かれる
4. 推論3と事実6から、推論4: "「あの文明は出来易い」ということは確かである"が導かれる
5. 事実8と事実5から、推論5: "「この御人柄は実弾であるということはなくてそれにそれは給湯室でない」ということは誤っている"が導かれる
6. 推論5と事実9から、推論6: "あの文明は給湯室でない"が導かれる
7. 推論4と推論6から、推論7: "あの文明は出来易いがそれは給湯室でない"が導かれる
8. 推論7と事実15から、推論8: "あの文明は反落する"が導かれる
9. 推論8と事実14から、仮説が否定される

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