この陶磁器は利用し辛い
fact1: そのアスワンダムが落籍すとしたらそれは冷え易い fact2: 仮に「あの○○○番はくねくねするが利害関係者でない」ということは本当でないならあのテーブルは実行可能コードである fact3: とある物はくねくねしないとすれば「有り難くてそれは利害関係者だ」ということは間違いでない fact4: もし仮にあの○○○番が利害関係者だとするとあのテーブルはくねくねする fact5: そのアスワンダムは被保険者資格だ fact6: 「「そのアスワンダムはディジタル演算でなくて落籍さない」ということは成り立つ」ということは事実と異なるとすると「それは冷え易い」ということは本当だ fact7: 「仮にそのアスワンダムが実行可能コードだが参加するということはないとしたらそのアスワンダムは製造しない」ということは誤りでない fact8: そのアスワンダムは被保険者資格であるとすれば「それはディジタル演算でなくて落籍すということはない」ということは成り立たない fact9: もし仮にそのアスワンダムが冷え易いが利用し辛くないとすればこの陶磁器は利用し辛くない fact10: もしその戦闘時は製造しないとすると「「あのテーブルは実行可能コードだけれどそれは参加しない」ということは成り立つ」ということは嘘である fact11: 冷え易いものは実行可能コードである一方で参加しない fact12: もし「あの○○○番は被保険者資格だ」ということは事実であるならばそのアスワンダムは冷え易い一方で利用し辛くない fact13: そのアスワンダムは製造しないならば「「あの○○○番は有り難いけどそれは利害関係者であるということはない」ということは真実だ」ということは間違いである fact14: この一期工事が利害関係者だとすればあの戦闘時は製造しない fact15: もし「あの○○○番は有り難いけれど利害関係者でない」ということは誤りであるならあのテーブルはくねくねする fact16: あのテーブルがくねくねすればこの陶磁器は利用し辛い
fact8 & fact5 -> int1: 「そのアスワンダムはディジタル演算でなくておまけに落籍さない」ということは偽だ; int1 & fact6 -> int2: そのアスワンダムは冷え易い; fact11 -> int3: そのアスワンダムが冷え易いとすると実行可能コードであるしそれは参加しない; int2 & int3 -> int4: そのアスワンダムは実行可能コードだ一方でそれは参加しない; int4 & fact7 -> int5: そのアスワンダムは製造しない; int5 & fact13 -> int6: 「あの○○○番は有り難い一方で利害関係者でない」ということは成り立つということはない; int6 & fact15 -> int7: あのテーブルはくねくねする; int7 & fact16 -> hypothesis;
この陶磁器は利用し辛くない
fact20 -> int8: 仮にこの一期工事がくねくねしないとしたら有り難くて利害関係者である;
$facts$ = fact1: そのアスワンダムが落籍すとしたらそれは冷え易い fact2: 仮に「あの○○○番はくねくねするが利害関係者でない」ということは本当でないならあのテーブルは実行可能コードである fact3: とある物はくねくねしないとすれば「有り難くてそれは利害関係者だ」ということは間違いでない fact4: もし仮にあの○○○番が利害関係者だとするとあのテーブルはくねくねする fact5: そのアスワンダムは被保険者資格だ fact6: 「「そのアスワンダムはディジタル演算でなくて落籍さない」ということは成り立つ」ということは事実と異なるとすると「それは冷え易い」ということは本当だ fact7: 「仮にそのアスワンダムが実行可能コードだが参加するということはないとしたらそのアスワンダムは製造しない」ということは誤りでない fact8: そのアスワンダムは被保険者資格であるとすれば「それはディジタル演算でなくて落籍すということはない」ということは成り立たない fact9: もし仮にそのアスワンダムが冷え易いが利用し辛くないとすればこの陶磁器は利用し辛くない fact10: もしその戦闘時は製造しないとすると「「あのテーブルは実行可能コードだけれどそれは参加しない」ということは成り立つ」ということは嘘である fact11: 冷え易いものは実行可能コードである一方で参加しない fact12: もし「あの○○○番は被保険者資格だ」ということは事実であるならばそのアスワンダムは冷え易い一方で利用し辛くない fact13: そのアスワンダムは製造しないならば「「あの○○○番は有り難いけどそれは利害関係者であるということはない」ということは真実だ」ということは間違いである fact14: この一期工事が利害関係者だとすればあの戦闘時は製造しない fact15: もし「あの○○○番は有り難いけれど利害関係者でない」ということは誤りであるならあのテーブルはくねくねする fact16: あのテーブルがくねくねすればこの陶磁器は利用し辛い ; $hypothesis$ = この陶磁器は利用し辛い ; $proof$ = 
fact8 & fact5 -> int1: 「そのアスワンダムはディジタル演算でなくておまけに落籍さない」ということは偽だ; int1 & fact6 -> int2: そのアスワンダムは冷え易い; fact11 -> int3: そのアスワンダムが冷え易いとすると実行可能コードであるしそれは参加しない; int2 & int3 -> int4: そのアスワンダムは実行可能コードだ一方でそれは参加しない; int4 & fact7 -> int5: そのアスワンダムは製造しない; int5 & fact13 -> int6: 「あの○○○番は有り難い一方で利害関係者でない」ということは成り立つということはない; int6 & fact15 -> int7: あのテーブルはくねくねする; int7 & fact16 -> hypothesis; __PROVED__
事実1: そのアスワンダムが落籍すとしたらそれは冷え易い
事実2: 仮に「あの○○○番はくねくねするが利害関係者でない」ということは本当でないならあのテーブルは実行可能コードである
事実3: とある物はくねくねしないとすれば「有り難くてそれは利害関係者だ」ということは間違いでない
事実4: もし仮にあの○○○番が利害関係者だとするとあのテーブルはくねくねする
事実5: そのアスワンダムは被保険者資格だ
事実6: 「「そのアスワンダムはディジタル演算でなくて落籍さない」ということは成り立つ」ということは事実と異なるとすると「それは冷え易い」ということは本当だ
事実7: 「仮にそのアスワンダムが実行可能コードだが参加するということはないとしたらそのアスワンダムは製造しない」ということは誤りでない
事実8: そのアスワンダムは被保険者資格であるとすれば「それはディジタル演算でなくて落籍すということはない」ということは成り立たない
事実9: もし仮にそのアスワンダムが冷え易いが利用し辛くないとすればこの陶磁器は利用し辛くない
事実10: もしその戦闘時は製造しないとすると「「あのテーブルは実行可能コードだけれどそれは参加しない」ということは成り立つ」ということは嘘である
事実11: 冷え易いものは実行可能コードである一方で参加しない
事実12: もし「あの○○○番は被保険者資格だ」ということは事実であるならばそのアスワンダムは冷え易い一方で利用し辛くない
事実13: そのアスワンダムは製造しないならば「「あの○○○番は有り難いけどそれは利害関係者であるということはない」ということは真実だ」ということは間違いである
事実14: この一期工事が利害関係者だとすればあの戦闘時は製造しない
事実15: もし「あの○○○番は有り難いけれど利害関係者でない」ということは誤りであるならあのテーブルはくねくねする
事実16: あのテーブルがくねくねすればこの陶磁器は利用し辛い

仮説: この陶磁器は利用し辛い
1. 事実8と事実5から、推論1: "「そのアスワンダムはディジタル演算でなくておまけに落籍さない」ということは偽だ"が導かれる
2. 推論1と事実6から、推論2: "そのアスワンダムは冷え易い"が導かれる
3. 事実11から、推論3: "そのアスワンダムが冷え易いとすると実行可能コードであるしそれは参加しない"が導かれる
4. 推論2と推論3から、推論4: "そのアスワンダムは実行可能コードだ一方でそれは参加しない"が導かれる
5. 推論4と事実7から、推論5: "そのアスワンダムは製造しない"が導かれる
6. 推論5と事実13から、推論6: "「あの○○○番は有り難い一方で利害関係者でない」ということは成り立つということはない"が導かれる
7. 推論6と事実15から、推論7: "あのテーブルはくねくねする"が導かれる
8. 推論7と事実16から、仮説が導かれる

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