あのテープドライブは事切れるかあるいはそれは青黒い
fact1: あのエプロン姿は取り去るということはないならば「「あのテープドライブは事切れるかあるいはそれは青黒いか両方ともだ」ということは成り立つ」ということは成り立たない fact2: あのテープドライブは逆フーリエ変換だ fact3: あのエプロン姿は逆フーリエ変換である fact4: もしも「この宇宙はイメージし易くない」ということは成り立つならばあの我々人類は空々しかない fact5: 仮にあのエプロン姿が取り去るとすると逆フーリエ変換である一方で希釈しない fact6: あのエプロン姿は神秘化するということはない fact7: 仮にあのエプロン姿が逆フーリエ変換だが希釈しないとするとあのテープドライブは麗々しくない fact8: 仮にある物が逆フーリエ変換でないならばそれは希釈するかまたは麗々しい fact9: 仮にこのペン先が神秘化しないならこの投影レンズは美術館・博物館であるかあるいはそれは給油であるかあるいは両方だ fact10: 鋭くない物は晴々しいかあるいは御忙しいかあるいはどちらもだ fact11: このペン先は神秘化するということはない fact12: 仮にあのテープドライブが取り去るとすると麗々しいが事切れない fact13: 仮にその我々人類が空々しかないしそれが取り去らないならばあのエプロン姿は取り去らない fact14: もしもこの除霊が開国するとしたら寛永年間だ fact15: 仮にこの投影レンズが給油だとしたらこの宇宙はイメージし易くない fact16: あのエプロン姿が青黒いとしたら取り去る一方で逆フーリエ変換でない fact17: 仮にあのエプロン姿が麗々しいならば青黒くてそれは希釈しない fact18: あのエプロン姿は取り去る fact19: 麗々しくない物は事切れるかあるいは青黒いかまたはどちらもである fact20: 「あのエプロン姿は麗々しい」ということは本当だとすればそれは取り去る fact21: もし仮にこの投影レンズが美術館・博物館であるならばこの宇宙はイメージし易くない
fact5 & fact18 -> int1: あのエプロン姿は逆フーリエ変換だけれど希釈しない; int1 & fact7 -> int2: 「あのテープドライブは麗々しくない」ということは成り立つ; fact19 -> int3: もし「あのテープドライブは麗々しくない」ということは確かならば事切れるかあるいはそれは青黒い; int2 & int3 -> hypothesis;
fact5 & fact18 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact7 -> int2: ¬{B}{b}; fact19 -> int3: ¬{B}{b} -> ({D}{b} v {C}{b}); int2 & int3 -> hypothesis;
「あのテープドライブは事切れるかまたはそれは青黒いかまたは両方ともだ」ということは成り立たない
fact27 & fact24 -> int4: この投影レンズは美術館・博物館であるか給油である; int4 & fact25 & fact22 -> int5: この宇宙はイメージし易くない; fact23 & int5 -> int6: その我々人類は空々しかない;
$facts$ = fact1: あのエプロン姿は取り去るということはないならば「「あのテープドライブは事切れるかあるいはそれは青黒いか両方ともだ」ということは成り立つ」ということは成り立たない fact2: あのテープドライブは逆フーリエ変換だ fact3: あのエプロン姿は逆フーリエ変換である fact4: もしも「この宇宙はイメージし易くない」ということは成り立つならばあの我々人類は空々しかない fact5: 仮にあのエプロン姿が取り去るとすると逆フーリエ変換である一方で希釈しない fact6: あのエプロン姿は神秘化するということはない fact7: 仮にあのエプロン姿が逆フーリエ変換だが希釈しないとするとあのテープドライブは麗々しくない fact8: 仮にある物が逆フーリエ変換でないならばそれは希釈するかまたは麗々しい fact9: 仮にこのペン先が神秘化しないならこの投影レンズは美術館・博物館であるかあるいはそれは給油であるかあるいは両方だ fact10: 鋭くない物は晴々しいかあるいは御忙しいかあるいはどちらもだ fact11: このペン先は神秘化するということはない fact12: 仮にあのテープドライブが取り去るとすると麗々しいが事切れない fact13: 仮にその我々人類が空々しかないしそれが取り去らないならばあのエプロン姿は取り去らない fact14: もしもこの除霊が開国するとしたら寛永年間だ fact15: 仮にこの投影レンズが給油だとしたらこの宇宙はイメージし易くない fact16: あのエプロン姿が青黒いとしたら取り去る一方で逆フーリエ変換でない fact17: 仮にあのエプロン姿が麗々しいならば青黒くてそれは希釈しない fact18: あのエプロン姿は取り去る fact19: 麗々しくない物は事切れるかあるいは青黒いかまたはどちらもである fact20: 「あのエプロン姿は麗々しい」ということは本当だとすればそれは取り去る fact21: もし仮にこの投影レンズが美術館・博物館であるならばこの宇宙はイメージし易くない ; $hypothesis$ = あのテープドライブは事切れるかあるいはそれは青黒い ; $proof$ = 
fact5 & fact18 -> int1: あのエプロン姿は逆フーリエ変換だけれど希釈しない; int1 & fact7 -> int2: 「あのテープドライブは麗々しくない」ということは成り立つ; fact19 -> int3: もし「あのテープドライブは麗々しくない」ということは確かならば事切れるかあるいはそれは青黒い; int2 & int3 -> hypothesis; __PROVED__
事実1: あのエプロン姿は取り去るということはないならば「「あのテープドライブは事切れるかあるいはそれは青黒いか両方ともだ」ということは成り立つ」ということは成り立たない
事実2: あのテープドライブは逆フーリエ変換だ
事実3: あのエプロン姿は逆フーリエ変換である
事実4: もしも「この宇宙はイメージし易くない」ということは成り立つならばあの我々人類は空々しかない
事実5: 仮にあのエプロン姿が取り去るとすると逆フーリエ変換である一方で希釈しない
事実6: あのエプロン姿は神秘化するということはない
事実7: 仮にあのエプロン姿が逆フーリエ変換だが希釈しないとするとあのテープドライブは麗々しくない
事実8: 仮にある物が逆フーリエ変換でないならばそれは希釈するかまたは麗々しい
事実9: 仮にこのペン先が神秘化しないならこの投影レンズは美術館・博物館であるかあるいはそれは給油であるかあるいは両方だ
事実10: 鋭くない物は晴々しいかあるいは御忙しいかあるいはどちらもだ
事実11: このペン先は神秘化するということはない
事実12: 仮にあのテープドライブが取り去るとすると麗々しいが事切れない
事実13: 仮にその我々人類が空々しかないしそれが取り去らないならばあのエプロン姿は取り去らない
事実14: もしもこの除霊が開国するとしたら寛永年間だ
事実15: 仮にこの投影レンズが給油だとしたらこの宇宙はイメージし易くない
事実16: あのエプロン姿が青黒いとしたら取り去る一方で逆フーリエ変換でない
事実17: 仮にあのエプロン姿が麗々しいならば青黒くてそれは希釈しない
事実18: あのエプロン姿は取り去る
事実19: 麗々しくない物は事切れるかあるいは青黒いかまたはどちらもである
事実20: 「あのエプロン姿は麗々しい」ということは本当だとすればそれは取り去る
事実21: もし仮にこの投影レンズが美術館・博物館であるならばこの宇宙はイメージし易くない

仮説: あのテープドライブは事切れるかあるいはそれは青黒い
1. 事実5と事実18から、推論1: "あのエプロン姿は逆フーリエ変換だけれど希釈しない"が導かれる
2. 推論1と事実7から、推論2: "「あのテープドライブは麗々しくない」ということは成り立つ"が導かれる
3. 事実19から、推論3: "もし「あのテープドライブは麗々しくない」ということは確かならば事切れるかあるいはそれは青黒い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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