その局所細分化法は維持する
fact1: その合名は忝い fact2: 仮にその合名が匿うとすればその局所細分化法は維持する fact3: もし仮に「なにかは見詰めるということはない一方で大ヒットする」ということは間違いであるとすれば大ヒットしない fact4: 「その局所細分化法は切り離す」ということは成り立つ fact5: 仮になにかは大ヒットしないならば忝くないが匿う fact6: 仮に何かは物々しかないとしたら「見詰めないけれど大ヒットする」ということは間違っている fact7: 全ては忝い fact8: もし仮になにかは忝いということはないけれど匿うとすればそれは維持しない fact9: 仮にとあるものが切り離す一方で流れ易いということはないとするとそれは物々しかない fact10: すべての物は忝いし匿う
fact10 -> int1: その合名は忝いしかつそれは匿う; int1 -> int2: その合名は匿う; int2 & fact2 -> hypothesis;
fact10 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
その局所細分化法は維持しない
fact14 -> int3: その局所細分化法は忝くない一方で匿えば「それは維持しない」ということは成り立つ; fact13 -> int4: もし仮にその局所細分化法が大ヒットするということはないならばそれは忝いということはない一方で匿う; fact15 -> int5: もし仮に「その局所細分化法は見詰めるということはない一方でそれは大ヒットする」ということは成り立たないとすれば大ヒットするということはない; fact12 -> int6: 仮にその局所細分化法は物々しかないならば「それは見詰めない一方で大ヒットする」ということは事実でない; fact16 -> int7: 仮にその局所細分化法が切り離す一方でそれが流れ易くないとしたらそれは物々しかない;
$facts$ = fact1: その合名は忝い fact2: 仮にその合名が匿うとすればその局所細分化法は維持する fact3: もし仮に「なにかは見詰めるということはない一方で大ヒットする」ということは間違いであるとすれば大ヒットしない fact4: 「その局所細分化法は切り離す」ということは成り立つ fact5: 仮になにかは大ヒットしないならば忝くないが匿う fact6: 仮に何かは物々しかないとしたら「見詰めないけれど大ヒットする」ということは間違っている fact7: 全ては忝い fact8: もし仮になにかは忝いということはないけれど匿うとすればそれは維持しない fact9: 仮にとあるものが切り離す一方で流れ易いということはないとするとそれは物々しかない fact10: すべての物は忝いし匿う ; $hypothesis$ = その局所細分化法は維持する ; $proof$ = 
fact10 -> int1: その合名は忝いしかつそれは匿う; int1 -> int2: その合名は匿う; int2 & fact2 -> hypothesis; __PROVED__
事実1: その合名は忝い
事実2: 仮にその合名が匿うとすればその局所細分化法は維持する
事実3: もし仮に「なにかは見詰めるということはない一方で大ヒットする」ということは間違いであるとすれば大ヒットしない
事実4: 「その局所細分化法は切り離す」ということは成り立つ
事実5: 仮になにかは大ヒットしないならば忝くないが匿う
事実6: 仮に何かは物々しかないとしたら「見詰めないけれど大ヒットする」ということは間違っている
事実7: 全ては忝い
事実8: もし仮になにかは忝いということはないけれど匿うとすればそれは維持しない
事実9: 仮にとあるものが切り離す一方で流れ易いということはないとするとそれは物々しかない
事実10: すべての物は忝いし匿う

仮説: その局所細分化法は維持する
1. 事実10から、推論1: "その合名は忝いしかつそれは匿う"が導かれる
2. 推論1から、推論2: "その合名は匿う"が導かれる
3. 推論2と事実2から、仮説が導かれる

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