そのフォルムはしんどくてＮＰＯ活動だ
fact1: 思想統制でないけれど死守するという物はない fact2: 暮らし易いものはＮＰＯ活動である fact3: 仮にこの左右輪が冷やかすならばあのフォルムはしんどい fact4: 「その巣は思想統制であるしまた死守する」ということは間違っている fact5: 仮にこの左右輪は釣り鐘スタイルならば「そのフォルムはしんどい」ということは成り立つ fact6: あの前掲稿は山仕事だ fact7: 思想統制でまた死守するという物はない fact8: あの前掲稿が山仕事だとしたらそれは書き掛ける fact9: 仮に「その巣は思想統制でないがそれは死守する」ということは本当でないとするとあの現役時は課題解決でない fact10: もし仮にあの現役時が課題解決でないとしたらこの左右輪は冷やかすかもしくはそれは釣り鐘スタイルだ fact11: もし仮にその巣が思想統制ならあの現役時は課題解決でない fact12: 「「あの前掲稿は書き掛ける」ということは事実ならそのフォルムは暮らし易い」ということは成り立つ
fact1 -> int1: 「その巣は思想統制でないがしかし死守する」ということは間違いだ; int1 & fact9 -> int2: 「あの現役時は課題解決でない」ということは正しい; int2 & fact10 -> int3: この左右輪は冷やかすか釣り鐘スタイルである; int3 & fact3 & fact5 -> int4: そのフォルムはしんどい; fact2 -> int5: 仮にそのフォルムが暮らし易いとするとそれはＮＰＯ活動だ; fact6 & fact8 -> int6: あの前掲稿は書き掛ける; int6 & fact12 -> int7: そのフォルムは暮らし易い; int5 & int7 -> int8: そのフォルムはＮＰＯ活動だ; int4 & int8 -> hypothesis;
$facts$ = fact1: 思想統制でないけれど死守するという物はない fact2: 暮らし易いものはＮＰＯ活動である fact3: 仮にこの左右輪が冷やかすならばあのフォルムはしんどい fact4: 「その巣は思想統制であるしまた死守する」ということは間違っている fact5: 仮にこの左右輪は釣り鐘スタイルならば「そのフォルムはしんどい」ということは成り立つ fact6: あの前掲稿は山仕事だ fact7: 思想統制でまた死守するという物はない fact8: あの前掲稿が山仕事だとしたらそれは書き掛ける fact9: 仮に「その巣は思想統制でないがそれは死守する」ということは本当でないとするとあの現役時は課題解決でない fact10: もし仮にあの現役時が課題解決でないとしたらこの左右輪は冷やかすかもしくはそれは釣り鐘スタイルだ fact11: もし仮にその巣が思想統制ならあの現役時は課題解決でない fact12: 「「あの前掲稿は書き掛ける」ということは事実ならそのフォルムは暮らし易い」ということは成り立つ ; $hypothesis$ = そのフォルムはしんどくてＮＰＯ活動だ ; $proof$ = 
fact1 -> int1: 「その巣は思想統制でないがしかし死守する」ということは間違いだ; int1 & fact9 -> int2: 「あの現役時は課題解決でない」ということは正しい; int2 & fact10 -> int3: この左右輪は冷やかすか釣り鐘スタイルである; int3 & fact3 & fact5 -> int4: そのフォルムはしんどい; fact2 -> int5: 仮にそのフォルムが暮らし易いとするとそれはＮＰＯ活動だ; fact6 & fact8 -> int6: あの前掲稿は書き掛ける; int6 & fact12 -> int7: そのフォルムは暮らし易い; int5 & int7 -> int8: そのフォルムはＮＰＯ活動だ; int4 & int8 -> hypothesis; __PROVED__
事実1: 思想統制でないけれど死守するという物はない
事実2: 暮らし易いものはＮＰＯ活動である
事実3: 仮にこの左右輪が冷やかすならばあのフォルムはしんどい
事実4: 「その巣は思想統制であるしまた死守する」ということは間違っている
事実5: 仮にこの左右輪は釣り鐘スタイルならば「そのフォルムはしんどい」ということは成り立つ
事実6: あの前掲稿は山仕事だ
事実7: 思想統制でまた死守するという物はない
事実8: あの前掲稿が山仕事だとしたらそれは書き掛ける
事実9: 仮に「その巣は思想統制でないがそれは死守する」ということは本当でないとするとあの現役時は課題解決でない
事実10: もし仮にあの現役時が課題解決でないとしたらこの左右輪は冷やかすかもしくはそれは釣り鐘スタイルだ
事実11: もし仮にその巣が思想統制ならあの現役時は課題解決でない
事実12: 「「あの前掲稿は書き掛ける」ということは事実ならそのフォルムは暮らし易い」ということは成り立つ

仮説: そのフォルムはしんどくてＮＰＯ活動だ
1. 事実1から、推論1: "「その巣は思想統制でないがしかし死守する」ということは間違いだ"が導かれる
2. 推論1と事実9から、推論2: "「あの現役時は課題解決でない」ということは正しい"が導かれる
3. 推論2と事実10から、推論3: "この左右輪は冷やかすか釣り鐘スタイルである"が導かれる
4. 推論3と事実3と事実5から、推論4: "そのフォルムはしんどい"が導かれる
5. 事実2から、推論5: "仮にそのフォルムが暮らし易いとするとそれはＮＰＯ活動だ"が導かれる
6. 事実6と事実8から、推論6: "あの前掲稿は書き掛ける"が導かれる
7. 推論6と事実12から、推論7: "そのフォルムは暮らし易い"が導かれる
8. 推論5と推論7から、推論8: "そのフォルムはＮＰＯ活動だ"が導かれる
9. 推論4と推論8から、仮説が導かれる

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