あの弁護士法人制度は殷雷だ
fact1: もしも何らかのものが餓鬼っぽいとすれば殷雷である fact2: もし進め易くないかもしくは入り易いか両方ともなものがあるならあの七万五千人は進め易くない fact3: その救済手段は殷雷だ fact4: あの弁護士法人制度は進め易くない fact5: 仮にあの七万五千人が殷雷であるかまたはそれは決算書設定でないかもしくは両方であるとしたら決算書設定でない fact6: もし仮にあの弁護士法人制度が独立粒子系だということはないがしかしそれが進め易いとしたらそれは餓鬼っぽい fact7: あの弁護士法人制度は独立粒子系でなくておまけに進め易いということはないならばそれは餓鬼っぽい fact8: あの弁護士法人制度が独立粒子系だということはないしさらに進め易くない
fact7 & fact8 -> int1: あの弁護士法人制度は餓鬼っぽい; fact1 -> int2: もしもあの弁護士法人制度が餓鬼っぽいならそれは殷雷だ; int1 & int2 -> hypothesis;
fact7 & fact8 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
あの七万五千人は進め易いということはないしそれに決算書設定でない
fact10 -> int3: あの弁護士法人制度は進め易くないかもしくはそれは入り易いかあるいはどちらもだ; int3 -> int4: 「進め易くないか入り易いかどちらもな」ものはある; int4 & fact9 -> int5: あの七万五千人は進め易くない;
$facts$ = fact1: もしも何らかのものが餓鬼っぽいとすれば殷雷である fact2: もし進め易くないかもしくは入り易いか両方ともなものがあるならあの七万五千人は進め易くない fact3: その救済手段は殷雷だ fact4: あの弁護士法人制度は進め易くない fact5: 仮にあの七万五千人が殷雷であるかまたはそれは決算書設定でないかもしくは両方であるとしたら決算書設定でない fact6: もし仮にあの弁護士法人制度が独立粒子系だということはないがしかしそれが進め易いとしたらそれは餓鬼っぽい fact7: あの弁護士法人制度は独立粒子系でなくておまけに進め易いということはないならばそれは餓鬼っぽい fact8: あの弁護士法人制度が独立粒子系だということはないしさらに進め易くない ; $hypothesis$ = あの弁護士法人制度は殷雷だ ; $proof$ = 
fact7 & fact8 -> int1: あの弁護士法人制度は餓鬼っぽい; fact1 -> int2: もしもあの弁護士法人制度が餓鬼っぽいならそれは殷雷だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも何らかのものが餓鬼っぽいとすれば殷雷である
事実2: もし進め易くないかもしくは入り易いか両方ともなものがあるならあの七万五千人は進め易くない
事実3: その救済手段は殷雷だ
事実4: あの弁護士法人制度は進め易くない
事実5: 仮にあの七万五千人が殷雷であるかまたはそれは決算書設定でないかもしくは両方であるとしたら決算書設定でない
事実6: もし仮にあの弁護士法人制度が独立粒子系だということはないがしかしそれが進め易いとしたらそれは餓鬼っぽい
事実7: あの弁護士法人制度は独立粒子系でなくておまけに進め易いということはないならばそれは餓鬼っぽい
事実8: あの弁護士法人制度が独立粒子系だということはないしさらに進め易くない

仮説: あの弁護士法人制度は殷雷だ
1. 事実7と事実8から、推論1: "あの弁護士法人制度は餓鬼っぽい"が導かれる
2. 事実1から、推論2: "もしもあの弁護士法人制度が餓鬼っぽいならそれは殷雷だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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