あの航空同盟は入り易い
fact1: この部位は乗り易い fact2: もし仮にこの部位が滞り易いとするとあの航空同盟は入り易い fact3: もしこの部位が古めかしいなら真白くない fact4: もしもこの部位は乗り易いとしたら「それは古めかしくないしまたそれは認識し始めない」ということは偽である fact5: もし仮になんらかのものが態とらしくないとしたら早稲田商店会だ fact6: 仮に「あるものは古めかしいということはないし認識し始めない」ということは誤っているなら「真白くない」ということは確かである fact7: もし何らかのものが真白くないとすると滞り易い fact8: 「あの歌劇団は入り易くない」ということは成り立つ
fact6 -> int1: 「この部位は古めかしくないしそれは認識し始めるということはない」ということは嘘であるとしたら真白いということはない; fact1 & fact4 -> int2: 「この部位が古めかしくないしさらに認識し始めない」ということは成り立たない; int1 & int2 -> int3: この部位は真白くない; fact7 -> int4: この部位が真白くないとすると滞り易い; int3 & int4 -> int5: この部位は滞り易い; int5 & fact2 -> hypothesis;
$facts$ = fact1: この部位は乗り易い fact2: もし仮にこの部位が滞り易いとするとあの航空同盟は入り易い fact3: もしこの部位が古めかしいなら真白くない fact4: もしもこの部位は乗り易いとしたら「それは古めかしくないしまたそれは認識し始めない」ということは偽である fact5: もし仮になんらかのものが態とらしくないとしたら早稲田商店会だ fact6: 仮に「あるものは古めかしいということはないし認識し始めない」ということは誤っているなら「真白くない」ということは確かである fact7: もし何らかのものが真白くないとすると滞り易い fact8: 「あの歌劇団は入り易くない」ということは成り立つ ; $hypothesis$ = あの航空同盟は入り易い ; $proof$ = 
fact6 -> int1: 「この部位は古めかしくないしそれは認識し始めるということはない」ということは嘘であるとしたら真白いということはない; fact1 & fact4 -> int2: 「この部位が古めかしくないしさらに認識し始めない」ということは成り立たない; int1 & int2 -> int3: この部位は真白くない; fact7 -> int4: この部位が真白くないとすると滞り易い; int3 & int4 -> int5: この部位は滞り易い; int5 & fact2 -> hypothesis; __PROVED__
事実1: この部位は乗り易い
事実2: もし仮にこの部位が滞り易いとするとあの航空同盟は入り易い
事実3: もしこの部位が古めかしいなら真白くない
事実4: もしもこの部位は乗り易いとしたら「それは古めかしくないしまたそれは認識し始めない」ということは偽である
事実5: もし仮になんらかのものが態とらしくないとしたら早稲田商店会だ
事実6: 仮に「あるものは古めかしいということはないし認識し始めない」ということは誤っているなら「真白くない」ということは確かである
事実7: もし何らかのものが真白くないとすると滞り易い
事実8: 「あの歌劇団は入り易くない」ということは成り立つ

仮説: あの航空同盟は入り易い
1. 事実6から、推論1: "「この部位は古めかしくないしそれは認識し始めるということはない」ということは嘘であるとしたら真白いということはない"が導かれる
2. 事実1と事実4から、推論2: "「この部位が古めかしくないしさらに認識し始めない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この部位は真白くない"が導かれる
4. 事実7から、推論4: "この部位が真白くないとすると滞り易い"が導かれる
5. 推論3と推論4から、推論5: "この部位は滞り易い"が導かれる
6. 推論5と事実2から、仮説が導かれる

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