「その研究プログラムは御し易くない」ということは事実である
fact1: もしそのＬＡＮ環境がめでたしならばあのアイデアは求め得る fact2: もし仮に何かは手繰るとしたら「御し易いということはない」ということは成り立つ fact3: 「その長火箸はそっとするし加えて待機する」ということは間違っている fact4: 「この貸し出し市場は読み出せないがしかし考え難い」ということは誤っている fact5: 仮にその長火箸は待機しないししかも掴み合わないならばそれは耽読する fact6: もしなんらかのものが求め得るとしたら耽読しない fact7: もし仮に「あの同化分別結晶作用はめでたし」ということは成り立つならそのＬＡＮ環境はめでたし fact8: もしもその研究プログラムが手繰るならそれは御し易くない fact9: その長火箸は待機しないしそれにそれは掴み合わない fact10: なんらかのものはそっとするとすると「掴み合わないし加えて御し易い」ということは嘘である fact11: 「その研究プログラムはそっとするし待機する」ということは誤っている fact12: 「もしもその長火箸がそっとするけれどそれは耽読しないとすれば「その長火箸は手繰る」ということは事実である」ということは成り立つ fact13: もしもその長火箸が耽読すればその研究プログラムはそっとする fact14: なにがしかのものはそっとするなら「手繰らないしさらにそれは求め得る」ということは成り立たない fact15: その長火箸は求め得なくてそれに待機しない fact16: もし仮に「なにかは手繰らないが求め得る」ということは本当でないなら「御し易くない」ということは事実である fact17: もしもその長火箸がそっとする一方で御し易いということはないならその研究プログラムは御し易い
fact5 & fact9 -> int1: その長火箸は耽読する; int1 & fact13 -> int2: その研究プログラムはそっとする; fact14 -> int3: もしその研究プログラムはそっとするなら「それは手繰らなくて更に求め得る」ということは誤っている; int2 & int3 -> int4: 「その研究プログラムは手繰らない一方でそれは求め得る」ということは嘘だ; fact16 -> int5: もし仮に「その研究プログラムは手繰らないけれど求め得る」ということは偽であるとすればそれは御し易くない; int4 & int5 -> hypothesis;
その研究プログラムは御し易い
$facts$ = fact1: もしそのＬＡＮ環境がめでたしならばあのアイデアは求め得る fact2: もし仮に何かは手繰るとしたら「御し易いということはない」ということは成り立つ fact3: 「その長火箸はそっとするし加えて待機する」ということは間違っている fact4: 「この貸し出し市場は読み出せないがしかし考え難い」ということは誤っている fact5: 仮にその長火箸は待機しないししかも掴み合わないならばそれは耽読する fact6: もしなんらかのものが求め得るとしたら耽読しない fact7: もし仮に「あの同化分別結晶作用はめでたし」ということは成り立つならそのＬＡＮ環境はめでたし fact8: もしもその研究プログラムが手繰るならそれは御し易くない fact9: その長火箸は待機しないしそれにそれは掴み合わない fact10: なんらかのものはそっとするとすると「掴み合わないし加えて御し易い」ということは嘘である fact11: 「その研究プログラムはそっとするし待機する」ということは誤っている fact12: 「もしもその長火箸がそっとするけれどそれは耽読しないとすれば「その長火箸は手繰る」ということは事実である」ということは成り立つ fact13: もしもその長火箸が耽読すればその研究プログラムはそっとする fact14: なにがしかのものはそっとするなら「手繰らないしさらにそれは求め得る」ということは成り立たない fact15: その長火箸は求め得なくてそれに待機しない fact16: もし仮に「なにかは手繰らないが求め得る」ということは本当でないなら「御し易くない」ということは事実である fact17: もしもその長火箸がそっとする一方で御し易いということはないならその研究プログラムは御し易い ; $hypothesis$ = 「その研究プログラムは御し易くない」ということは事実である ; $proof$ = 
fact5 & fact9 -> int1: その長火箸は耽読する; int1 & fact13 -> int2: その研究プログラムはそっとする; fact14 -> int3: もしその研究プログラムはそっとするなら「それは手繰らなくて更に求め得る」ということは誤っている; int2 & int3 -> int4: 「その研究プログラムは手繰らない一方でそれは求め得る」ということは嘘だ; fact16 -> int5: もし仮に「その研究プログラムは手繰らないけれど求め得る」ということは偽であるとすればそれは御し易くない; int4 & int5 -> hypothesis; __PROVED__
事実1: もしそのＬＡＮ環境がめでたしならばあのアイデアは求め得る
事実2: もし仮に何かは手繰るとしたら「御し易いということはない」ということは成り立つ
事実3: 「その長火箸はそっとするし加えて待機する」ということは間違っている
事実4: 「この貸し出し市場は読み出せないがしかし考え難い」ということは誤っている
事実5: 仮にその長火箸は待機しないししかも掴み合わないならばそれは耽読する
事実6: もしなんらかのものが求め得るとしたら耽読しない
事実7: もし仮に「あの同化分別結晶作用はめでたし」ということは成り立つならそのＬＡＮ環境はめでたし
事実8: もしもその研究プログラムが手繰るならそれは御し易くない
事実9: その長火箸は待機しないしそれにそれは掴み合わない
事実10: なんらかのものはそっとするとすると「掴み合わないし加えて御し易い」ということは嘘である
事実11: 「その研究プログラムはそっとするし待機する」ということは誤っている
事実12: 「もしもその長火箸がそっとするけれどそれは耽読しないとすれば「その長火箸は手繰る」ということは事実である」ということは成り立つ
事実13: もしもその長火箸が耽読すればその研究プログラムはそっとする
事実14: なにがしかのものはそっとするなら「手繰らないしさらにそれは求め得る」ということは成り立たない
事実15: その長火箸は求め得なくてそれに待機しない
事実16: もし仮に「なにかは手繰らないが求め得る」ということは本当でないなら「御し易くない」ということは事実である
事実17: もしもその長火箸がそっとする一方で御し易いということはないならその研究プログラムは御し易い

仮説: 「その研究プログラムは御し易くない」ということは事実である
1. 事実5と事実9から、推論1: "その長火箸は耽読する"が導かれる
2. 推論1と事実13から、推論2: "その研究プログラムはそっとする"が導かれる
3. 事実14から、推論3: "もしその研究プログラムはそっとするなら「それは手繰らなくて更に求め得る」ということは誤っている"が導かれる
4. 推論2と推論3から、推論4: "「その研究プログラムは手繰らない一方でそれは求め得る」ということは嘘だ"が導かれる
5. 事実16から、推論5: "もし仮に「その研究プログラムは手繰らないけれど求め得る」ということは偽であるとすればそれは御し易くない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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