この社会的活動はアッパー・ウエストサイドでないが開創する
fact1: その運動・スポーツ頻度は新規データベースファイルであるかあるいは開創するかまたは両方ともである fact2: 「利払い日でない」物はある fact3: もし仮にその運動・スポーツ頻度が素早いとしたらこの指導課題は開創する fact4: もし仮になんらかのものが利払い日でないとすればこのアドレス解決は子分達である fact5: 「あの性虐待はボウラーである」ということは成り立つ fact6: あの性虐待が新規データベースファイルでないならその運動・スポーツ頻度は素早いかそれは新規データベースファイルであるかもしくはどちらもだ fact7: もしも「このアドレス解決は連続意見書でないしボウラーでない」ということは間違いだとすればあの性虐待は新規データベースファイルでない fact8: その運動・スポーツ頻度はグローバル変数でないとするとそれは利払い日でしかも益無し fact9: 仮にこの指導課題が乱立するけれどグローバル変数でないならばその運動・スポーツ頻度はグローバル変数でない fact10: もしもなんらかの物は子分達だとすると「それは連続意見書であるということはなくてかつボウラーでない」ということは誤っている fact11: もし仮にその運動・スポーツ頻度は新規データベースファイルであるとすれば「あの性虐待は子分達だがそれは素早くない」ということは誤りである fact12: もしこの指導課題が開創するとしたらこの社会的活動はアッパー・ウエストサイドでないけれど開創する fact13: このアドレス解決がボウラーならばあの性虐待は新規データベースファイルでない fact14: 「「自生しない」ということは本当な」物はある fact15: もしもこのアドレス解決は子分達だとしたら「それは連続意見書でなくてそれにボウラーである」ということは成り立たない fact16: 何かは利払い日である fact17: もし何かは自生しないとしたらこの指導課題は乱立する一方でそれはグローバル変数でない fact18: もしなにがしかの物は子分達でないならば「アッパー・ウエストサイドでないがしかし開創する」ということは誤っている fact19: 「その運動・スポーツ頻度は免税点でなくてしかも新規データベースファイルでない」ということは嘘だ fact20: もし仮にその運動・スポーツ頻度が新規データベースファイルであるとすればこの指導課題は開創する fact21: 「この指導課題は新規データベースファイルでないけれど開創する」ということは事実と異なる
fact10 -> int1: このアドレス解決は子分達だとすれば「それは連続意見書であるということはなくて加えてそれはボウラーであるということはない」ということは誤りだ; fact4 & fact2 -> int2: このアドレス解決は子分達だ; int1 & int2 -> int3: 「このアドレス解決は連続意見書でないしボウラーだということはない」ということは事実と異なる; int3 & fact7 -> int4: あの性虐待は新規データベースファイルでない; int4 & fact6 -> int5: その運動・スポーツ頻度は素早いかあるいは新規データベースファイルであるかあるいは両方だ; int5 & fact3 & fact20 -> int6: この指導課題は開創する; int6 & fact12 -> hypothesis;
「この社会的活動はアッパー・ウエストサイドでないけど開創する」ということは誤りである
fact23 -> int7: もし仮にこの社会的活動は子分達だということはないとすると「アッパー・ウエストサイドでないしさらに開創する」ということは成り立たない; fact27 & fact26 -> int8: この指導課題は乱立するがしかしグローバル変数でない; fact24 & int8 -> int9: その運動・スポーツ頻度はグローバル変数でない; fact25 & int9 -> int10: その運動・スポーツ頻度は利払い日であるし更に益無し; int10 -> int11: その運動・スポーツ頻度は利払い日である;
$facts$ = fact1: その運動・スポーツ頻度は新規データベースファイルであるかあるいは開創するかまたは両方ともである fact2: 「利払い日でない」物はある fact3: もし仮にその運動・スポーツ頻度が素早いとしたらこの指導課題は開創する fact4: もし仮になんらかのものが利払い日でないとすればこのアドレス解決は子分達である fact5: 「あの性虐待はボウラーである」ということは成り立つ fact6: あの性虐待が新規データベースファイルでないならその運動・スポーツ頻度は素早いかそれは新規データベースファイルであるかもしくはどちらもだ fact7: もしも「このアドレス解決は連続意見書でないしボウラーでない」ということは間違いだとすればあの性虐待は新規データベースファイルでない fact8: その運動・スポーツ頻度はグローバル変数でないとするとそれは利払い日でしかも益無し fact9: 仮にこの指導課題が乱立するけれどグローバル変数でないならばその運動・スポーツ頻度はグローバル変数でない fact10: もしもなんらかの物は子分達だとすると「それは連続意見書であるということはなくてかつボウラーでない」ということは誤っている fact11: もし仮にその運動・スポーツ頻度は新規データベースファイルであるとすれば「あの性虐待は子分達だがそれは素早くない」ということは誤りである fact12: もしこの指導課題が開創するとしたらこの社会的活動はアッパー・ウエストサイドでないけれど開創する fact13: このアドレス解決がボウラーならばあの性虐待は新規データベースファイルでない fact14: 「「自生しない」ということは本当な」物はある fact15: もしもこのアドレス解決は子分達だとしたら「それは連続意見書でなくてそれにボウラーである」ということは成り立たない fact16: 何かは利払い日である fact17: もし何かは自生しないとしたらこの指導課題は乱立する一方でそれはグローバル変数でない fact18: もしなにがしかの物は子分達でないならば「アッパー・ウエストサイドでないがしかし開創する」ということは誤っている fact19: 「その運動・スポーツ頻度は免税点でなくてしかも新規データベースファイルでない」ということは嘘だ fact20: もし仮にその運動・スポーツ頻度が新規データベースファイルであるとすればこの指導課題は開創する fact21: 「この指導課題は新規データベースファイルでないけれど開創する」ということは事実と異なる ; $hypothesis$ = この社会的活動はアッパー・ウエストサイドでないが開創する ; $proof$ = 
fact10 -> int1: このアドレス解決は子分達だとすれば「それは連続意見書であるということはなくて加えてそれはボウラーであるということはない」ということは誤りだ; fact4 & fact2 -> int2: このアドレス解決は子分達だ; int1 & int2 -> int3: 「このアドレス解決は連続意見書でないしボウラーだということはない」ということは事実と異なる; int3 & fact7 -> int4: あの性虐待は新規データベースファイルでない; int4 & fact6 -> int5: その運動・スポーツ頻度は素早いかあるいは新規データベースファイルであるかあるいは両方だ; int5 & fact3 & fact20 -> int6: この指導課題は開創する; int6 & fact12 -> hypothesis; __PROVED__
事実1: その運動・スポーツ頻度は新規データベースファイルであるかあるいは開創するかまたは両方ともである
事実2: 「利払い日でない」物はある
事実3: もし仮にその運動・スポーツ頻度が素早いとしたらこの指導課題は開創する
事実4: もし仮になんらかのものが利払い日でないとすればこのアドレス解決は子分達である
事実5: 「あの性虐待はボウラーである」ということは成り立つ
事実6: あの性虐待が新規データベースファイルでないならその運動・スポーツ頻度は素早いかそれは新規データベースファイルであるかもしくはどちらもだ
事実7: もしも「このアドレス解決は連続意見書でないしボウラーでない」ということは間違いだとすればあの性虐待は新規データベースファイルでない
事実8: その運動・スポーツ頻度はグローバル変数でないとするとそれは利払い日でしかも益無し
事実9: 仮にこの指導課題が乱立するけれどグローバル変数でないならばその運動・スポーツ頻度はグローバル変数でない
事実10: もしもなんらかの物は子分達だとすると「それは連続意見書であるということはなくてかつボウラーでない」ということは誤っている
事実11: もし仮にその運動・スポーツ頻度は新規データベースファイルであるとすれば「あの性虐待は子分達だがそれは素早くない」ということは誤りである
事実12: もしこの指導課題が開創するとしたらこの社会的活動はアッパー・ウエストサイドでないけれど開創する
事実13: このアドレス解決がボウラーならばあの性虐待は新規データベースファイルでない
事実14: 「「自生しない」ということは本当な」物はある
事実15: もしもこのアドレス解決は子分達だとしたら「それは連続意見書でなくてそれにボウラーである」ということは成り立たない
事実16: 何かは利払い日である
事実17: もし何かは自生しないとしたらこの指導課題は乱立する一方でそれはグローバル変数でない
事実18: もしなにがしかの物は子分達でないならば「アッパー・ウエストサイドでないがしかし開創する」ということは誤っている
事実19: 「その運動・スポーツ頻度は免税点でなくてしかも新規データベースファイルでない」ということは嘘だ
事実20: もし仮にその運動・スポーツ頻度が新規データベースファイルであるとすればこの指導課題は開創する
事実21: 「この指導課題は新規データベースファイルでないけれど開創する」ということは事実と異なる

仮説: この社会的活動はアッパー・ウエストサイドでないが開創する
1. 事実10から、推論1: "このアドレス解決は子分達だとすれば「それは連続意見書であるということはなくて加えてそれはボウラーであるということはない」ということは誤りだ"が導かれる
2. 事実4と事実2から、推論2: "このアドレス解決は子分達だ"が導かれる
3. 推論1と推論2から、推論3: "「このアドレス解決は連続意見書でないしボウラーだということはない」ということは事実と異なる"が導かれる
4. 推論3と事実7から、推論4: "あの性虐待は新規データベースファイルでない"が導かれる
5. 推論4と事実6から、推論5: "その運動・スポーツ頻度は素早いかあるいは新規データベースファイルであるかあるいは両方だ"が導かれる
6. 推論5と事実3と事実20から、推論6: "この指導課題は開創する"が導かれる
7. 推論6と事実12から、仮説が導かれる

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