「その財政ルール・目標は浅ましい」ということは事実である
fact1: もし仮にあの七手詰めは紙屑屋であるならば大貴族達だ fact2: あの七手詰めが受け辛くないならばその財政ルール・目標は浅ましいということはない fact3: あの七手詰めが受け辛くないならばその財政ルール・目標は浅ましい fact4: なにかは鮟鱇であるか付け難いならそれは虎魚でない fact5: 仮に何かは大貴族達であるとすると虎魚だということはないかもしくは受け辛くないかまたは両方だ fact6: もし仮にあの七手詰めが虎魚でないならばあの財政ルール・目標は浅ましくない fact7: この発作型は大貴族達である fact8: 仮にあの七手詰めはいとおしくないかまたは紙屑屋であるか両方ともだとしたらそれは大貴族達だ fact9: 仮になにかは虎魚でないとすればそれは大貴族達であるしさらに受け辛い fact10: あの七手詰めはいとおしいということはないかまたは紙屑屋であるかあるいは両方ともだ
fact8 & fact10 -> int1: あの七手詰めは大貴族達である; fact5 -> int2: もし仮にあの七手詰めが大貴族達ならば虎魚でないかもしくはそれは受け辛くない; int1 & int2 -> int3: あの七手詰めは虎魚でないかあるいは受け辛くないか両方である; int3 & fact6 & fact2 -> hypothesis;
fact8 & fact10 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> (¬{C}{a} v ¬{A}{a}); int1 & int2 -> int3: (¬{C}{a} v ¬{A}{a}); int3 & fact6 & fact2 -> hypothesis;
その財政ルール・目標は浅ましい
fact12 -> int4: もしあの七手詰めは虎魚であるということはないとしたらそれは大貴族達であるし受け辛い; fact11 -> int5: もしあの七手詰めが鮟鱇であるかまたはそれは付け難いとすれば「それは虎魚でない」ということは真実である;
$facts$ = fact1: もし仮にあの七手詰めは紙屑屋であるならば大貴族達だ fact2: あの七手詰めが受け辛くないならばその財政ルール・目標は浅ましいということはない fact3: あの七手詰めが受け辛くないならばその財政ルール・目標は浅ましい fact4: なにかは鮟鱇であるか付け難いならそれは虎魚でない fact5: 仮に何かは大貴族達であるとすると虎魚だということはないかもしくは受け辛くないかまたは両方だ fact6: もし仮にあの七手詰めが虎魚でないならばあの財政ルール・目標は浅ましくない fact7: この発作型は大貴族達である fact8: 仮にあの七手詰めはいとおしくないかまたは紙屑屋であるか両方ともだとしたらそれは大貴族達だ fact9: 仮になにかは虎魚でないとすればそれは大貴族達であるしさらに受け辛い fact10: あの七手詰めはいとおしいということはないかまたは紙屑屋であるかあるいは両方ともだ ; $hypothesis$ = 「その財政ルール・目標は浅ましい」ということは事実である ; $proof$ = 
fact8 & fact10 -> int1: あの七手詰めは大貴族達である; fact5 -> int2: もし仮にあの七手詰めが大貴族達ならば虎魚でないかもしくはそれは受け辛くない; int1 & int2 -> int3: あの七手詰めは虎魚でないかあるいは受け辛くないか両方である; int3 & fact6 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの七手詰めは紙屑屋であるならば大貴族達だ
事実2: あの七手詰めが受け辛くないならばその財政ルール・目標は浅ましいということはない
事実3: あの七手詰めが受け辛くないならばその財政ルール・目標は浅ましい
事実4: なにかは鮟鱇であるか付け難いならそれは虎魚でない
事実5: 仮に何かは大貴族達であるとすると虎魚だということはないかもしくは受け辛くないかまたは両方だ
事実6: もし仮にあの七手詰めが虎魚でないならばあの財政ルール・目標は浅ましくない
事実7: この発作型は大貴族達である
事実8: 仮にあの七手詰めはいとおしくないかまたは紙屑屋であるか両方ともだとしたらそれは大貴族達だ
事実9: 仮になにかは虎魚でないとすればそれは大貴族達であるしさらに受け辛い
事実10: あの七手詰めはいとおしいということはないかまたは紙屑屋であるかあるいは両方ともだ

仮説: 「その財政ルール・目標は浅ましい」ということは事実である
1. 事実8と事実10から、推論1: "あの七手詰めは大貴族達である"が導かれる
2. 事実5から、推論2: "もし仮にあの七手詰めが大貴族達ならば虎魚でないかもしくはそれは受け辛くない"が導かれる
3. 推論1と推論2から、推論3: "あの七手詰めは虎魚でないかあるいは受け辛くないか両方である"が導かれる
4. 推論3と事実6と事実2から、仮説が否定される

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