「この実行通知は操作し易いしまた容易い」ということは成り立たない
fact1: もしなんらかの物がモン・ダートフリークでないか皇民化なら「それは御めでたい」ということは確かだ fact2: この当該事業場はモン・ダートフリークであるかもしくはそれは皇民化である fact3: この当該事業場は記名押印しなくて有機化しない fact4: もしもこの当該事業場は御めでたいなら「あの実測出力は否めるし御めでたい」ということは事実と異なる fact5: この舌骨上筋群は操作し易くない fact6: この当該事業場はモン・ダートフリークでなくてしかも漸増しない fact7: もしも「あの実測出力は否めるけど御めでたくない」ということは事実と異なるとするとこの実行通知は陰性化でない fact8: 物珍しくないかあるいは可愛いかどちらもなものはまどろっこしい fact9: もし仮にこの当該事業場は否めるとすれば「あの実測出力は御めでたい一方でそれは否めない」ということは事実と異なる fact10: 「この当該事業場は操作し易い」ということは事実だ fact11: この十四参照はモン・ダートフリークでない fact12: もしもあの実測出力が御めでたいとしたらこの実行通知は陰性化でない fact13: もし仮にこの当該事業場は皇民化でないかモン・ダートフリークであるかまたは両方ともであるとするとそれは操作し易い fact14: 仮になにがしかの物は陰性化でないとしたら「操作し易くて更に容易い」ということは成り立たない fact15: 「あの実測出力は否めるし御めでたい」ということは本当でない fact16: もしもこの当該事業場は御めでたいとすれば「あの実測出力は否めるが御めでたいということはない」ということは偽だ fact17: この当該事業場は漸増しない
fact6 -> int1: この当該事業場はモン・ダートフリークでない; int1 -> int2: この当該事業場はモン・ダートフリークでないかあるいはそれは皇民化であるか両方である; fact1 -> int3: もし仮にこの当該事業場がモン・ダートフリークでないかあるいはそれは皇民化であるとすれば「御めでたい」ということは成り立つ; int2 & int3 -> int4: この当該事業場は御めでたい; int4 & fact16 -> int5: 「あの実測出力は否めるがしかし御めでたいということはない」ということは確かでない; int5 & fact7 -> int6: この実行通知は陰性化でない; fact14 -> int7: もしもこの実行通知は陰性化でないとすれば「操作し易くて加えて容易い」ということは間違いだ; int6 & int7 -> hypothesis;
$facts$ = fact1: もしなんらかの物がモン・ダートフリークでないか皇民化なら「それは御めでたい」ということは確かだ fact2: この当該事業場はモン・ダートフリークであるかもしくはそれは皇民化である fact3: この当該事業場は記名押印しなくて有機化しない fact4: もしもこの当該事業場は御めでたいなら「あの実測出力は否めるし御めでたい」ということは事実と異なる fact5: この舌骨上筋群は操作し易くない fact6: この当該事業場はモン・ダートフリークでなくてしかも漸増しない fact7: もしも「あの実測出力は否めるけど御めでたくない」ということは事実と異なるとするとこの実行通知は陰性化でない fact8: 物珍しくないかあるいは可愛いかどちらもなものはまどろっこしい fact9: もし仮にこの当該事業場は否めるとすれば「あの実測出力は御めでたい一方でそれは否めない」ということは事実と異なる fact10: 「この当該事業場は操作し易い」ということは事実だ fact11: この十四参照はモン・ダートフリークでない fact12: もしもあの実測出力が御めでたいとしたらこの実行通知は陰性化でない fact13: もし仮にこの当該事業場は皇民化でないかモン・ダートフリークであるかまたは両方ともであるとするとそれは操作し易い fact14: 仮になにがしかの物は陰性化でないとしたら「操作し易くて更に容易い」ということは成り立たない fact15: 「あの実測出力は否めるし御めでたい」ということは本当でない fact16: もしもこの当該事業場は御めでたいとすれば「あの実測出力は否めるが御めでたいということはない」ということは偽だ fact17: この当該事業場は漸増しない ; $hypothesis$ = 「この実行通知は操作し易いしまた容易い」ということは成り立たない ; $proof$ = 
fact6 -> int1: この当該事業場はモン・ダートフリークでない; int1 -> int2: この当該事業場はモン・ダートフリークでないかあるいはそれは皇民化であるか両方である; fact1 -> int3: もし仮にこの当該事業場がモン・ダートフリークでないかあるいはそれは皇民化であるとすれば「御めでたい」ということは成り立つ; int2 & int3 -> int4: この当該事業場は御めでたい; int4 & fact16 -> int5: 「あの実測出力は否めるがしかし御めでたいということはない」ということは確かでない; int5 & fact7 -> int6: この実行通知は陰性化でない; fact14 -> int7: もしもこの実行通知は陰性化でないとすれば「操作し易くて加えて容易い」ということは間違いだ; int6 & int7 -> hypothesis; __PROVED__
事実1: もしなんらかの物がモン・ダートフリークでないか皇民化なら「それは御めでたい」ということは確かだ
事実2: この当該事業場はモン・ダートフリークであるかもしくはそれは皇民化である
事実3: この当該事業場は記名押印しなくて有機化しない
事実4: もしもこの当該事業場は御めでたいなら「あの実測出力は否めるし御めでたい」ということは事実と異なる
事実5: この舌骨上筋群は操作し易くない
事実6: この当該事業場はモン・ダートフリークでなくてしかも漸増しない
事実7: もしも「あの実測出力は否めるけど御めでたくない」ということは事実と異なるとするとこの実行通知は陰性化でない
事実8: 物珍しくないかあるいは可愛いかどちらもなものはまどろっこしい
事実9: もし仮にこの当該事業場は否めるとすれば「あの実測出力は御めでたい一方でそれは否めない」ということは事実と異なる
事実10: 「この当該事業場は操作し易い」ということは事実だ
事実11: この十四参照はモン・ダートフリークでない
事実12: もしもあの実測出力が御めでたいとしたらこの実行通知は陰性化でない
事実13: もし仮にこの当該事業場は皇民化でないかモン・ダートフリークであるかまたは両方ともであるとするとそれは操作し易い
事実14: 仮になにがしかの物は陰性化でないとしたら「操作し易くて更に容易い」ということは成り立たない
事実15: 「あの実測出力は否めるし御めでたい」ということは本当でない
事実16: もしもこの当該事業場は御めでたいとすれば「あの実測出力は否めるが御めでたいということはない」ということは偽だ
事実17: この当該事業場は漸増しない

仮説: 「この実行通知は操作し易いしまた容易い」ということは成り立たない
1. 事実6から、推論1: "この当該事業場はモン・ダートフリークでない"が導かれる
2. 推論1から、推論2: "この当該事業場はモン・ダートフリークでないかあるいはそれは皇民化であるか両方である"が導かれる
3. 事実1から、推論3: "もし仮にこの当該事業場がモン・ダートフリークでないかあるいはそれは皇民化であるとすれば「御めでたい」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この当該事業場は御めでたい"が導かれる
5. 推論4と事実16から、推論5: "「あの実測出力は否めるがしかし御めでたいということはない」ということは確かでない"が導かれる
6. 推論5と事実7から、推論6: "この実行通知は陰性化でない"が導かれる
7. 事実14から、推論7: "もしもこの実行通知は陰性化でないとすれば「操作し易くて加えて容易い」ということは間違いだ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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