その職権行使は影響され易い
fact1: あの鬼王丸は持ち掛けるし学道する fact2: なにがしかのものが布魚籠でないけれどそれが持ち掛けるならその職権行使は上回らない fact3: あの視察が脱施設でなくて更にぱっとしないとすればあの鬼王丸は布魚籠だということはない fact4: 仮にあの視察がぱっとするということはない一方で世知辛いとしたらその職権行使は脱施設でない fact5: あるものが上回らないとすればそれは世知辛くないけど影響され易い fact6: あの視察は脱施設でないしさらにそれはぱっとしない
fact3 & fact6 -> int1: あの鬼王丸は布魚籠でない; fact1 -> int2: あの鬼王丸は持ち掛ける; int1 & int2 -> int3: あの鬼王丸は布魚籠でないけれどそれは持ち掛ける; int3 -> int4: なにがしかのものは布魚籠だということはないがしかし持ち掛ける; int4 & fact2 -> int5: その職権行使は上回らない; fact5 -> int6: その職権行使が上回らないとしたら世知辛くない一方で影響され易い; int5 & int6 -> int7: その職権行使は世知辛いということはない一方で影響され易い; int7 -> hypothesis;
$facts$ = fact1: あの鬼王丸は持ち掛けるし学道する fact2: なにがしかのものが布魚籠でないけれどそれが持ち掛けるならその職権行使は上回らない fact3: あの視察が脱施設でなくて更にぱっとしないとすればあの鬼王丸は布魚籠だということはない fact4: 仮にあの視察がぱっとするということはない一方で世知辛いとしたらその職権行使は脱施設でない fact5: あるものが上回らないとすればそれは世知辛くないけど影響され易い fact6: あの視察は脱施設でないしさらにそれはぱっとしない ; $hypothesis$ = その職権行使は影響され易い ; $proof$ = 
fact3 & fact6 -> int1: あの鬼王丸は布魚籠でない; fact1 -> int2: あの鬼王丸は持ち掛ける; int1 & int2 -> int3: あの鬼王丸は布魚籠でないけれどそれは持ち掛ける; int3 -> int4: なにがしかのものは布魚籠だということはないがしかし持ち掛ける; int4 & fact2 -> int5: その職権行使は上回らない; fact5 -> int6: その職権行使が上回らないとしたら世知辛くない一方で影響され易い; int5 & int6 -> int7: その職権行使は世知辛いということはない一方で影響され易い; int7 -> hypothesis; __PROVED__
事実1: あの鬼王丸は持ち掛けるし学道する
事実2: なにがしかのものが布魚籠でないけれどそれが持ち掛けるならその職権行使は上回らない
事実3: あの視察が脱施設でなくて更にぱっとしないとすればあの鬼王丸は布魚籠だということはない
事実4: 仮にあの視察がぱっとするということはない一方で世知辛いとしたらその職権行使は脱施設でない
事実5: あるものが上回らないとすればそれは世知辛くないけど影響され易い
事実6: あの視察は脱施設でないしさらにそれはぱっとしない

仮説: その職権行使は影響され易い
1. 事実3と事実6から、推論1: "あの鬼王丸は布魚籠でない"が導かれる
2. 事実1から、推論2: "あの鬼王丸は持ち掛ける"が導かれる
3. 推論1と推論2から、推論3: "あの鬼王丸は布魚籠でないけれどそれは持ち掛ける"が導かれる
4. 推論3から、推論4: "なにがしかのものは布魚籠だということはないがしかし持ち掛ける"が導かれる
5. 推論4と事実2から、推論5: "その職権行使は上回らない"が導かれる
6. 事実5から、推論6: "その職権行使が上回らないとしたら世知辛くない一方で影響され易い"が導かれる
7. 推論5と推論6から、推論7: "その職権行使は世知辛いということはない一方で影響され易い"が導かれる
8. 推論7から、仮説が導かれる

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