この営業部は判断し難い
fact1: もし「この営業部は厭わしくない」ということは成り立てばそれはなあい fact2: この営業部は着膨れないがしかし経済計画である fact3: 「この営業部は乗り移るししかも発行部数だ」ということは成り立たない fact4: この営業部は乗り移らない fact5: この営業部は刻み付けないとしたら「それは乗り移るし発行部数だ」ということは誤っている fact6: もしもその御覧は飼料穀物であるしおまけに七転八倒であるとすればそれは幼けなくない fact7: なんらかのものが恐ろしくないとしたら判断し難い fact8: もしこの営業部が刻み付けるとすればそれは飼料穀物だ fact9: この営業部は田舎っぽい fact10: もしとある物は与し易くないとすれば「名分でないしそれは二律背反だ」ということは嘘である fact11: あの東西方向は乗り移る fact12: 恐ろしくない物は刻み付けるし飼料穀物である fact13: この営業部は主系列星だ fact14: この営業部は乗り移らないけどそれは発行部数だ fact15: 仮になにがしかの物は刻み付けないならば「それは乗り移るししかも発行部数である」ということは成り立たない fact16: この営業部は懐っこくない一方でそれは習わす fact17: もし仮にこの技術屋はＫオンドゥーでないならそれは被覆する fact18: 「もしあの特別養子は刻み付けるとしたら「その情けは判断し難いけどそれは飼料穀物でない」ということは成り立つということはない」ということは成り立つ fact19: もし田舎っぽい物が飼料穀物だとしたらそれは恐ろしくない fact20: もし仮にある物は刻み付けないなら「それは乗り移らない一方で発行部数だ」ということは成り立たない
fact20 -> int1: この営業部は刻み付けないとすれば「それは乗り移るということはないけど発行部数である」ということは間違いだ; void -> assump1: 以下のように仮定する。この営業部は刻み付けない; int1 & assump1 -> int2: 「この営業部は乗り移るということはないけど発行部数である」ということは偽である; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: この営業部は刻み付ける; int4 & fact8 -> int5: この営業部は飼料穀物である; int5 & fact9 -> int6: この営業部は田舎っぽくて更に飼料穀物だ; fact19 -> int7: 仮にこの営業部は田舎っぽいし飼料穀物だとすると恐ろしくない; int6 & int7 -> int8: この営業部は恐ろしくない; fact7 -> int9: 仮にこの営業部が恐ろしくないとすれば判断し難い; int8 & int9 -> hypothesis;
「この営業部は判断し難くない」ということは正しい
$facts$ = fact1: もし「この営業部は厭わしくない」ということは成り立てばそれはなあい fact2: この営業部は着膨れないがしかし経済計画である fact3: 「この営業部は乗り移るししかも発行部数だ」ということは成り立たない fact4: この営業部は乗り移らない fact5: この営業部は刻み付けないとしたら「それは乗り移るし発行部数だ」ということは誤っている fact6: もしもその御覧は飼料穀物であるしおまけに七転八倒であるとすればそれは幼けなくない fact7: なんらかのものが恐ろしくないとしたら判断し難い fact8: もしこの営業部が刻み付けるとすればそれは飼料穀物だ fact9: この営業部は田舎っぽい fact10: もしとある物は与し易くないとすれば「名分でないしそれは二律背反だ」ということは嘘である fact11: あの東西方向は乗り移る fact12: 恐ろしくない物は刻み付けるし飼料穀物である fact13: この営業部は主系列星だ fact14: この営業部は乗り移らないけどそれは発行部数だ fact15: 仮になにがしかの物は刻み付けないならば「それは乗り移るししかも発行部数である」ということは成り立たない fact16: この営業部は懐っこくない一方でそれは習わす fact17: もし仮にこの技術屋はＫオンドゥーでないならそれは被覆する fact18: 「もしあの特別養子は刻み付けるとしたら「その情けは判断し難いけどそれは飼料穀物でない」ということは成り立つということはない」ということは成り立つ fact19: もし田舎っぽい物が飼料穀物だとしたらそれは恐ろしくない fact20: もし仮にある物は刻み付けないなら「それは乗り移らない一方で発行部数だ」ということは成り立たない ; $hypothesis$ = この営業部は判断し難い ; $proof$ = 
fact20 -> int1: この営業部は刻み付けないとすれば「それは乗り移るということはないけど発行部数である」ということは間違いだ; void -> assump1: 以下のように仮定する。この営業部は刻み付けない; int1 & assump1 -> int2: 「この営業部は乗り移るということはないけど発行部数である」ということは偽である; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: この営業部は刻み付ける; int4 & fact8 -> int5: この営業部は飼料穀物である; int5 & fact9 -> int6: この営業部は田舎っぽくて更に飼料穀物だ; fact19 -> int7: 仮にこの営業部は田舎っぽいし飼料穀物だとすると恐ろしくない; int6 & int7 -> int8: この営業部は恐ろしくない; fact7 -> int9: 仮にこの営業部が恐ろしくないとすれば判断し難い; int8 & int9 -> hypothesis; __PROVED__
事実1: もし「この営業部は厭わしくない」ということは成り立てばそれはなあい
事実2: この営業部は着膨れないがしかし経済計画である
事実3: 「この営業部は乗り移るししかも発行部数だ」ということは成り立たない
事実4: この営業部は乗り移らない
事実5: この営業部は刻み付けないとしたら「それは乗り移るし発行部数だ」ということは誤っている
事実6: もしもその御覧は飼料穀物であるしおまけに七転八倒であるとすればそれは幼けなくない
事実7: なんらかのものが恐ろしくないとしたら判断し難い
事実8: もしこの営業部が刻み付けるとすればそれは飼料穀物だ
事実9: この営業部は田舎っぽい
事実10: もしとある物は与し易くないとすれば「名分でないしそれは二律背反だ」ということは嘘である
事実11: あの東西方向は乗り移る
事実12: 恐ろしくない物は刻み付けるし飼料穀物である
事実13: この営業部は主系列星だ
事実14: この営業部は乗り移らないけどそれは発行部数だ
事実15: 仮になにがしかの物は刻み付けないならば「それは乗り移るししかも発行部数である」ということは成り立たない
事実16: この営業部は懐っこくない一方でそれは習わす
事実17: もし仮にこの技術屋はＫオンドゥーでないならそれは被覆する
事実18: 「もしあの特別養子は刻み付けるとしたら「その情けは判断し難いけどそれは飼料穀物でない」ということは成り立つということはない」ということは成り立つ
事実19: もし田舎っぽい物が飼料穀物だとしたらそれは恐ろしくない
事実20: もし仮にある物は刻み付けないなら「それは乗り移らない一方で発行部数だ」ということは成り立たない

仮説: この営業部は判断し難い
1. 事実20から、推論1: "この営業部は刻み付けないとすれば「それは乗り移るということはないけど発行部数である」ということは間違いだ"が導かれる
2. 仮定1: 以下のように仮定する。この営業部は刻み付けない
3. 推論1と仮定1から、推論2: "「この営業部は乗り移るということはないけど発行部数である」ということは偽である"が導かれる
4. 推論2と事実14から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この営業部は刻み付ける"が導かれる
6. 推論4と事実8から、推論5: "この営業部は飼料穀物である"が導かれる
7. 推論5と事実9から、推論6: "この営業部は田舎っぽくて更に飼料穀物だ"が導かれる
8. 事実19から、推論7: "仮にこの営業部は田舎っぽいし飼料穀物だとすると恐ろしくない"が導かれる
9. 推論6と推論7から、推論8: "この営業部は恐ろしくない"が導かれる
10. 事実7から、推論9: "仮にこの営業部が恐ろしくないとすれば判断し難い"が導かれる
11. 推論8と推論9から、仮説が導かれる

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