あのアニメーションバナーは飲料消費だということはない
fact1: もしその財産家が利用され易くないならあのアニメーションバナーは受け難くないかまたはそれは危ういか両方だ fact2: 子供っぽい物は利用され易くないかもしくは杖であるかまたはどちらもである fact3: もし仮にあのアニメーションバナーは受け難くないか危ういかまたは両方であるとしたらそれは飲料消費でない fact4: その中枢部は利用され易いが不易でないとすると「その財産家は子供っぽい」ということは成り立つ fact5: 「子供っぽいししかも不易な」物はある fact6: もし子供っぽいものが不易であるならばあの財産家は利用され易くない fact7: もし仮になにかは危ういということはないとしたらそれは利用され易くてそれは不易でない
fact5 & fact6 -> int1: その財産家は利用され易くない; int1 & fact1 -> int2: あのアニメーションバナーは受け難くないか危ういかあるいはどちらもである; int2 & fact3 -> hypothesis;
fact5 & fact6 -> int1: ¬{C}{a}; int1 & fact1 -> int2: (¬{E}{b} v {D}{b}); int2 & fact3 -> hypothesis;
この保全部は利用され易くないかあるいは杖であるかまたは両方ともだ
fact8 -> int3: この保全部が子供っぽいとすれば利用され易くないかあるいはそれは杖である;
$facts$ = fact1: もしその財産家が利用され易くないならあのアニメーションバナーは受け難くないかまたはそれは危ういか両方だ fact2: 子供っぽい物は利用され易くないかもしくは杖であるかまたはどちらもである fact3: もし仮にあのアニメーションバナーは受け難くないか危ういかまたは両方であるとしたらそれは飲料消費でない fact4: その中枢部は利用され易いが不易でないとすると「その財産家は子供っぽい」ということは成り立つ fact5: 「子供っぽいししかも不易な」物はある fact6: もし子供っぽいものが不易であるならばあの財産家は利用され易くない fact7: もし仮になにかは危ういということはないとしたらそれは利用され易くてそれは不易でない ; $hypothesis$ = あのアニメーションバナーは飲料消費だということはない ; $proof$ = 
fact5 & fact6 -> int1: その財産家は利用され易くない; int1 & fact1 -> int2: あのアニメーションバナーは受け難くないか危ういかあるいはどちらもである; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしその財産家が利用され易くないならあのアニメーションバナーは受け難くないかまたはそれは危ういか両方だ
事実2: 子供っぽい物は利用され易くないかもしくは杖であるかまたはどちらもである
事実3: もし仮にあのアニメーションバナーは受け難くないか危ういかまたは両方であるとしたらそれは飲料消費でない
事実4: その中枢部は利用され易いが不易でないとすると「その財産家は子供っぽい」ということは成り立つ
事実5: 「子供っぽいししかも不易な」物はある
事実6: もし子供っぽいものが不易であるならばあの財産家は利用され易くない
事実7: もし仮になにかは危ういということはないとしたらそれは利用され易くてそれは不易でない

仮説: あのアニメーションバナーは飲料消費だということはない
1. 事実5と事実6から、推論1: "その財産家は利用され易くない"が導かれる
2. 推論1と事実1から、推論2: "あのアニメーションバナーは受け難くないか危ういかあるいはどちらもである"が導かれる
3. 推論2と事実3から、仮説が導かれる

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