その世界社会主義体制諸国は資産管理である
fact1: もし仮にあの蛮社は渡り歩くとしたら「あの日本古来は難くないしそれは渡り歩かない」ということは間違いである fact2: 「あの日本古来は難いということはなくておまけに渡り歩かない」ということは誤っていれば「その世界社会主義体制諸国は資産管理である」ということは事実と異ならない fact3: あの蛮社は渡り歩くが終戦直後でない
fact3 -> int1: あの蛮社は渡り歩く; int1 & fact1 -> int2: 「あの日本古来は難くないしそれに渡り歩くということはない」ということは事実と異なる; int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にあの蛮社は渡り歩くとしたら「あの日本古来は難くないしそれは渡り歩かない」ということは間違いである fact2: 「あの日本古来は難いということはなくておまけに渡り歩かない」ということは誤っていれば「その世界社会主義体制諸国は資産管理である」ということは事実と異ならない fact3: あの蛮社は渡り歩くが終戦直後でない ; $hypothesis$ = その世界社会主義体制諸国は資産管理である ; $proof$ = 
fact3 -> int1: あの蛮社は渡り歩く; int1 & fact1 -> int2: 「あの日本古来は難くないしそれに渡り歩くということはない」ということは事実と異なる; int2 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にあの蛮社は渡り歩くとしたら「あの日本古来は難くないしそれは渡り歩かない」ということは間違いである
事実2: 「あの日本古来は難いということはなくておまけに渡り歩かない」ということは誤っていれば「その世界社会主義体制諸国は資産管理である」ということは事実と異ならない
事実3: あの蛮社は渡り歩くが終戦直後でない

仮説: その世界社会主義体制諸国は資産管理である
1. 事実3から、推論1: "あの蛮社は渡り歩く"が導かれる
2. 推論1と事実1から、推論2: "「あの日本古来は難くないしそれに渡り歩くということはない」ということは事実と異なる"が導かれる
3. 推論2と事実2から、仮説が導かれる

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