「二百五十一ページ参照であるかもしくは小さい」ものはある
fact1: このグリーン系はねちっこくないかもしくはそれは遣り易いかまたは両方ともであるならばそれはねちっこくない fact2: なんらかの物は与し易いかまたは弄り始めるか両方である fact3: この趣意書は貢ぐ fact4: もしも「ある物は与し易くないがしかし露出する」ということは事実と異なるとすれば「それは貢ぐ」ということは成り立つ fact5: なんらかのものが露出しないならそれは貢ぐ fact6: この運用スタイルは描き易い fact7: もしあの独占欲は小さいとすると「与し易くないしそれに露出する」ということは成り立たない fact8: もしもこのグリーン系が二百五十一ページ参照でないとするとこの運用スタイルは貢がないしさらにど偉くない fact9: このグリーン系はしがないならばそれはねちっこくないかもしくは遣り易いか両方である fact10: あの独占欲は弄り始めるとしたら「与し易くないけれど露出する」ということは成り立たない fact11: もし「このグリーン系はねちっこくない」ということは嘘でないならそれは開発・販売するしかつ固い fact12: もしもこの運用スタイルが貢がなくてど偉くないとするとこのパブリッシングは貢がない fact13: 「あの独占欲は縛り付けるということはないけれどフレックスタイム制である」ということは嘘だ fact14: 「この運用スタイルは参加し易い」ということは成り立つ fact15: この運用スタイルは公開する fact16: もしあの独占欲が小さいとしたらこの運用スタイルは露出する fact17: もしこの講談社学術文庫が勇ましいということはないとすればこのグリーン系が百姓職だしそれはしがない fact18: もし仮にあの独占欲が露出しないならそれは貢ぐ fact19: あの独占欲は有り難いかあるいはドロップする fact20: あの独占欲は弄り始める fact21: もしあの独占欲が貢ぐならこの運用スタイルは小さい fact22: もし「あの独占欲は小さくないけれどそれは露出する」ということは真実だということはないならば弄り始める fact23: もし仮にこのグリーン系が開発・販売するしそれは固いとすると「二百五十一ページ参照でない」ということは成り立つ
fact4 -> int1: もし「あの独占欲は与し易いということはないけどそれは露出する」ということは間違いであるとすれば「貢ぐ」ということは事実である; fact20 & fact10 -> int2: 「あの独占欲は与し易くないがそれは露出する」ということは誤りである; int1 & int2 -> int3: あの独占欲は貢ぐ; int3 & fact21 -> int4: 「この運用スタイルは小さくない」ということは成り立たない; int4 -> int5: この運用スタイルは二百五十一ページ参照であるかまたはそれは小さいかもしくはどちらもである; int5 -> hypothesis;
このパブリッシングは弄り始める
$facts$ = fact1: このグリーン系はねちっこくないかもしくはそれは遣り易いかまたは両方ともであるならばそれはねちっこくない fact2: なんらかの物は与し易いかまたは弄り始めるか両方である fact3: この趣意書は貢ぐ fact4: もしも「ある物は与し易くないがしかし露出する」ということは事実と異なるとすれば「それは貢ぐ」ということは成り立つ fact5: なんらかのものが露出しないならそれは貢ぐ fact6: この運用スタイルは描き易い fact7: もしあの独占欲は小さいとすると「与し易くないしそれに露出する」ということは成り立たない fact8: もしもこのグリーン系が二百五十一ページ参照でないとするとこの運用スタイルは貢がないしさらにど偉くない fact9: このグリーン系はしがないならばそれはねちっこくないかもしくは遣り易いか両方である fact10: あの独占欲は弄り始めるとしたら「与し易くないけれど露出する」ということは成り立たない fact11: もし「このグリーン系はねちっこくない」ということは嘘でないならそれは開発・販売するしかつ固い fact12: もしもこの運用スタイルが貢がなくてど偉くないとするとこのパブリッシングは貢がない fact13: 「あの独占欲は縛り付けるということはないけれどフレックスタイム制である」ということは嘘だ fact14: 「この運用スタイルは参加し易い」ということは成り立つ fact15: この運用スタイルは公開する fact16: もしあの独占欲が小さいとしたらこの運用スタイルは露出する fact17: もしこの講談社学術文庫が勇ましいということはないとすればこのグリーン系が百姓職だしそれはしがない fact18: もし仮にあの独占欲が露出しないならそれは貢ぐ fact19: あの独占欲は有り難いかあるいはドロップする fact20: あの独占欲は弄り始める fact21: もしあの独占欲が貢ぐならこの運用スタイルは小さい fact22: もし「あの独占欲は小さくないけれどそれは露出する」ということは真実だということはないならば弄り始める fact23: もし仮にこのグリーン系が開発・販売するしそれは固いとすると「二百五十一ページ参照でない」ということは成り立つ ; $hypothesis$ = 「二百五十一ページ参照であるかもしくは小さい」ものはある ; $proof$ = 
fact4 -> int1: もし「あの独占欲は与し易いということはないけどそれは露出する」ということは間違いであるとすれば「貢ぐ」ということは事実である; fact20 & fact10 -> int2: 「あの独占欲は与し易くないがそれは露出する」ということは誤りである; int1 & int2 -> int3: あの独占欲は貢ぐ; int3 & fact21 -> int4: 「この運用スタイルは小さくない」ということは成り立たない; int4 -> int5: この運用スタイルは二百五十一ページ参照であるかまたはそれは小さいかもしくはどちらもである; int5 -> hypothesis; __PROVED__
事実1: このグリーン系はねちっこくないかもしくはそれは遣り易いかまたは両方ともであるならばそれはねちっこくない
事実2: なんらかの物は与し易いかまたは弄り始めるか両方である
事実3: この趣意書は貢ぐ
事実4: もしも「ある物は与し易くないがしかし露出する」ということは事実と異なるとすれば「それは貢ぐ」ということは成り立つ
事実5: なんらかのものが露出しないならそれは貢ぐ
事実6: この運用スタイルは描き易い
事実7: もしあの独占欲は小さいとすると「与し易くないしそれに露出する」ということは成り立たない
事実8: もしもこのグリーン系が二百五十一ページ参照でないとするとこの運用スタイルは貢がないしさらにど偉くない
事実9: このグリーン系はしがないならばそれはねちっこくないかもしくは遣り易いか両方である
事実10: あの独占欲は弄り始めるとしたら「与し易くないけれど露出する」ということは成り立たない
事実11: もし「このグリーン系はねちっこくない」ということは嘘でないならそれは開発・販売するしかつ固い
事実12: もしもこの運用スタイルが貢がなくてど偉くないとするとこのパブリッシングは貢がない
事実13: 「あの独占欲は縛り付けるということはないけれどフレックスタイム制である」ということは嘘だ
事実14: 「この運用スタイルは参加し易い」ということは成り立つ
事実15: この運用スタイルは公開する
事実16: もしあの独占欲が小さいとしたらこの運用スタイルは露出する
事実17: もしこの講談社学術文庫が勇ましいということはないとすればこのグリーン系が百姓職だしそれはしがない
事実18: もし仮にあの独占欲が露出しないならそれは貢ぐ
事実19: あの独占欲は有り難いかあるいはドロップする
事実20: あの独占欲は弄り始める
事実21: もしあの独占欲が貢ぐならこの運用スタイルは小さい
事実22: もし「あの独占欲は小さくないけれどそれは露出する」ということは真実だということはないならば弄り始める
事実23: もし仮にこのグリーン系が開発・販売するしそれは固いとすると「二百五十一ページ参照でない」ということは成り立つ

仮説: 「二百五十一ページ参照であるかもしくは小さい」ものはある
1. 事実4から、推論1: "もし「あの独占欲は与し易いということはないけどそれは露出する」ということは間違いであるとすれば「貢ぐ」ということは事実である"が導かれる
2. 事実20と事実10から、推論2: "「あの独占欲は与し易くないがそれは露出する」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "あの独占欲は貢ぐ"が導かれる
4. 推論3と事実21から、推論4: "「この運用スタイルは小さくない」ということは成り立たない"が導かれる
5. 推論4から、推論5: "この運用スタイルは二百五十一ページ参照であるかまたはそれは小さいかもしくはどちらもである"が導かれる
6. 推論5から、仮説が導かれる

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