あの名目的は移ろい易くない
fact1: もしも何らかの物が納棺しないとすればその二個組はアット声でない fact2: 何かは鳥類でない fact3: もしもその改正規定が達しないとするとあの名目的は寒ーくないか晒され易いか両方ともだ fact4: もし仮にその二個組がアット声でないとすればあの魚料理は恵む fact5: なにかは納棺するかあるいは取っ捕まるかあるいは両方である fact6: もしもその改正規定が達しないとするとあの名目的は寒ーいか晒され易いかあるいは両方である fact7: この魚料理は恵む fact8: この魚料理は恵むけれど寒ーくない fact9: 「恵むしさらに鳥類である」物はある fact10: あの名目的は寒ーいかあるいは晒され易い fact11: もし仮に何かは寒ーくないとすると移ろい易くない fact12: 仮にその二個組が達しないかもしくはそれは移ろい易いかあるいは両方であるとしたらアット声でない fact13: 「恵むけど鳥類だということはない」ものがあるとすればその改正規定は達しない fact14: もしも何かは寒ーくないか晒され易いか両方であるならばそれは移ろい易くない fact15: 仮に「なにがしかの物はアット声だけど取っ捕まらない」ということは間違いであるなら「それはアット声でない」ということは事実と異ならない fact16: 仮にその二個組はアット声でないなら「この魚料理は恵む一方でそれは鳥類でない」ということは成り立つ fact17: 「恵む」物はある fact18: 仮になんらかのものが恵むならそれは納棺する fact19: もし仮にあの名目的が寒ーくないとしたらそれは移ろい易くない fact20: 「納棺しないか取っ捕まるか両方ともである」物はある fact21: もし仮に「納棺しないかあるいは取っ捕まるかあるいは両方ともである」物があればその二個組はアット声でない fact22: もしも「ある物はアット声だということはなくて取っ捕まらない」ということは誤りであるとしたらそれは納棺する
fact20 & fact21 -> int1: その二個組はアット声でない; int1 & fact16 -> int2: この魚料理は恵むけれど鳥類でない; int2 -> int3: 「恵むしかつ鳥類でない」ものはある; int3 & fact13 -> int4: その改正規定は達するということはない; int4 & fact3 -> int5: あの名目的は寒ーくないかそれは晒され易い; fact14 -> int6: もしもあの名目的は寒ーくないかもしくは晒され易いかもしくはどちらもであるならばそれは移ろい易いということはない; int5 & int6 -> hypothesis;
その改正規定はアット声でない
fact24 -> int7: もし「その改正規定はアット声だがしかしそれは取っ捕まるということはない」ということは成り立つということはないとしたらアット声だということはない; fact23 -> int8: 仮に「その改正規定は恵む」ということは誤っていないなら納棺する;
$facts$ = fact1: もしも何らかの物が納棺しないとすればその二個組はアット声でない fact2: 何かは鳥類でない fact3: もしもその改正規定が達しないとするとあの名目的は寒ーくないか晒され易いか両方ともだ fact4: もし仮にその二個組がアット声でないとすればあの魚料理は恵む fact5: なにかは納棺するかあるいは取っ捕まるかあるいは両方である fact6: もしもその改正規定が達しないとするとあの名目的は寒ーいか晒され易いかあるいは両方である fact7: この魚料理は恵む fact8: この魚料理は恵むけれど寒ーくない fact9: 「恵むしさらに鳥類である」物はある fact10: あの名目的は寒ーいかあるいは晒され易い fact11: もし仮に何かは寒ーくないとすると移ろい易くない fact12: 仮にその二個組が達しないかもしくはそれは移ろい易いかあるいは両方であるとしたらアット声でない fact13: 「恵むけど鳥類だということはない」ものがあるとすればその改正規定は達しない fact14: もしも何かは寒ーくないか晒され易いか両方であるならばそれは移ろい易くない fact15: 仮に「なにがしかの物はアット声だけど取っ捕まらない」ということは間違いであるなら「それはアット声でない」ということは事実と異ならない fact16: 仮にその二個組はアット声でないなら「この魚料理は恵む一方でそれは鳥類でない」ということは成り立つ fact17: 「恵む」物はある fact18: 仮になんらかのものが恵むならそれは納棺する fact19: もし仮にあの名目的が寒ーくないとしたらそれは移ろい易くない fact20: 「納棺しないか取っ捕まるか両方ともである」物はある fact21: もし仮に「納棺しないかあるいは取っ捕まるかあるいは両方ともである」物があればその二個組はアット声でない fact22: もしも「ある物はアット声だということはなくて取っ捕まらない」ということは誤りであるとしたらそれは納棺する ; $hypothesis$ = あの名目的は移ろい易くない ; $proof$ = 
fact20 & fact21 -> int1: その二個組はアット声でない; int1 & fact16 -> int2: この魚料理は恵むけれど鳥類でない; int2 -> int3: 「恵むしかつ鳥類でない」ものはある; int3 & fact13 -> int4: その改正規定は達するということはない; int4 & fact3 -> int5: あの名目的は寒ーくないかそれは晒され易い; fact14 -> int6: もしもあの名目的は寒ーくないかもしくは晒され易いかもしくはどちらもであるならばそれは移ろい易いということはない; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも何らかの物が納棺しないとすればその二個組はアット声でない
事実2: 何かは鳥類でない
事実3: もしもその改正規定が達しないとするとあの名目的は寒ーくないか晒され易いか両方ともだ
事実4: もし仮にその二個組がアット声でないとすればあの魚料理は恵む
事実5: なにかは納棺するかあるいは取っ捕まるかあるいは両方である
事実6: もしもその改正規定が達しないとするとあの名目的は寒ーいか晒され易いかあるいは両方である
事実7: この魚料理は恵む
事実8: この魚料理は恵むけれど寒ーくない
事実9: 「恵むしさらに鳥類である」物はある
事実10: あの名目的は寒ーいかあるいは晒され易い
事実11: もし仮に何かは寒ーくないとすると移ろい易くない
事実12: 仮にその二個組が達しないかもしくはそれは移ろい易いかあるいは両方であるとしたらアット声でない
事実13: 「恵むけど鳥類だということはない」ものがあるとすればその改正規定は達しない
事実14: もしも何かは寒ーくないか晒され易いか両方であるならばそれは移ろい易くない
事実15: 仮に「なにがしかの物はアット声だけど取っ捕まらない」ということは間違いであるなら「それはアット声でない」ということは事実と異ならない
事実16: 仮にその二個組はアット声でないなら「この魚料理は恵む一方でそれは鳥類でない」ということは成り立つ
事実17: 「恵む」物はある
事実18: 仮になんらかのものが恵むならそれは納棺する
事実19: もし仮にあの名目的が寒ーくないとしたらそれは移ろい易くない
事実20: 「納棺しないか取っ捕まるか両方ともである」物はある
事実21: もし仮に「納棺しないかあるいは取っ捕まるかあるいは両方ともである」物があればその二個組はアット声でない
事実22: もしも「ある物はアット声だということはなくて取っ捕まらない」ということは誤りであるとしたらそれは納棺する

仮説: あの名目的は移ろい易くない
1. 事実20と事実21から、推論1: "その二個組はアット声でない"が導かれる
2. 推論1と事実16から、推論2: "この魚料理は恵むけれど鳥類でない"が導かれる
3. 推論2から、推論3: "「恵むしかつ鳥類でない」ものはある"が導かれる
4. 推論3と事実13から、推論4: "その改正規定は達するということはない"が導かれる
5. 推論4と事実3から、推論5: "あの名目的は寒ーくないかそれは晒され易い"が導かれる
6. 事実14から、推論6: "もしもあの名目的は寒ーくないかもしくは晒され易いかもしくはどちらもであるならばそれは移ろい易いということはない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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