あの脚本家は圧縮しない
fact1: もし仮にあの脚本家が歩き易いならばそれは圧縮する fact2: この冷蔵室はおっきい fact3: 仮に「この冷蔵室は歩き易い」ということは正しいとすると「あの脚本家は基底状態だということはないけど厭わしい」ということは偽である fact4: 仮にこの冷蔵室がおっきくないかあるいは厭わしいとしたらあの脚本家はおっきくない fact5: この冷蔵室がおっきいならそれは歩き易い fact6: もしあの脚本家が基底状態ならそれは圧縮しない fact7: 基底状態は圧縮しない fact8: 何らかの物がおっきくないならばそれは圧縮する fact9: 「あの脚本家は基底状態であるしそれは厭わしい」ということは誤りである fact10: もしもこの巨根が決勝進出だということはないならばその蔓草が基底状態だしそれは歩き易い fact11: 「その蔓草は決勝進出だ」ということは間違いでないとしたら「それは厭わしくないかもしくは基底状態でないかまたは両方ともである」ということは事実と異なる fact12: もしこの冷蔵室は空転するなら「それは圧縮する」ということは本当である fact13: 仮にあの脚本家は歩き易いならば「厭わしい」ということは正しい fact14: あの脚本家はゴシック体である fact15: もしその蔓草が歩き易いとしたらこの冷蔵室はおっきくないかもしくは厭わしいかもしくは両方ともである fact16: もし仮にあの脚本家が歩き易いならそれは基底状態である fact17: 仮に「なんらかの物は基底状態でないがしかしそれは厭わしい」ということは間違っているとすると圧縮しない fact18: 仮にこの冷蔵室は歩き易いとすると「あの脚本家は基底状態であるしさらに厭わしい」ということは嘘である fact19: もしも「あの脚本家は基底状態だ」ということは確かだとしたら「この冷蔵室は厭わしいし更におっきい」ということは間違っている
fact5 & fact2 -> int1: この冷蔵室は歩き易い; int1 & fact3 -> int2: 「あの脚本家は基底状態でないけど厭わしい」ということは正しくない; fact17 -> int3: 「あの脚本家は基底状態でない一方でそれは厭わしい」ということは間違いであるとするとそれは圧縮しない; int2 & int3 -> hypothesis;
fact5 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ¬(¬{D}{b} & {C}{b}); fact17 -> int3: ¬(¬{D}{b} & {C}{b}) -> ¬{E}{b}; int2 & int3 -> hypothesis;
あの脚本家は圧縮する
$facts$ = fact1: もし仮にあの脚本家が歩き易いならばそれは圧縮する fact2: この冷蔵室はおっきい fact3: 仮に「この冷蔵室は歩き易い」ということは正しいとすると「あの脚本家は基底状態だということはないけど厭わしい」ということは偽である fact4: 仮にこの冷蔵室がおっきくないかあるいは厭わしいとしたらあの脚本家はおっきくない fact5: この冷蔵室がおっきいならそれは歩き易い fact6: もしあの脚本家が基底状態ならそれは圧縮しない fact7: 基底状態は圧縮しない fact8: 何らかの物がおっきくないならばそれは圧縮する fact9: 「あの脚本家は基底状態であるしそれは厭わしい」ということは誤りである fact10: もしもこの巨根が決勝進出だということはないならばその蔓草が基底状態だしそれは歩き易い fact11: 「その蔓草は決勝進出だ」ということは間違いでないとしたら「それは厭わしくないかもしくは基底状態でないかまたは両方ともである」ということは事実と異なる fact12: もしこの冷蔵室は空転するなら「それは圧縮する」ということは本当である fact13: 仮にあの脚本家は歩き易いならば「厭わしい」ということは正しい fact14: あの脚本家はゴシック体である fact15: もしその蔓草が歩き易いとしたらこの冷蔵室はおっきくないかもしくは厭わしいかもしくは両方ともである fact16: もし仮にあの脚本家が歩き易いならそれは基底状態である fact17: 仮に「なんらかの物は基底状態でないがしかしそれは厭わしい」ということは間違っているとすると圧縮しない fact18: 仮にこの冷蔵室は歩き易いとすると「あの脚本家は基底状態であるしさらに厭わしい」ということは嘘である fact19: もしも「あの脚本家は基底状態だ」ということは確かだとしたら「この冷蔵室は厭わしいし更におっきい」ということは間違っている ; $hypothesis$ = あの脚本家は圧縮しない ; $proof$ = 
fact5 & fact2 -> int1: この冷蔵室は歩き易い; int1 & fact3 -> int2: 「あの脚本家は基底状態でないけど厭わしい」ということは正しくない; fact17 -> int3: 「あの脚本家は基底状態でない一方でそれは厭わしい」ということは間違いであるとするとそれは圧縮しない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にあの脚本家が歩き易いならばそれは圧縮する
事実2: この冷蔵室はおっきい
事実3: 仮に「この冷蔵室は歩き易い」ということは正しいとすると「あの脚本家は基底状態だということはないけど厭わしい」ということは偽である
事実4: 仮にこの冷蔵室がおっきくないかあるいは厭わしいとしたらあの脚本家はおっきくない
事実5: この冷蔵室がおっきいならそれは歩き易い
事実6: もしあの脚本家が基底状態ならそれは圧縮しない
事実7: 基底状態は圧縮しない
事実8: 何らかの物がおっきくないならばそれは圧縮する
事実9: 「あの脚本家は基底状態であるしそれは厭わしい」ということは誤りである
事実10: もしもこの巨根が決勝進出だということはないならばその蔓草が基底状態だしそれは歩き易い
事実11: 「その蔓草は決勝進出だ」ということは間違いでないとしたら「それは厭わしくないかもしくは基底状態でないかまたは両方ともである」ということは事実と異なる
事実12: もしこの冷蔵室は空転するなら「それは圧縮する」ということは本当である
事実13: 仮にあの脚本家は歩き易いならば「厭わしい」ということは正しい
事実14: あの脚本家はゴシック体である
事実15: もしその蔓草が歩き易いとしたらこの冷蔵室はおっきくないかもしくは厭わしいかもしくは両方ともである
事実16: もし仮にあの脚本家が歩き易いならそれは基底状態である
事実17: 仮に「なんらかの物は基底状態でないがしかしそれは厭わしい」ということは間違っているとすると圧縮しない
事実18: 仮にこの冷蔵室は歩き易いとすると「あの脚本家は基底状態であるしさらに厭わしい」ということは嘘である
事実19: もしも「あの脚本家は基底状態だ」ということは確かだとしたら「この冷蔵室は厭わしいし更におっきい」ということは間違っている

仮説: あの脚本家は圧縮しない
1. 事実5と事実2から、推論1: "この冷蔵室は歩き易い"が導かれる
2. 推論1と事実3から、推論2: "「あの脚本家は基底状態でないけど厭わしい」ということは正しくない"が導かれる
3. 事実17から、推論3: "「あの脚本家は基底状態でない一方でそれは厭わしい」ということは間違いであるとするとそれは圧縮しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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