この知識階層モデルは要しない
fact1: 仮に「なんらかのものは鈍くないがしかし面白い」ということは間違いであるならそれは面白くない fact2: 何かは掻き合わせるとすればそれは面白い fact3: もし仮にこの莢ちゃんが拠出だが守備練習でないとするとこの知識階層モデルは守備練習でない fact4: 淀み無い物は特集する fact5: もしこの知識階層モデルは守備練習でないとしたらそれは掻き合わせないがしかし言説化する fact6: 仮に「なにがしかのものは淀み無いがしかし学習観でない」ということは成り立つとすればこの知識階層モデルは要する fact7: もしもその奥州道が淀み無いとすればこの知識階層モデルは学習観である fact8: 「「受け入れ易いかあるいは基底部であるか両方ともである」ということは成り立たない」ものはある fact9: この知識階層モデルは淀み無い fact10: 「特集しない」ものはある fact11: 「学習観は要するということはない」ということは事実だ fact12: とあるものは呟き続けない fact13: 「「特集するか呟き続けるかまたはどちらもである」ということは間違いな」ものはある fact14: もしも「「「特集するかもしくは呟き続ける」ということは成り立つ」ということは成り立たない」物があればその奥州道は淀み無い fact15: もし仮にこの知識階層モデルが掻き合わせない一方でそれが言説化するとすればその奥州道は掻き合わせる fact16: もしその奥州道は面白いということはないならば「この精神症状は学習観であるしおまけに要する」ということは成り立つ fact17: 仮に何らかのものが学習観ならそれは淀み無い fact18: 何らかのものは掻き合わせるとすると「「鈍くないけれど面白い」ということは嘘でない」ということは成り立たない
fact13 & fact14 -> int1: その奥州道は淀み無い; int1 & fact7 -> int2: この知識階層モデルは学習観だ; fact11 -> int3: 「この知識階層モデルは学習観である」ということは確かであるなら「要するということはない」ということは確かだ; int2 & int3 -> hypothesis;
この精神症状は特集する
fact24 -> int4: この精神症状は淀み無いとすれば「特集する」ということは真実である; fact23 -> int5: もしこの精神症状は学習観であるとすればそれは淀み無い; fact22 -> int6: 仮に「その奥州道は鈍くないが面白い」ということは偽だとしたら面白くない; fact19 -> int7: その奥州道は掻き合わせるとしたら「鈍いということはなくて面白い」ということは成り立たない;
$facts$ = fact1: 仮に「なんらかのものは鈍くないがしかし面白い」ということは間違いであるならそれは面白くない fact2: 何かは掻き合わせるとすればそれは面白い fact3: もし仮にこの莢ちゃんが拠出だが守備練習でないとするとこの知識階層モデルは守備練習でない fact4: 淀み無い物は特集する fact5: もしこの知識階層モデルは守備練習でないとしたらそれは掻き合わせないがしかし言説化する fact6: 仮に「なにがしかのものは淀み無いがしかし学習観でない」ということは成り立つとすればこの知識階層モデルは要する fact7: もしもその奥州道が淀み無いとすればこの知識階層モデルは学習観である fact8: 「「受け入れ易いかあるいは基底部であるか両方ともである」ということは成り立たない」ものはある fact9: この知識階層モデルは淀み無い fact10: 「特集しない」ものはある fact11: 「学習観は要するということはない」ということは事実だ fact12: とあるものは呟き続けない fact13: 「「特集するか呟き続けるかまたはどちらもである」ということは間違いな」ものはある fact14: もしも「「「特集するかもしくは呟き続ける」ということは成り立つ」ということは成り立たない」物があればその奥州道は淀み無い fact15: もし仮にこの知識階層モデルが掻き合わせない一方でそれが言説化するとすればその奥州道は掻き合わせる fact16: もしその奥州道は面白いということはないならば「この精神症状は学習観であるしおまけに要する」ということは成り立つ fact17: 仮に何らかのものが学習観ならそれは淀み無い fact18: 何らかのものは掻き合わせるとすると「「鈍くないけれど面白い」ということは嘘でない」ということは成り立たない ; $hypothesis$ = この知識階層モデルは要しない ; $proof$ = 
fact13 & fact14 -> int1: その奥州道は淀み無い; int1 & fact7 -> int2: この知識階層モデルは学習観だ; fact11 -> int3: 「この知識階層モデルは学習観である」ということは確かであるなら「要するということはない」ということは確かだ; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮に「なんらかのものは鈍くないがしかし面白い」ということは間違いであるならそれは面白くない
事実2: 何かは掻き合わせるとすればそれは面白い
事実3: もし仮にこの莢ちゃんが拠出だが守備練習でないとするとこの知識階層モデルは守備練習でない
事実4: 淀み無い物は特集する
事実5: もしこの知識階層モデルは守備練習でないとしたらそれは掻き合わせないがしかし言説化する
事実6: 仮に「なにがしかのものは淀み無いがしかし学習観でない」ということは成り立つとすればこの知識階層モデルは要する
事実7: もしもその奥州道が淀み無いとすればこの知識階層モデルは学習観である
事実8: 「「受け入れ易いかあるいは基底部であるか両方ともである」ということは成り立たない」ものはある
事実9: この知識階層モデルは淀み無い
事実10: 「特集しない」ものはある
事実11: 「学習観は要するということはない」ということは事実だ
事実12: とあるものは呟き続けない
事実13: 「「特集するか呟き続けるかまたはどちらもである」ということは間違いな」ものはある
事実14: もしも「「「特集するかもしくは呟き続ける」ということは成り立つ」ということは成り立たない」物があればその奥州道は淀み無い
事実15: もし仮にこの知識階層モデルが掻き合わせない一方でそれが言説化するとすればその奥州道は掻き合わせる
事実16: もしその奥州道は面白いということはないならば「この精神症状は学習観であるしおまけに要する」ということは成り立つ
事実17: 仮に何らかのものが学習観ならそれは淀み無い
事実18: 何らかのものは掻き合わせるとすると「「鈍くないけれど面白い」ということは嘘でない」ということは成り立たない

仮説: この知識階層モデルは要しない
1. 事実13と事実14から、推論1: "その奥州道は淀み無い"が導かれる
2. 推論1と事実7から、推論2: "この知識階層モデルは学習観だ"が導かれる
3. 事実11から、推論3: "「この知識階層モデルは学習観である」ということは確かであるなら「要するということはない」ということは確かだ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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