「あのアクサは通り易くないが文化環境だ」ということは間違っている
fact1: 「「高部解であるしかつ自給食糧である」ということは嘘である」ものはある fact2: なにがしかの物は高部解でかつ自給食糧だ fact3: 仮にその対話形式は通り易くないとすれば「あのアクサは通り易くないけど文化環境だ」ということは成り立たない fact4: もしもとあるものは薄青くないとすれば「禁圧しなくてまた近しくない」ということは誤りである fact5: もし仮に何かは禁圧するとすると通り易くないけれど文化環境だ fact6: 「その対話形式は文化環境だし加えて通り易い」ということは事実と異なる fact7: 「「ある物は禁圧しなくてそれにそれは近しくない」ということは確かだ」ということは成り立たないならば禁圧する fact8: もし仮に「「高部解であるし自給食糧だ」ということは成り立たない」物があればその対話形式は通り易くない fact9: もしもその対話形式がパーフェクトでないとするとそれは気骨でないか薄青くないかあるいは両方ともである
fact1 & fact8 -> int1: その対話形式は通り易くない; int1 & fact3 -> hypothesis;
あのアクサは通り易くないけれど文化環境だ
fact13 -> int2: もしもあのアクサは禁圧するとしたら「それは通り易くないけど文化環境だ」ということは正しい; fact11 -> int3: 仮に「あのアクサは禁圧しなくて近しいということはない」ということは成り立たないとしたら「それは禁圧する」ということは事実だ; fact10 -> int4: もし仮にあのアクサは薄青くないとすると「「禁圧しなくて加えてそれは近しくない」ということは確かだ」ということは誤りだ;
$facts$ = fact1: 「「高部解であるしかつ自給食糧である」ということは嘘である」ものはある fact2: なにがしかの物は高部解でかつ自給食糧だ fact3: 仮にその対話形式は通り易くないとすれば「あのアクサは通り易くないけど文化環境だ」ということは成り立たない fact4: もしもとあるものは薄青くないとすれば「禁圧しなくてまた近しくない」ということは誤りである fact5: もし仮に何かは禁圧するとすると通り易くないけれど文化環境だ fact6: 「その対話形式は文化環境だし加えて通り易い」ということは事実と異なる fact7: 「「ある物は禁圧しなくてそれにそれは近しくない」ということは確かだ」ということは成り立たないならば禁圧する fact8: もし仮に「「高部解であるし自給食糧だ」ということは成り立たない」物があればその対話形式は通り易くない fact9: もしもその対話形式がパーフェクトでないとするとそれは気骨でないか薄青くないかあるいは両方ともである ; $hypothesis$ = 「あのアクサは通り易くないが文化環境だ」ということは間違っている ; $proof$ = 
fact1 & fact8 -> int1: その対話形式は通り易くない; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「「高部解であるしかつ自給食糧である」ということは嘘である」ものはある
事実2: なにがしかの物は高部解でかつ自給食糧だ
事実3: 仮にその対話形式は通り易くないとすれば「あのアクサは通り易くないけど文化環境だ」ということは成り立たない
事実4: もしもとあるものは薄青くないとすれば「禁圧しなくてまた近しくない」ということは誤りである
事実5: もし仮に何かは禁圧するとすると通り易くないけれど文化環境だ
事実6: 「その対話形式は文化環境だし加えて通り易い」ということは事実と異なる
事実7: 「「ある物は禁圧しなくてそれにそれは近しくない」ということは確かだ」ということは成り立たないならば禁圧する
事実8: もし仮に「「高部解であるし自給食糧だ」ということは成り立たない」物があればその対話形式は通り易くない
事実9: もしもその対話形式がパーフェクトでないとするとそれは気骨でないか薄青くないかあるいは両方ともである

仮説: 「あのアクサは通り易くないが文化環境だ」ということは間違っている
1. 事実1と事実8から、推論1: "その対話形式は通り易くない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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