この自由裁量は親しくない
fact1: もし仮にその諮問委員会が共伴するならばあの自由裁量は同級生であるということはない fact2: もしとある物は子宝であるということはないとすれば「その諮問委員会は変わり始めるということはない」ということは成り立つ fact3: 「その諮問委員会は変わり始めないけど同級生である」ということは成り立つとするとこの自由裁量は範囲選択しない fact4: もし仮にある物は同級生でないとすれば「範囲選択しないけど変わり始める」ということは偽だ fact5: もし仮に何らかのものが範囲選択しないとするとそれは親しいということはない fact6: 仮に「とある物は範囲選択しない一方で変わり始める」ということは成り立たないとしたら変わり始めない fact7: もしもその諮問委員会が水産資源であるということはないとすると作用するし更に共伴する fact8: 仮になにがしかのものが同級生でないがそれは子宝であるとすれば変わり始めない fact9: もし「子宝でない」ものがあるならその諮問委員会は変わり始めないけれど同級生である fact10: 仮になんらかの物が変わり始めるということはないならばそれは親しいしかつ子宝だ fact11: もし仮にその諮問委員会が共伴しないとするとそれは範囲選択するししかも親しい fact12: 「変わり始めるということはない」ものはある fact13: もしその諮問委員会が範囲選択するとすればこのテルは範囲選択する fact14: 「子宝でない」物はある
fact14 & fact9 -> int1: その諮問委員会は変わり始めるということはないけどそれは同級生だ; int1 & fact3 -> int2: この自由裁量は範囲選択しない; fact5 -> int3: もし仮にこの自由裁量が範囲選択しないならばそれは親しくない; int2 & int3 -> hypothesis;
このテルは変わり始めない
fact16 -> int4: このテルが同級生でないけれどそれは子宝であるとすると「変わり始めない」ということは成り立つ;
$facts$ = fact1: もし仮にその諮問委員会が共伴するならばあの自由裁量は同級生であるということはない fact2: もしとある物は子宝であるということはないとすれば「その諮問委員会は変わり始めるということはない」ということは成り立つ fact3: 「その諮問委員会は変わり始めないけど同級生である」ということは成り立つとするとこの自由裁量は範囲選択しない fact4: もし仮にある物は同級生でないとすれば「範囲選択しないけど変わり始める」ということは偽だ fact5: もし仮に何らかのものが範囲選択しないとするとそれは親しいということはない fact6: 仮に「とある物は範囲選択しない一方で変わり始める」ということは成り立たないとしたら変わり始めない fact7: もしもその諮問委員会が水産資源であるということはないとすると作用するし更に共伴する fact8: 仮になにがしかのものが同級生でないがそれは子宝であるとすれば変わり始めない fact9: もし「子宝でない」ものがあるならその諮問委員会は変わり始めないけれど同級生である fact10: 仮になんらかの物が変わり始めるということはないならばそれは親しいしかつ子宝だ fact11: もし仮にその諮問委員会が共伴しないとするとそれは範囲選択するししかも親しい fact12: 「変わり始めるということはない」ものはある fact13: もしその諮問委員会が範囲選択するとすればこのテルは範囲選択する fact14: 「子宝でない」物はある ; $hypothesis$ = この自由裁量は親しくない ; $proof$ = 
fact14 & fact9 -> int1: その諮問委員会は変わり始めるということはないけどそれは同級生だ; int1 & fact3 -> int2: この自由裁量は範囲選択しない; fact5 -> int3: もし仮にこの自由裁量が範囲選択しないならばそれは親しくない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にその諮問委員会が共伴するならばあの自由裁量は同級生であるということはない
事実2: もしとある物は子宝であるということはないとすれば「その諮問委員会は変わり始めるということはない」ということは成り立つ
事実3: 「その諮問委員会は変わり始めないけど同級生である」ということは成り立つとするとこの自由裁量は範囲選択しない
事実4: もし仮にある物は同級生でないとすれば「範囲選択しないけど変わり始める」ということは偽だ
事実5: もし仮に何らかのものが範囲選択しないとするとそれは親しいということはない
事実6: 仮に「とある物は範囲選択しない一方で変わり始める」ということは成り立たないとしたら変わり始めない
事実7: もしもその諮問委員会が水産資源であるということはないとすると作用するし更に共伴する
事実8: 仮になにがしかのものが同級生でないがそれは子宝であるとすれば変わり始めない
事実9: もし「子宝でない」ものがあるならその諮問委員会は変わり始めないけれど同級生である
事実10: 仮になんらかの物が変わり始めるということはないならばそれは親しいしかつ子宝だ
事実11: もし仮にその諮問委員会が共伴しないとするとそれは範囲選択するししかも親しい
事実12: 「変わり始めるということはない」ものはある
事実13: もしその諮問委員会が範囲選択するとすればこのテルは範囲選択する
事実14: 「子宝でない」物はある

仮説: この自由裁量は親しくない
1. 事実14と事実9から、推論1: "その諮問委員会は変わり始めるということはないけどそれは同級生だ"が導かれる
2. 推論1と事実3から、推論2: "この自由裁量は範囲選択しない"が導かれる
3. 事実5から、推論3: "もし仮にこの自由裁量が範囲選択しないならばそれは親しくない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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