「その高架構造物は精神的柔道だ一方で御安くない」ということは誤っている
fact1: 仮に何かは醸さないなら「それは精神的柔道であるしおまけにそれは御安いということはない」ということは成り立たない fact2: もし「胃腸症状であるかまたは形成され易いかあるいは両方な」ものがあるならあの手袋は瑞々しくない fact3: あの上下共は会わすしそれに形成され易い fact4: 「仮に「瑞々しくない」ものがあるならその高架構造物は醸さない」ということは真実だ fact5: なんらかのものは醸さないとしたら「それは精神的柔道であるし更にそれは御安い」ということは成り立つということはない fact6: 「「瑞々しい」ということは確かな」物はある
fact3 -> int1: あの上下共は形成され易い; int1 -> int2: あの上下共は胃腸症状であるかもしくはそれは形成され易いかあるいは両方ともである; int2 -> int3: 「胃腸症状であるかあるいは形成され易いかあるいは両方な」物はある; int3 & fact2 -> int4: あの手袋は瑞々しくない; int4 -> int5: 「瑞々しくない」ものはある; int5 & fact4 -> int6: その高架構造物は醸さない; fact1 -> int7: もしもその高架構造物は醸さないとすれば「「精神的柔道であるしそれは御安くない」ということは成り立つ」ということは成り立つということはない; int6 & int7 -> hypothesis;
$facts$ = fact1: 仮に何かは醸さないなら「それは精神的柔道であるしおまけにそれは御安いということはない」ということは成り立たない fact2: もし「胃腸症状であるかまたは形成され易いかあるいは両方な」ものがあるならあの手袋は瑞々しくない fact3: あの上下共は会わすしそれに形成され易い fact4: 「仮に「瑞々しくない」ものがあるならその高架構造物は醸さない」ということは真実だ fact5: なんらかのものは醸さないとしたら「それは精神的柔道であるし更にそれは御安い」ということは成り立つということはない fact6: 「「瑞々しい」ということは確かな」物はある ; $hypothesis$ = 「その高架構造物は精神的柔道だ一方で御安くない」ということは誤っている ; $proof$ = 
fact3 -> int1: あの上下共は形成され易い; int1 -> int2: あの上下共は胃腸症状であるかもしくはそれは形成され易いかあるいは両方ともである; int2 -> int3: 「胃腸症状であるかあるいは形成され易いかあるいは両方な」物はある; int3 & fact2 -> int4: あの手袋は瑞々しくない; int4 -> int5: 「瑞々しくない」ものはある; int5 & fact4 -> int6: その高架構造物は醸さない; fact1 -> int7: もしもその高架構造物は醸さないとすれば「「精神的柔道であるしそれは御安くない」ということは成り立つ」ということは成り立つということはない; int6 & int7 -> hypothesis; __PROVED__
事実1: 仮に何かは醸さないなら「それは精神的柔道であるしおまけにそれは御安いということはない」ということは成り立たない
事実2: もし「胃腸症状であるかまたは形成され易いかあるいは両方な」ものがあるならあの手袋は瑞々しくない
事実3: あの上下共は会わすしそれに形成され易い
事実4: 「仮に「瑞々しくない」ものがあるならその高架構造物は醸さない」ということは真実だ
事実5: なんらかのものは醸さないとしたら「それは精神的柔道であるし更にそれは御安い」ということは成り立つということはない
事実6: 「「瑞々しい」ということは確かな」物はある

仮説: 「その高架構造物は精神的柔道だ一方で御安くない」ということは誤っている
1. 事実3から、推論1: "あの上下共は形成され易い"が導かれる
2. 推論1から、推論2: "あの上下共は胃腸症状であるかもしくはそれは形成され易いかあるいは両方ともである"が導かれる
3. 推論2から、推論3: "「胃腸症状であるかあるいは形成され易いかあるいは両方な」物はある"が導かれる
4. 推論3と事実2から、推論4: "あの手袋は瑞々しくない"が導かれる
5. 推論4から、推論5: "「瑞々しくない」ものはある"が導かれる
6. 推論5と事実4から、推論6: "その高架構造物は醸さない"が導かれる
7. 事実1から、推論7: "もしもその高架構造物は醸さないとすれば「「精神的柔道であるしそれは御安くない」ということは成り立つ」ということは成り立つということはない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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