この地方反乱は御辛い
fact1: 古い物が御引き取り下さらないならばそれは御辛くない fact2: 神々しかない物は古いけれど御引き取り下さらない fact3: 「この地方反乱はパール粒子だがしかし取り掛かり易くない」ということは事実と異なる fact4: 仮に「この地方反乱はパール粒子だけれど取り掛かり易くない」ということは事実と異なるならそれは神々しかない
fact4 & fact3 -> int1: この地方反乱は神々しかない; fact2 -> int2: この地方反乱が神々しかないとすると古いけど御引き取り下さるということはない; int1 & int2 -> int3: この地方反乱は古いが御引き取り下さらない; fact1 -> int4: この地方反乱が古いがそれが御引き取り下さらないとしたらそれは御辛くない; int3 & int4 -> hypothesis;
$facts$ = fact1: 古い物が御引き取り下さらないならばそれは御辛くない fact2: 神々しかない物は古いけれど御引き取り下さらない fact3: 「この地方反乱はパール粒子だがしかし取り掛かり易くない」ということは事実と異なる fact4: 仮に「この地方反乱はパール粒子だけれど取り掛かり易くない」ということは事実と異なるならそれは神々しかない ; $hypothesis$ = この地方反乱は御辛い ; $proof$ = 
fact4 & fact3 -> int1: この地方反乱は神々しかない; fact2 -> int2: この地方反乱が神々しかないとすると古いけど御引き取り下さるということはない; int1 & int2 -> int3: この地方反乱は古いが御引き取り下さらない; fact1 -> int4: この地方反乱が古いがそれが御引き取り下さらないとしたらそれは御辛くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 古い物が御引き取り下さらないならばそれは御辛くない
事実2: 神々しかない物は古いけれど御引き取り下さらない
事実3: 「この地方反乱はパール粒子だがしかし取り掛かり易くない」ということは事実と異なる
事実4: 仮に「この地方反乱はパール粒子だけれど取り掛かり易くない」ということは事実と異なるならそれは神々しかない

仮説: この地方反乱は御辛い
1. 事実4と事実3から、推論1: "この地方反乱は神々しかない"が導かれる
2. 事実2から、推論2: "この地方反乱が神々しかないとすると古いけど御引き取り下さるということはない"が導かれる
3. 推論1と推論2から、推論3: "この地方反乱は古いが御引き取り下さらない"が導かれる
4. 事実1から、推論4: "この地方反乱が古いがそれが御引き取り下さらないとしたらそれは御辛くない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。