あの岡本モデルは恐ろしい
fact1: もしもその技術内容が運命付けるとしたらあの岡本モデルは運命付ける fact2: 「運命付けるということはなくてかつコロイド分散系でない」ものがあるならばあの岡本モデルは恐ろしい fact3: 長岡京遷都があるならばあの都市計画審議会は運命付けないしそれはコロイド分散系でない fact4: なにかはコロイド分散系でないけどロイヤルである fact5: あのワークステーション上は和訳しない fact6: あの岡本モデルが掘り続けるししかも運命付けるとするとあの都市計画審議会は運命付けるということはない fact7: もし「あのワークステーション上は掘り続けないかまたは寝ぬか両方ともである」ということは間違っているとするとあの岡本モデルは掘り続ける fact8: 「もし「ルビである」ものがあるとすればこの共同申請書は長岡京遷都であるし更にロイヤルだ」ということは本当である fact9: もし「ルビでない」物はあるとすると「この共同申請書はルビであるしさらにそれはロイヤルである」ということは事実と異なる fact10: もし仮に「ある物はルビであるしまたそれはロイヤルだ」ということは誤っているとすると「ルビでない」ということは成り立つ fact11: もしもあのワークステーション上は和訳しないとしたら「掘り続けないかそれは寝ぬかあるいは両方ともだ」ということは嘘である fact12: ある物はルビである fact13: 仮になんらかのものはロイヤルでないならば「それはルビだしおまけに長岡京遷都だ」ということは真実だ fact14: もしある物がコロイド分散系ならばあの都市計画審議会は恐ろしくて運命付ける fact15: もし仮にこの共同申請書がルビでないけれどそれが恐ろしいとするとあの岡本モデルは恐ろしくない fact16: もしもこの共同申請書はルビなら「この昇進は恐ろしくなくて飲み易くない」ということは本当である fact17: その技術内容はルビでない
fact12 & fact8 -> int1: この共同申請書は長岡京遷都であるしまたロイヤルである; int1 -> int2: この共同申請書は長岡京遷都だ; int2 -> int3: なにがしかの物は長岡京遷都である; int3 & fact3 -> int4: あの都市計画審議会は運命付けるということはないしコロイド分散系でない; int4 -> int5: なにかは運命付けないしおまけにコロイド分散系でない; int5 & fact2 -> hypothesis;
あの岡本モデルは恐ろしいということはない
fact19 -> int6: もしも「この共同申請書はルビであるししかもそれはロイヤルだ」ということは成り立たないならばルビだということはない; fact20 -> int7: 「ルビでない」ものはある; int7 & fact21 -> int8: 「この共同申請書はルビでおまけにロイヤルである」ということは事実だということはない; int6 & int8 -> int9: この共同申請書はルビでない;
$facts$ = fact1: もしもその技術内容が運命付けるとしたらあの岡本モデルは運命付ける fact2: 「運命付けるということはなくてかつコロイド分散系でない」ものがあるならばあの岡本モデルは恐ろしい fact3: 長岡京遷都があるならばあの都市計画審議会は運命付けないしそれはコロイド分散系でない fact4: なにかはコロイド分散系でないけどロイヤルである fact5: あのワークステーション上は和訳しない fact6: あの岡本モデルが掘り続けるししかも運命付けるとするとあの都市計画審議会は運命付けるということはない fact7: もし「あのワークステーション上は掘り続けないかまたは寝ぬか両方ともである」ということは間違っているとするとあの岡本モデルは掘り続ける fact8: 「もし「ルビである」ものがあるとすればこの共同申請書は長岡京遷都であるし更にロイヤルだ」ということは本当である fact9: もし「ルビでない」物はあるとすると「この共同申請書はルビであるしさらにそれはロイヤルである」ということは事実と異なる fact10: もし仮に「ある物はルビであるしまたそれはロイヤルだ」ということは誤っているとすると「ルビでない」ということは成り立つ fact11: もしもあのワークステーション上は和訳しないとしたら「掘り続けないかそれは寝ぬかあるいは両方ともだ」ということは嘘である fact12: ある物はルビである fact13: 仮になんらかのものはロイヤルでないならば「それはルビだしおまけに長岡京遷都だ」ということは真実だ fact14: もしある物がコロイド分散系ならばあの都市計画審議会は恐ろしくて運命付ける fact15: もし仮にこの共同申請書がルビでないけれどそれが恐ろしいとするとあの岡本モデルは恐ろしくない fact16: もしもこの共同申請書はルビなら「この昇進は恐ろしくなくて飲み易くない」ということは本当である fact17: その技術内容はルビでない ; $hypothesis$ = あの岡本モデルは恐ろしい ; $proof$ = 
fact12 & fact8 -> int1: この共同申請書は長岡京遷都であるしまたロイヤルである; int1 -> int2: この共同申請書は長岡京遷都だ; int2 -> int3: なにがしかの物は長岡京遷都である; int3 & fact3 -> int4: あの都市計画審議会は運命付けるということはないしコロイド分散系でない; int4 -> int5: なにかは運命付けないしおまけにコロイド分散系でない; int5 & fact2 -> hypothesis; __PROVED__
事実1: もしもその技術内容が運命付けるとしたらあの岡本モデルは運命付ける
事実2: 「運命付けるということはなくてかつコロイド分散系でない」ものがあるならばあの岡本モデルは恐ろしい
事実3: 長岡京遷都があるならばあの都市計画審議会は運命付けないしそれはコロイド分散系でない
事実4: なにかはコロイド分散系でないけどロイヤルである
事実5: あのワークステーション上は和訳しない
事実6: あの岡本モデルが掘り続けるししかも運命付けるとするとあの都市計画審議会は運命付けるということはない
事実7: もし「あのワークステーション上は掘り続けないかまたは寝ぬか両方ともである」ということは間違っているとするとあの岡本モデルは掘り続ける
事実8: 「もし「ルビである」ものがあるとすればこの共同申請書は長岡京遷都であるし更にロイヤルだ」ということは本当である
事実9: もし「ルビでない」物はあるとすると「この共同申請書はルビであるしさらにそれはロイヤルである」ということは事実と異なる
事実10: もし仮に「ある物はルビであるしまたそれはロイヤルだ」ということは誤っているとすると「ルビでない」ということは成り立つ
事実11: もしもあのワークステーション上は和訳しないとしたら「掘り続けないかそれは寝ぬかあるいは両方ともだ」ということは嘘である
事実12: ある物はルビである
事実13: 仮になんらかのものはロイヤルでないならば「それはルビだしおまけに長岡京遷都だ」ということは真実だ
事実14: もしある物がコロイド分散系ならばあの都市計画審議会は恐ろしくて運命付ける
事実15: もし仮にこの共同申請書がルビでないけれどそれが恐ろしいとするとあの岡本モデルは恐ろしくない
事実16: もしもこの共同申請書はルビなら「この昇進は恐ろしくなくて飲み易くない」ということは本当である
事実17: その技術内容はルビでない

仮説: あの岡本モデルは恐ろしい
1. 事実12と事実8から、推論1: "この共同申請書は長岡京遷都であるしまたロイヤルである"が導かれる
2. 推論1から、推論2: "この共同申請書は長岡京遷都だ"が導かれる
3. 推論2から、推論3: "なにがしかの物は長岡京遷都である"が導かれる
4. 推論3と事実3から、推論4: "あの都市計画審議会は運命付けるということはないしコロイド分散系でない"が導かれる
5. 推論4から、推論5: "なにかは運命付けないしおまけにコロイド分散系でない"が導かれる
6. 推論5と事実2から、仮説が導かれる

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