この一段は私語だ
fact1: この一段は青黒くない fact2: もし仮にこの一段が溜まり易くないとしたらあの調査研究協力者会議は危なっかしくて加えてそれは握り易い fact3: 仮に何らかのものが握り易いとするとそれは溜まり易い fact4: この一段は溜まり易くておまけにそれは素晴らし fact5: もし仮に何かは素晴らしないなら「溜まり易くなくてそれに私語でない」ということは誤っている fact6: もしもあの第十一図が捌かなくてかつそれが打ち据えないとすればその研究領域は打ち据える fact7: その研究領域は素晴らし fact8: 素晴らし物が私語だとすると打ち据えない fact9: もし仮に「「その研究領域は打ち据えるし更に素晴らし」ということは偽だ」ということは成り立つとすればあの一段は素晴らしない fact10: この一段は溜まり易い fact11: この一段は青黒くないとすれば「それは握り易いし捌く」ということは成り立つ fact12: その研究領域が素晴らししそれが私語だとするとこの一段は溜まり易くない fact13: もしもとある物は握り易いとすると「それは打ち据える」ということは本当である fact14: 何らかの物は捌くしまたそれは青黒い fact15: この一段は捌く fact16: 仮にこの一段が青黒くないとすれば捌く
fact4 -> int1: この一段は素晴らし; void -> assump1: 以下のように仮定する。この一段は私語である; int1 & assump1 -> int2: この一段は素晴らししまた私語だ; fact8 -> int3: 仮にこの一段が素晴らしししかもそれが私語ならそれは打ち据えない; int2 & int3 -> int4: この一段は打ち据えない; fact13 -> int5: この一段が握り易いとしたら打ち据える; fact11 & fact1 -> int6: この一段は握り易くて捌く; int6 -> int7: この一段は握り易い; int5 & int7 -> int8: 「この一段は打ち据える」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「この一段は私語だ」ということは確かである
fact18 -> int10: もし仮に「この一段は素晴らしない」ということは成り立つなら「溜まり易くないしかつ私語でない」ということは事実でない;
$facts$ = fact1: この一段は青黒くない fact2: もし仮にこの一段が溜まり易くないとしたらあの調査研究協力者会議は危なっかしくて加えてそれは握り易い fact3: 仮に何らかのものが握り易いとするとそれは溜まり易い fact4: この一段は溜まり易くておまけにそれは素晴らし fact5: もし仮に何かは素晴らしないなら「溜まり易くなくてそれに私語でない」ということは誤っている fact6: もしもあの第十一図が捌かなくてかつそれが打ち据えないとすればその研究領域は打ち据える fact7: その研究領域は素晴らし fact8: 素晴らし物が私語だとすると打ち据えない fact9: もし仮に「「その研究領域は打ち据えるし更に素晴らし」ということは偽だ」ということは成り立つとすればあの一段は素晴らしない fact10: この一段は溜まり易い fact11: この一段は青黒くないとすれば「それは握り易いし捌く」ということは成り立つ fact12: その研究領域が素晴らししそれが私語だとするとこの一段は溜まり易くない fact13: もしもとある物は握り易いとすると「それは打ち据える」ということは本当である fact14: 何らかの物は捌くしまたそれは青黒い fact15: この一段は捌く fact16: 仮にこの一段が青黒くないとすれば捌く ; $hypothesis$ = この一段は私語だ ; $proof$ = 
fact4 -> int1: この一段は素晴らし; void -> assump1: 以下のように仮定する。この一段は私語である; int1 & assump1 -> int2: この一段は素晴らししまた私語だ; fact8 -> int3: 仮にこの一段が素晴らしししかもそれが私語ならそれは打ち据えない; int2 & int3 -> int4: この一段は打ち据えない; fact13 -> int5: この一段が握り易いとしたら打ち据える; fact11 & fact1 -> int6: この一段は握り易くて捌く; int6 -> int7: この一段は握り易い; int5 & int7 -> int8: 「この一段は打ち据える」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: この一段は青黒くない
事実2: もし仮にこの一段が溜まり易くないとしたらあの調査研究協力者会議は危なっかしくて加えてそれは握り易い
事実3: 仮に何らかのものが握り易いとするとそれは溜まり易い
事実4: この一段は溜まり易くておまけにそれは素晴らし
事実5: もし仮に何かは素晴らしないなら「溜まり易くなくてそれに私語でない」ということは誤っている
事実6: もしもあの第十一図が捌かなくてかつそれが打ち据えないとすればその研究領域は打ち据える
事実7: その研究領域は素晴らし
事実8: 素晴らし物が私語だとすると打ち据えない
事実9: もし仮に「「その研究領域は打ち据えるし更に素晴らし」ということは偽だ」ということは成り立つとすればあの一段は素晴らしない
事実10: この一段は溜まり易い
事実11: この一段は青黒くないとすれば「それは握り易いし捌く」ということは成り立つ
事実12: その研究領域が素晴らししそれが私語だとするとこの一段は溜まり易くない
事実13: もしもとある物は握り易いとすると「それは打ち据える」ということは本当である
事実14: 何らかの物は捌くしまたそれは青黒い
事実15: この一段は捌く
事実16: 仮にこの一段が青黒くないとすれば捌く

仮説: この一段は私語だ
1. 事実4から、推論1: "この一段は素晴らし"が導かれる
2. 仮定1: 以下のように仮定する。この一段は私語である
3. 推論1と仮定1から、推論2: "この一段は素晴らししまた私語だ"が導かれる
4. 事実8から、推論3: "仮にこの一段が素晴らしししかもそれが私語ならそれは打ち据えない"が導かれる
5. 推論2と推論3から、推論4: "この一段は打ち据えない"が導かれる
6. 事実13から、推論5: "この一段が握り易いとしたら打ち据える"が導かれる
7. 事実11と事実1から、推論6: "この一段は握り易くて捌く"が導かれる
8. 推論6から、推論7: "この一段は握り易い"が導かれる
9. 推論5と推論7から、推論8: "「この一段は打ち据える」ということは成り立つ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

よって、仮説が否定されました。