「この自己批判はハヤマ様である」ということは成り立つ
fact1: もし仮に「この自己批判は解析出来るしまた断酒だ」ということは確かでないとすると「都市農地でない」ということは間違いでない fact2: もしも「なんらかのものは薄いが称さない」ということは成り立たないとするとそれは薄くない fact3: もしこの自己批判がハヤマ様であるならその形式知は保ち易い fact4: 仮に何らかの物が保ち易いとすると薄い fact5: とある物は保ち易いけど薄いということはないとするとそれはハヤマ様である fact6: この自己批判が称すとすればその形式知は薄い fact7: 薄いけれど称さないという物はない fact8: もしもある物が都市農地でないとすると称すしそれに薄い fact9: もしも「あるものは有り難いけど眺め回さない」ということは偽であるならば有り難くない fact10: もしあるものがハヤマ様でなくて保ち易くないならばあのスプラインは俳画である
void -> assump1: 以下のように仮定する。この自己批判はハヤマ様だ; fact3 & assump1 -> int1: その形式知は保ち易い; fact4 -> int2: もし仮にその形式知は保ち易いとすると「それは薄い」ということは成り立つ; int1 & int2 -> int3: その形式知は薄い; fact7 -> int4: 「その形式知は薄いが称すということはない」ということは誤っている; fact2 -> int5: もし「その形式知は薄いが称さない」ということは事実と異なるなら「「薄い」ということは成り立たない」ということは正しい; int4 & int5 -> int6: その形式知は薄くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
そのスプラインは俳画だ
fact12 -> int8: もしこの自己批判が都市農地でないとすればそれは称すし薄い;
$facts$ = fact1: もし仮に「この自己批判は解析出来るしまた断酒だ」ということは確かでないとすると「都市農地でない」ということは間違いでない fact2: もしも「なんらかのものは薄いが称さない」ということは成り立たないとするとそれは薄くない fact3: もしこの自己批判がハヤマ様であるならその形式知は保ち易い fact4: 仮に何らかの物が保ち易いとすると薄い fact5: とある物は保ち易いけど薄いということはないとするとそれはハヤマ様である fact6: この自己批判が称すとすればその形式知は薄い fact7: 薄いけれど称さないという物はない fact8: もしもある物が都市農地でないとすると称すしそれに薄い fact9: もしも「あるものは有り難いけど眺め回さない」ということは偽であるならば有り難くない fact10: もしあるものがハヤマ様でなくて保ち易くないならばあのスプラインは俳画である ; $hypothesis$ = 「この自己批判はハヤマ様である」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この自己批判はハヤマ様だ; fact3 & assump1 -> int1: その形式知は保ち易い; fact4 -> int2: もし仮にその形式知は保ち易いとすると「それは薄い」ということは成り立つ; int1 & int2 -> int3: その形式知は薄い; fact7 -> int4: 「その形式知は薄いが称すということはない」ということは誤っている; fact2 -> int5: もし「その形式知は薄いが称さない」ということは事実と異なるなら「「薄い」ということは成り立たない」ということは正しい; int4 & int5 -> int6: その形式知は薄くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし仮に「この自己批判は解析出来るしまた断酒だ」ということは確かでないとすると「都市農地でない」ということは間違いでない
事実2: もしも「なんらかのものは薄いが称さない」ということは成り立たないとするとそれは薄くない
事実3: もしこの自己批判がハヤマ様であるならその形式知は保ち易い
事実4: 仮に何らかの物が保ち易いとすると薄い
事実5: とある物は保ち易いけど薄いということはないとするとそれはハヤマ様である
事実6: この自己批判が称すとすればその形式知は薄い
事実7: 薄いけれど称さないという物はない
事実8: もしもある物が都市農地でないとすると称すしそれに薄い
事実9: もしも「あるものは有り難いけど眺め回さない」ということは偽であるならば有り難くない
事実10: もしあるものがハヤマ様でなくて保ち易くないならばあのスプラインは俳画である

仮説: 「この自己批判はハヤマ様である」ということは成り立つ
1. 仮定1: 以下のように仮定する。この自己批判はハヤマ様だ
2. 事実3と仮定1から、推論1: "その形式知は保ち易い"が導かれる
3. 事実4から、推論2: "もし仮にその形式知は保ち易いとすると「それは薄い」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "その形式知は薄い"が導かれる
5. 事実7から、推論4: "「その形式知は薄いが称すということはない」ということは誤っている"が導かれる
6. 事実2から、推論5: "もし「その形式知は薄いが称さない」ということは事実と異なるなら「「薄い」ということは成り立たない」ということは正しい"が導かれる
7. 推論4と推論5から、推論6: "その形式知は薄くない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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