「あのダブル受賞は際限無くないがめんどい」ということは成り立たない
fact1: あのダブル受賞はめんどい fact2: もし仮にあのダブル受賞が旨しか運び方でないかもしくは両方であるならば「それは際限無くない」ということは成り立つ fact3: もしも「あのダブル受賞は新盆だ」ということは成り立てばそれが旨ししその上それは改元するということはない fact4: あのダブル受賞は新盆だ
fact3 & fact4 -> int1: あのダブル受賞は旨しがしかし改元しない; int1 -> int2: あのダブル受賞は旨し; int2 -> int3: あのダブル受賞は旨しかもしくはそれは運び方でない; int3 & fact2 -> int4: あのダブル受賞は際限無くない; int4 & fact1 -> hypothesis;
$facts$ = fact1: あのダブル受賞はめんどい fact2: もし仮にあのダブル受賞が旨しか運び方でないかもしくは両方であるならば「それは際限無くない」ということは成り立つ fact3: もしも「あのダブル受賞は新盆だ」ということは成り立てばそれが旨ししその上それは改元するということはない fact4: あのダブル受賞は新盆だ ; $hypothesis$ = 「あのダブル受賞は際限無くないがめんどい」ということは成り立たない ; $proof$ = 
fact3 & fact4 -> int1: あのダブル受賞は旨しがしかし改元しない; int1 -> int2: あのダブル受賞は旨し; int2 -> int3: あのダブル受賞は旨しかもしくはそれは運び方でない; int3 & fact2 -> int4: あのダブル受賞は際限無くない; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: あのダブル受賞はめんどい
事実2: もし仮にあのダブル受賞が旨しか運び方でないかもしくは両方であるならば「それは際限無くない」ということは成り立つ
事実3: もしも「あのダブル受賞は新盆だ」ということは成り立てばそれが旨ししその上それは改元するということはない
事実4: あのダブル受賞は新盆だ

仮説: 「あのダブル受賞は際限無くないがめんどい」ということは成り立たない
1. 事実3と事実4から、推論1: "あのダブル受賞は旨しがしかし改元しない"が導かれる
2. 推論1から、推論2: "あのダブル受賞は旨し"が導かれる
3. 推論2から、推論3: "あのダブル受賞は旨しかもしくはそれは運び方でない"が導かれる
4. 推論3と事実2から、推論4: "あのダブル受賞は際限無くない"が導かれる
5. 推論4と事実1から、仮説が否定される

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