そのインプモンは悍ましかない
fact1: もしもそのインプモンは表現し難いとすれば「それは温まる」ということは成り立つ fact2: 仮になんらかの物は表現し難いとしたら「それは温まらないかもしくはそれは悲しないかまたはどちらもだ」ということは誤りである fact3: もしも「なにかは温まらないかそれは悲しない」ということは間違いであるとすれば悍ましかない fact4: もし「なにがしかの物はアメリカらしい」ということは成り立つとしたら「それは行使等だということはないかまたはそれは憂いということはないかまたは両方ともだ」ということは事実と異なる fact5: 「「その盗聴は腕押しでないかまたはそれは表現し難いかどちらもだ」ということは事実でないならばあの盗聴は梳かない」ということは成り立つ fact6: もし仮にある物が御寮なら温まる fact7: そのインプモンは温まる fact8: そのインプモンは御寮でそれは表現し難い
fact8 -> int1: そのインプモンは表現し難い; fact2 -> int2: もし仮にそのインプモンは表現し難いとしたら「温まらないかもしくはそれは悲しないかまたは両方ともだ」ということは成り立つということはない; int1 & int2 -> int3: 「そのインプモンは温まるということはないか悲しないかまたは両方ともである」ということは偽である; fact3 -> int4: もし仮に「そのインプモンは温まらないか悲しないかまたは両方ともだ」ということは成り立たないとしたら悍ましかない; int3 & int4 -> hypothesis;
そのＦＴＰコマンドは温まる
fact9 -> int5: もし仮にそのインプモンは御寮であるならばそれは温まる;
$facts$ = fact1: もしもそのインプモンは表現し難いとすれば「それは温まる」ということは成り立つ fact2: 仮になんらかの物は表現し難いとしたら「それは温まらないかもしくはそれは悲しないかまたはどちらもだ」ということは誤りである fact3: もしも「なにかは温まらないかそれは悲しない」ということは間違いであるとすれば悍ましかない fact4: もし「なにがしかの物はアメリカらしい」ということは成り立つとしたら「それは行使等だということはないかまたはそれは憂いということはないかまたは両方ともだ」ということは事実と異なる fact5: 「「その盗聴は腕押しでないかまたはそれは表現し難いかどちらもだ」ということは事実でないならばあの盗聴は梳かない」ということは成り立つ fact6: もし仮にある物が御寮なら温まる fact7: そのインプモンは温まる fact8: そのインプモンは御寮でそれは表現し難い ; $hypothesis$ = そのインプモンは悍ましかない ; $proof$ = 
fact8 -> int1: そのインプモンは表現し難い; fact2 -> int2: もし仮にそのインプモンは表現し難いとしたら「温まらないかもしくはそれは悲しないかまたは両方ともだ」ということは成り立つということはない; int1 & int2 -> int3: 「そのインプモンは温まるということはないか悲しないかまたは両方ともである」ということは偽である; fact3 -> int4: もし仮に「そのインプモンは温まらないか悲しないかまたは両方ともだ」ということは成り立たないとしたら悍ましかない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもそのインプモンは表現し難いとすれば「それは温まる」ということは成り立つ
事実2: 仮になんらかの物は表現し難いとしたら「それは温まらないかもしくはそれは悲しないかまたはどちらもだ」ということは誤りである
事実3: もしも「なにかは温まらないかそれは悲しない」ということは間違いであるとすれば悍ましかない
事実4: もし「なにがしかの物はアメリカらしい」ということは成り立つとしたら「それは行使等だということはないかまたはそれは憂いということはないかまたは両方ともだ」ということは事実と異なる
事実5: 「「その盗聴は腕押しでないかまたはそれは表現し難いかどちらもだ」ということは事実でないならばあの盗聴は梳かない」ということは成り立つ
事実6: もし仮にある物が御寮なら温まる
事実7: そのインプモンは温まる
事実8: そのインプモンは御寮でそれは表現し難い

仮説: そのインプモンは悍ましかない
1. 事実8から、推論1: "そのインプモンは表現し難い"が導かれる
2. 事実2から、推論2: "もし仮にそのインプモンは表現し難いとしたら「温まらないかもしくはそれは悲しないかまたは両方ともだ」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "「そのインプモンは温まるということはないか悲しないかまたは両方ともである」ということは偽である"が導かれる
4. 事実3から、推論4: "もし仮に「そのインプモンは温まらないか悲しないかまたは両方ともだ」ということは成り立たないとしたら悍ましかない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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