その曙会は透析前だ
fact1: 「目敏い」物はある fact2: このＫＯＬは本人同士でない fact3: その長殿は仏智であるかまたは透析前でないかもしくは両方ともだ fact4: もし仮にその曙会は選択し易くないとするとそれは御報告する fact5: もし仮にその曙会が御報告するとすればそれは透析前だ fact6: この郷土は歩き難い fact7: もしも「何かは透析前だしかつ歩き難い」ということは嘘であるとしたら「それは透析前である」ということは誤りだ fact8: もしもその曙会が歩き難くないとするとこの郷土は歩き難くないかそれは透析前でない fact9: もしその曙会が選択し易くないかまたはそれが目敏いということはないとしたら御報告する fact10: このＫＯＬは乗り難いし更に容易い fact11: もし「「乗り難くない」ということは成り立つ」物があるとすればこのＫＯＬは目敏い fact12: その曙会は容易いということはない fact13: もしとある物が御報告するしその上容易いとしたら選択し易くない fact14: もしも乗り難いものが容易いなら泣き騒がない fact15: このＫＯＬは泣き騒がないかまたは目敏いということはないかあるいは両方ともである fact16: 仮にこの郷土が選択し易くないならその曙会は選択し易くないかあるいは目敏くないかあるいは両方である fact17: もしも「「泣き騒がない」ということは成り立つ」ものがあればこの郷土は選択し易いということはないけど歩き難い
fact14 -> int1: もしもこのＫＯＬは乗り難いし容易いならそれは泣き騒がない; int1 & fact10 -> int2: このＫＯＬは泣き騒がない; int2 -> int3: 「泣き騒がない」ものはある; int3 & fact17 -> int4: この郷土は選択し易いということはないけれど歩き難い; int4 -> int5: 「この郷土は選択し易くない」ということは確かだ; int5 & fact16 -> int6: その曙会は選択し易くないか目敏くないか両方ともだ; int6 & fact9 -> int7: その曙会は御報告する; int7 & fact5 -> hypothesis;
その曙会は透析前でない
fact18 -> int8: もしも「その曙会は透析前であるしそれに歩き難い」ということは成り立たないとすればそれは透析前でない;
$facts$ = fact1: 「目敏い」物はある fact2: このＫＯＬは本人同士でない fact3: その長殿は仏智であるかまたは透析前でないかもしくは両方ともだ fact4: もし仮にその曙会は選択し易くないとするとそれは御報告する fact5: もし仮にその曙会が御報告するとすればそれは透析前だ fact6: この郷土は歩き難い fact7: もしも「何かは透析前だしかつ歩き難い」ということは嘘であるとしたら「それは透析前である」ということは誤りだ fact8: もしもその曙会が歩き難くないとするとこの郷土は歩き難くないかそれは透析前でない fact9: もしその曙会が選択し易くないかまたはそれが目敏いということはないとしたら御報告する fact10: このＫＯＬは乗り難いし更に容易い fact11: もし「「乗り難くない」ということは成り立つ」物があるとすればこのＫＯＬは目敏い fact12: その曙会は容易いということはない fact13: もしとある物が御報告するしその上容易いとしたら選択し易くない fact14: もしも乗り難いものが容易いなら泣き騒がない fact15: このＫＯＬは泣き騒がないかまたは目敏いということはないかあるいは両方ともである fact16: 仮にこの郷土が選択し易くないならその曙会は選択し易くないかあるいは目敏くないかあるいは両方である fact17: もしも「「泣き騒がない」ということは成り立つ」ものがあればこの郷土は選択し易いということはないけど歩き難い ; $hypothesis$ = その曙会は透析前だ ; $proof$ = 
fact14 -> int1: もしもこのＫＯＬは乗り難いし容易いならそれは泣き騒がない; int1 & fact10 -> int2: このＫＯＬは泣き騒がない; int2 -> int3: 「泣き騒がない」ものはある; int3 & fact17 -> int4: この郷土は選択し易いということはないけれど歩き難い; int4 -> int5: 「この郷土は選択し易くない」ということは確かだ; int5 & fact16 -> int6: その曙会は選択し易くないか目敏くないか両方ともだ; int6 & fact9 -> int7: その曙会は御報告する; int7 & fact5 -> hypothesis; __PROVED__
事実1: 「目敏い」物はある
事実2: このＫＯＬは本人同士でない
事実3: その長殿は仏智であるかまたは透析前でないかもしくは両方ともだ
事実4: もし仮にその曙会は選択し易くないとするとそれは御報告する
事実5: もし仮にその曙会が御報告するとすればそれは透析前だ
事実6: この郷土は歩き難い
事実7: もしも「何かは透析前だしかつ歩き難い」ということは嘘であるとしたら「それは透析前である」ということは誤りだ
事実8: もしもその曙会が歩き難くないとするとこの郷土は歩き難くないかそれは透析前でない
事実9: もしその曙会が選択し易くないかまたはそれが目敏いということはないとしたら御報告する
事実10: このＫＯＬは乗り難いし更に容易い
事実11: もし「「乗り難くない」ということは成り立つ」物があるとすればこのＫＯＬは目敏い
事実12: その曙会は容易いということはない
事実13: もしとある物が御報告するしその上容易いとしたら選択し易くない
事実14: もしも乗り難いものが容易いなら泣き騒がない
事実15: このＫＯＬは泣き騒がないかまたは目敏いということはないかあるいは両方ともである
事実16: 仮にこの郷土が選択し易くないならその曙会は選択し易くないかあるいは目敏くないかあるいは両方である
事実17: もしも「「泣き騒がない」ということは成り立つ」ものがあればこの郷土は選択し易いということはないけど歩き難い

仮説: その曙会は透析前だ
1. 事実14から、推論1: "もしもこのＫＯＬは乗り難いし容易いならそれは泣き騒がない"が導かれる
2. 推論1と事実10から、推論2: "このＫＯＬは泣き騒がない"が導かれる
3. 推論2から、推論3: "「泣き騒がない」ものはある"が導かれる
4. 推論3と事実17から、推論4: "この郷土は選択し易いということはないけれど歩き難い"が導かれる
5. 推論4から、推論5: "「この郷土は選択し易くない」ということは確かだ"が導かれる
6. 推論5と事実16から、推論6: "その曙会は選択し易くないか目敏くないか両方ともだ"が導かれる
7. 推論6と事実9から、推論7: "その曙会は御報告する"が導かれる
8. 推論7と事実5から、仮説が導かれる

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