「もしあの丸紅等が洗い直さないならばあの四半世紀は事件単位説だけれど前後しない」ということは誤っている
fact1: もしあの丸紅等が洗い直さないとしたら御説教しない fact2: もしもなんらかのものが洗い直さないならそれは御説教しない fact3: あの丸紅等は御説教するがしかし就労しないなら「その全体化は夏らしくない」ということは確かである fact4: なにかは損益通算するとすればそれは受け為さる fact5: あの丸紅等は御説教するということはない fact6: もしもあの丸紅等が洗い直さないならこの四半世紀は前後しない fact7: この四半世紀は前後しない fact8: 「その全体化は損益通算する」ということは成り立つ fact9: もし仮にあの鋤が事件単位説であるとしたらこの四半世紀は前後しない fact10: もしこの紳士達が配れるとするとあの鋤は事件単位説である fact11: もし何らかのものが洗い直さないとするとそれは御説教しないし就労しない fact12: もしあの鋤が事件単位説であるとするとこの四半世紀は事件単位説であるけど前後しない fact13: 仮にあの丸紅等が洗い直すならこの四半世紀は事件単位説だけど前後しない fact14: 事件単位説は前後しないし加えて夏らしくない fact15: もしもとあるものが受け為さるとするとそれは株主等である fact16: 仮になんらかの物が洗い直すならそれは御説教するということはないしおまけに就労しない fact17: もしその全体化が夏らしくないがそれが株主等だとすればあの紳士達は配れる fact18: 仮に「あの丸紅等は御説教しないし就労するということはない」ということは誤っていないならその全体化は夏らしくない
fact11 -> int1: あの丸紅等が洗い直すということはないとすれば御説教しなくて更にそれは就労しない; void -> assump1: 以下のように仮定する。あの丸紅等は洗い直すということはない; int1 & assump1 -> int2: あの丸紅等は御説教するということはなくてしかも就労しない; int2 & fact18 -> int3: その全体化は夏らしくない; fact4 -> int4: 仮にその全体化は損益通算するとしたら「それは受け為さる」ということは本当である; int4 & fact8 -> int5: その全体化は受け為さる; fact15 -> int6: もし仮にその全体化は受け為されば「株主等である」ということは成り立つ; int5 & int6 -> int7: その全体化は株主等だ; int3 & int7 -> int8: その全体化は夏らしくないけど株主等だ; int8 & fact17 -> int9: この紳士達は配れる; int9 & fact10 -> int10: あの鋤は事件単位説だ; int10 & fact12 -> int11: 「この四半世紀は事件単位説であるけれど前後しない」ということは成り立つ; [assump1] & int11 -> hypothesis;
$facts$ = fact1: もしあの丸紅等が洗い直さないとしたら御説教しない fact2: もしもなんらかのものが洗い直さないならそれは御説教しない fact3: あの丸紅等は御説教するがしかし就労しないなら「その全体化は夏らしくない」ということは確かである fact4: なにかは損益通算するとすればそれは受け為さる fact5: あの丸紅等は御説教するということはない fact6: もしもあの丸紅等が洗い直さないならこの四半世紀は前後しない fact7: この四半世紀は前後しない fact8: 「その全体化は損益通算する」ということは成り立つ fact9: もし仮にあの鋤が事件単位説であるとしたらこの四半世紀は前後しない fact10: もしこの紳士達が配れるとするとあの鋤は事件単位説である fact11: もし何らかのものが洗い直さないとするとそれは御説教しないし就労しない fact12: もしあの鋤が事件単位説であるとするとこの四半世紀は事件単位説であるけど前後しない fact13: 仮にあの丸紅等が洗い直すならこの四半世紀は事件単位説だけど前後しない fact14: 事件単位説は前後しないし加えて夏らしくない fact15: もしもとあるものが受け為さるとするとそれは株主等である fact16: 仮になんらかの物が洗い直すならそれは御説教するということはないしおまけに就労しない fact17: もしその全体化が夏らしくないがそれが株主等だとすればあの紳士達は配れる fact18: 仮に「あの丸紅等は御説教しないし就労するということはない」ということは誤っていないならその全体化は夏らしくない ; $hypothesis$ = 「もしあの丸紅等が洗い直さないならばあの四半世紀は事件単位説だけれど前後しない」ということは誤っている ; $proof$ = 
fact11 -> int1: あの丸紅等が洗い直すということはないとすれば御説教しなくて更にそれは就労しない; void -> assump1: 以下のように仮定する。あの丸紅等は洗い直すということはない; int1 & assump1 -> int2: あの丸紅等は御説教するということはなくてしかも就労しない; int2 & fact18 -> int3: その全体化は夏らしくない; fact4 -> int4: 仮にその全体化は損益通算するとしたら「それは受け為さる」ということは本当である; int4 & fact8 -> int5: その全体化は受け為さる; fact15 -> int6: もし仮にその全体化は受け為されば「株主等である」ということは成り立つ; int5 & int6 -> int7: その全体化は株主等だ; int3 & int7 -> int8: その全体化は夏らしくないけど株主等だ; int8 & fact17 -> int9: この紳士達は配れる; int9 & fact10 -> int10: あの鋤は事件単位説だ; int10 & fact12 -> int11: 「この四半世紀は事件単位説であるけれど前後しない」ということは成り立つ; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: もしあの丸紅等が洗い直さないとしたら御説教しない
事実2: もしもなんらかのものが洗い直さないならそれは御説教しない
事実3: あの丸紅等は御説教するがしかし就労しないなら「その全体化は夏らしくない」ということは確かである
事実4: なにかは損益通算するとすればそれは受け為さる
事実5: あの丸紅等は御説教するということはない
事実6: もしもあの丸紅等が洗い直さないならこの四半世紀は前後しない
事実7: この四半世紀は前後しない
事実8: 「その全体化は損益通算する」ということは成り立つ
事実9: もし仮にあの鋤が事件単位説であるとしたらこの四半世紀は前後しない
事実10: もしこの紳士達が配れるとするとあの鋤は事件単位説である
事実11: もし何らかのものが洗い直さないとするとそれは御説教しないし就労しない
事実12: もしあの鋤が事件単位説であるとするとこの四半世紀は事件単位説であるけど前後しない
事実13: 仮にあの丸紅等が洗い直すならこの四半世紀は事件単位説だけど前後しない
事実14: 事件単位説は前後しないし加えて夏らしくない
事実15: もしもとあるものが受け為さるとするとそれは株主等である
事実16: 仮になんらかの物が洗い直すならそれは御説教するということはないしおまけに就労しない
事実17: もしその全体化が夏らしくないがそれが株主等だとすればあの紳士達は配れる
事実18: 仮に「あの丸紅等は御説教しないし就労するということはない」ということは誤っていないならその全体化は夏らしくない

仮説: 「もしあの丸紅等が洗い直さないならばあの四半世紀は事件単位説だけれど前後しない」ということは誤っている
1. 事実11から、推論1: "あの丸紅等が洗い直すということはないとすれば御説教しなくて更にそれは就労しない"が導かれる
2. 仮定1: 以下のように仮定する。あの丸紅等は洗い直すということはない
3. 推論1と仮定1から、推論2: "あの丸紅等は御説教するということはなくてしかも就労しない"が導かれる
4. 推論2と事実18から、推論3: "その全体化は夏らしくない"が導かれる
5. 事実4から、推論4: "仮にその全体化は損益通算するとしたら「それは受け為さる」ということは本当である"が導かれる
6. 推論4と事実8から、推論5: "その全体化は受け為さる"が導かれる
7. 事実15から、推論6: "もし仮にその全体化は受け為されば「株主等である」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "その全体化は株主等だ"が導かれる
9. 推論3と推論7から、推論8: "その全体化は夏らしくないけど株主等だ"が導かれる
10. 推論8と事実17から、推論9: "この紳士達は配れる"が導かれる
11. 推論9と事実10から、推論10: "あの鋤は事件単位説だ"が導かれる
12. 推論10と事実12から、推論11: "「この四半世紀は事件単位説であるけれど前後しない」ということは成り立つ"が導かれる
13. [仮定1]と推論11から、仮説が否定される

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