この報告パーティは能楽堂でない
fact1: あらゆるものは短い fact2: もし「何かは隠居するしそれに店借り層である」ということは成り立たないならそれは隠居するということはない fact3: もしもある物は短いか隠居するかどちらもであるとすると能楽堂でない fact4: 短い物は隠居する
fact1 -> int1: この報告パーティは短い; int1 -> int2: この報告パーティは短いか隠居するかあるいは両方ともだ; fact3 -> int3: 仮にこの報告パーティが短いか隠居するかどちらもであるとすればそれは能楽堂でない; int2 & int3 -> hypothesis;
あのＯＨ基は隠居する
fact5 -> int4: もし仮にあのＯＨ基が短いとすれば隠居する;
$facts$ = fact1: あらゆるものは短い fact2: もし「何かは隠居するしそれに店借り層である」ということは成り立たないならそれは隠居するということはない fact3: もしもある物は短いか隠居するかどちらもであるとすると能楽堂でない fact4: 短い物は隠居する ; $hypothesis$ = この報告パーティは能楽堂でない ; $proof$ = 
fact1 -> int1: この報告パーティは短い; int1 -> int2: この報告パーティは短いか隠居するかあるいは両方ともだ; fact3 -> int3: 仮にこの報告パーティが短いか隠居するかどちらもであるとすればそれは能楽堂でない; int2 & int3 -> hypothesis; __PROVED__
事実1: あらゆるものは短い
事実2: もし「何かは隠居するしそれに店借り層である」ということは成り立たないならそれは隠居するということはない
事実3: もしもある物は短いか隠居するかどちらもであるとすると能楽堂でない
事実4: 短い物は隠居する

仮説: この報告パーティは能楽堂でない
1. 事実1から、推論1: "この報告パーティは短い"が導かれる
2. 推論1から、推論2: "この報告パーティは短いか隠居するかあるいは両方ともだ"が導かれる
3. 事実3から、推論3: "仮にこの報告パーティが短いか隠居するかどちらもであるとすればそれは能楽堂でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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