その駅ビルは無声化し易い
fact1: もし仮にその各庁は昭和戦前期ならば「その駅ビルは無声化し易い」ということは本当である fact2: もしそのフルサイズが吸収され易くないならばその各庁は取り次ぐ fact3: そのフルサイズは吸収され易いということはない fact4: もしもなんらかのものが取り次ぐとするとそれは昭和戦前期である fact5: あのリーダー達は吸収され易い
fact2 & fact3 -> int1: その各庁は取り次ぐ; fact4 -> int2: もし仮にその各庁が取り次ぐとすると昭和戦前期である; int1 & int2 -> int3: その各庁は昭和戦前期だ; int3 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にその各庁は昭和戦前期ならば「その駅ビルは無声化し易い」ということは本当である fact2: もしそのフルサイズが吸収され易くないならばその各庁は取り次ぐ fact3: そのフルサイズは吸収され易いということはない fact4: もしもなんらかのものが取り次ぐとするとそれは昭和戦前期である fact5: あのリーダー達は吸収され易い ; $hypothesis$ = その駅ビルは無声化し易い ; $proof$ = 
fact2 & fact3 -> int1: その各庁は取り次ぐ; fact4 -> int2: もし仮にその各庁が取り次ぐとすると昭和戦前期である; int1 & int2 -> int3: その各庁は昭和戦前期だ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその各庁は昭和戦前期ならば「その駅ビルは無声化し易い」ということは本当である
事実2: もしそのフルサイズが吸収され易くないならばその各庁は取り次ぐ
事実3: そのフルサイズは吸収され易いということはない
事実4: もしもなんらかのものが取り次ぐとするとそれは昭和戦前期である
事実5: あのリーダー達は吸収され易い

仮説: その駅ビルは無声化し易い
1. 事実2と事実3から、推論1: "その各庁は取り次ぐ"が導かれる
2. 事実4から、推論2: "もし仮にその各庁が取り次ぐとすると昭和戦前期である"が導かれる
3. 推論1と推論2から、推論3: "その各庁は昭和戦前期だ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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