あの上がり役は死別しない
fact1: 「勇ましい」物はある fact2: あの上がり役は馬鹿でかくないかまたは胡散臭いかあるいは両方である fact3: もし何かは築城するということはないかそれが思い為さるとすると死別する fact4: もし仮にあるものが勇ましいとするとあの上がり役は得難しがしかし築城するということはない
fact1 & fact4 -> int1: あの上がり役は得難しが築城しない; int1 -> int2: あの上がり役は築城するということはない; int2 -> int3: あの上がり役は築城しないかもしくはそれは思い為さる; fact3 -> int4: 仮にあの上がり役は築城しないか思い為さるかもしくは両方ともであるとすれば死別する; int3 & int4 -> hypothesis;
$facts$ = fact1: 「勇ましい」物はある fact2: あの上がり役は馬鹿でかくないかまたは胡散臭いかあるいは両方である fact3: もし何かは築城するということはないかそれが思い為さるとすると死別する fact4: もし仮にあるものが勇ましいとするとあの上がり役は得難しがしかし築城するということはない ; $hypothesis$ = あの上がり役は死別しない ; $proof$ = 
fact1 & fact4 -> int1: あの上がり役は得難しが築城しない; int1 -> int2: あの上がり役は築城するということはない; int2 -> int3: あの上がり役は築城しないかもしくはそれは思い為さる; fact3 -> int4: 仮にあの上がり役は築城しないか思い為さるかもしくは両方ともであるとすれば死別する; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「勇ましい」物はある
事実2: あの上がり役は馬鹿でかくないかまたは胡散臭いかあるいは両方である
事実3: もし何かは築城するということはないかそれが思い為さるとすると死別する
事実4: もし仮にあるものが勇ましいとするとあの上がり役は得難しがしかし築城するということはない

仮説: あの上がり役は死別しない
1. 事実1と事実4から、推論1: "あの上がり役は得難しが築城しない"が導かれる
2. 推論1から、推論2: "あの上がり役は築城するということはない"が導かれる
3. 推論2から、推論3: "あの上がり役は築城しないかもしくはそれは思い為さる"が導かれる
4. 事実3から、推論4: "仮にあの上がり役は築城しないか思い為さるかもしくは両方ともであるとすれば死別する"が導かれる
5. 推論3と推論4から、仮説が否定される

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