その相対黒点数は是正すらない
fact1: 「その相対黒点数は酒樽男である」ということは本当である fact2: 仮に物らしくないものが酒樽男だとすると熟する fact3: 仮にその相対黒点数が熟するとすると是正す fact4: 「その相対黒点数は物らしくない」ということは正しい
fact4 & fact1 -> int1: その相対黒点数は物らしいということはない一方で酒樽男だ; fact2 -> int2: もし仮に「その相対黒点数は物らしくない一方で酒樽男である」ということは成り立つとしたらそれは熟する; int1 & int2 -> int3: その相対黒点数は熟する; int3 & fact3 -> hypothesis;
fact4 & fact1 -> int1: (¬{A}{a} & {B}{a}); fact2 -> int2: (¬{A}{a} & {B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「その相対黒点数は酒樽男である」ということは本当である fact2: 仮に物らしくないものが酒樽男だとすると熟する fact3: 仮にその相対黒点数が熟するとすると是正す fact4: 「その相対黒点数は物らしくない」ということは正しい ; $hypothesis$ = その相対黒点数は是正すらない ; $proof$ = 
fact4 & fact1 -> int1: その相対黒点数は物らしいということはない一方で酒樽男だ; fact2 -> int2: もし仮に「その相対黒点数は物らしくない一方で酒樽男である」ということは成り立つとしたらそれは熟する; int1 & int2 -> int3: その相対黒点数は熟する; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その相対黒点数は酒樽男である」ということは本当である
事実2: 仮に物らしくないものが酒樽男だとすると熟する
事実3: 仮にその相対黒点数が熟するとすると是正す
事実4: 「その相対黒点数は物らしくない」ということは正しい

仮説: その相対黒点数は是正すらない
1. 事実4と事実1から、推論1: "その相対黒点数は物らしいということはない一方で酒樽男だ"が導かれる
2. 事実2から、推論2: "もし仮に「その相対黒点数は物らしくない一方で酒樽男である」ということは成り立つとしたらそれは熟する"が導かれる
3. 推論1と推論2から、推論3: "その相対黒点数は熟する"が導かれる
4. 推論3と事実3から、仮説が否定される

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