「あの士官達はど偉くない」ということは成り立つ
fact1: もしその一計が解決し得ないけれどそれは無味乾燥だとすれば「それは成り為さらない」ということは確かである fact2: あの士官達は大人らしくない fact3: もしもとあるものはコントロールし易いということはないとすると「考え難くないしその上高揚しない」ということは偽だ fact4: その鬼門はおっそろし fact5: もしも「「何らかの物はコールドでないしかつ壁紙でない」ということは真実である」ということは嘘ならそれはど偉くない fact6: なにかは開け窯すれば「それは生成方法だ」ということは成り立つ fact7: 仮にこの攻殻はコールドでないなら「それは壁紙でないしさらにおっそろしない」ということは間違っている fact8: もし何らかの物が仄白いとするとそれは熱田津でない fact9: もし仮に「この攻殻は語り給う」ということは成り立てばあの士官達は起き直る fact10: 生成方法は語り給う fact11: 仮にこの攻殻が宝刀だとするとおっそろしということはない fact12: 何らかの物はおっそろしということはないとすれば「コールドだということはないしそれにそれは壁紙であるということはない」ということは偽である fact13: この攻殻はおっそろし fact14: 「「この攻殻はど偉くなくてまたコールドでない」ということは偽ならばこの攻殻はおっそろしということはない」ということは真実だ fact15: あの士官達は間近い fact16: もし仮にその一計が成り為さるということはないとするとあの意図作りは高揚するけれど開け窯しない fact17: もし仮に「何かは蕗の薹でないししょんぼりしない」ということは成り立たないとすると得難くない fact18: もしあの意図作りが高揚する一方でそれが開け窯しないとすればこの攻殻は開け窯する fact19: 仮に何らかのものは起き直るとしたら「おっそろしということはない」ということは誤っている fact20: 仮にこの攻殻がコールドならあの士官達はコールドでない fact21: もし仮にこの攻殻がおっそろしならばあの士官達はおっそろしない fact22: もし仮に何らかのものは滑り易いならば「晴れはましくらない」ということは正しい fact23: もし仮になにがしかのものは御亡くなりに成るということはないならば「それは見窄らしいしかつそれは国際単位系だということはない」ということは成り立たない
fact12 -> int1: 仮に「あの士官達はおっそろしない」ということは確かなら「それはコールドであるということはないし壁紙でない」ということは事実と異なる; fact21 & fact13 -> int2: あの士官達はおっそろしない; int1 & int2 -> int3: 「あの士官達はコールドだということはないしおまけにそれは壁紙でない」ということは誤っている; fact5 -> int4: もしも「「あの士官達はコールドでなくて加えて壁紙でない」ということは誤りである」ということは成り立つならど偉くない; int3 & int4 -> hypothesis;
あの士官達はど偉い
fact27 -> int5: あの士官達が起き直るとするとおっそろし; fact30 -> int6: もし仮にこの攻殻は生成方法であるならば「それは語り給う」ということは正しい; fact25 -> int7: もしもこの攻殻が開け窯するなら生成方法である;
$facts$ = fact1: もしその一計が解決し得ないけれどそれは無味乾燥だとすれば「それは成り為さらない」ということは確かである fact2: あの士官達は大人らしくない fact3: もしもとあるものはコントロールし易いということはないとすると「考え難くないしその上高揚しない」ということは偽だ fact4: その鬼門はおっそろし fact5: もしも「「何らかの物はコールドでないしかつ壁紙でない」ということは真実である」ということは嘘ならそれはど偉くない fact6: なにかは開け窯すれば「それは生成方法だ」ということは成り立つ fact7: 仮にこの攻殻はコールドでないなら「それは壁紙でないしさらにおっそろしない」ということは間違っている fact8: もし何らかの物が仄白いとするとそれは熱田津でない fact9: もし仮に「この攻殻は語り給う」ということは成り立てばあの士官達は起き直る fact10: 生成方法は語り給う fact11: 仮にこの攻殻が宝刀だとするとおっそろしということはない fact12: 何らかの物はおっそろしということはないとすれば「コールドだということはないしそれにそれは壁紙であるということはない」ということは偽である fact13: この攻殻はおっそろし fact14: 「「この攻殻はど偉くなくてまたコールドでない」ということは偽ならばこの攻殻はおっそろしということはない」ということは真実だ fact15: あの士官達は間近い fact16: もし仮にその一計が成り為さるということはないとするとあの意図作りは高揚するけれど開け窯しない fact17: もし仮に「何かは蕗の薹でないししょんぼりしない」ということは成り立たないとすると得難くない fact18: もしあの意図作りが高揚する一方でそれが開け窯しないとすればこの攻殻は開け窯する fact19: 仮に何らかのものは起き直るとしたら「おっそろしということはない」ということは誤っている fact20: 仮にこの攻殻がコールドならあの士官達はコールドでない fact21: もし仮にこの攻殻がおっそろしならばあの士官達はおっそろしない fact22: もし仮に何らかのものは滑り易いならば「晴れはましくらない」ということは正しい fact23: もし仮になにがしかのものは御亡くなりに成るということはないならば「それは見窄らしいしかつそれは国際単位系だということはない」ということは成り立たない ; $hypothesis$ = 「あの士官達はど偉くない」ということは成り立つ ; $proof$ = 
fact12 -> int1: 仮に「あの士官達はおっそろしない」ということは確かなら「それはコールドであるということはないし壁紙でない」ということは事実と異なる; fact21 & fact13 -> int2: あの士官達はおっそろしない; int1 & int2 -> int3: 「あの士官達はコールドだということはないしおまけにそれは壁紙でない」ということは誤っている; fact5 -> int4: もしも「「あの士官達はコールドでなくて加えて壁紙でない」ということは誤りである」ということは成り立つならど偉くない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしその一計が解決し得ないけれどそれは無味乾燥だとすれば「それは成り為さらない」ということは確かである
事実2: あの士官達は大人らしくない
事実3: もしもとあるものはコントロールし易いということはないとすると「考え難くないしその上高揚しない」ということは偽だ
事実4: その鬼門はおっそろし
事実5: もしも「「何らかの物はコールドでないしかつ壁紙でない」ということは真実である」ということは嘘ならそれはど偉くない
事実6: なにかは開け窯すれば「それは生成方法だ」ということは成り立つ
事実7: 仮にこの攻殻はコールドでないなら「それは壁紙でないしさらにおっそろしない」ということは間違っている
事実8: もし何らかの物が仄白いとするとそれは熱田津でない
事実9: もし仮に「この攻殻は語り給う」ということは成り立てばあの士官達は起き直る
事実10: 生成方法は語り給う
事実11: 仮にこの攻殻が宝刀だとするとおっそろしということはない
事実12: 何らかの物はおっそろしということはないとすれば「コールドだということはないしそれにそれは壁紙であるということはない」ということは偽である
事実13: この攻殻はおっそろし
事実14: 「「この攻殻はど偉くなくてまたコールドでない」ということは偽ならばこの攻殻はおっそろしということはない」ということは真実だ
事実15: あの士官達は間近い
事実16: もし仮にその一計が成り為さるということはないとするとあの意図作りは高揚するけれど開け窯しない
事実17: もし仮に「何かは蕗の薹でないししょんぼりしない」ということは成り立たないとすると得難くない
事実18: もしあの意図作りが高揚する一方でそれが開け窯しないとすればこの攻殻は開け窯する
事実19: 仮に何らかのものは起き直るとしたら「おっそろしということはない」ということは誤っている
事実20: 仮にこの攻殻がコールドならあの士官達はコールドでない
事実21: もし仮にこの攻殻がおっそろしならばあの士官達はおっそろしない
事実22: もし仮に何らかのものは滑り易いならば「晴れはましくらない」ということは正しい
事実23: もし仮になにがしかのものは御亡くなりに成るということはないならば「それは見窄らしいしかつそれは国際単位系だということはない」ということは成り立たない

仮説: 「あの士官達はど偉くない」ということは成り立つ
1. 事実12から、推論1: "仮に「あの士官達はおっそろしない」ということは確かなら「それはコールドであるということはないし壁紙でない」ということは事実と異なる"が導かれる
2. 事実21と事実13から、推論2: "あの士官達はおっそろしない"が導かれる
3. 推論1と推論2から、推論3: "「あの士官達はコールドだということはないしおまけにそれは壁紙でない」ということは誤っている"が導かれる
4. 事実5から、推論4: "もしも「「あの士官達はコールドでなくて加えて壁紙でない」ということは誤りである」ということは成り立つならど偉くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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