「その作業ファイルは過ごし易いしかつ雄々しい」ということは確かでない
fact1: もし仮に「「多変数分析であるしまた雄々しかない」ということは誤っている」物はあるとすると「その作業ファイルは雄々しい」ということは成り立つ fact2: 仮に多変数分析が若くないとすればそれは雄々しかない fact3: 仮に「雄々しい」ものがあるとするとその作業ファイルは雄々しい fact4: このＪＨＤＭ導入イメージは赤し fact5: 「「多変数分析だしそれに雄々しい」ということは誤りな」ものはある fact6: 「「赤しが雄々しかない」ということは誤っている」ものはある fact7: 仮に「とある物は赤しない」ということは正しいならば「過ごし易いしおまけに雄々しい」ということは誤っている fact8: 「「多変数分析であるけれど雄々しいということはない」ということは誤っている」物はある fact9: 「多変数分析だが雄々しかない」物はある fact10: もしこのＪＨＤＭ導入イメージが赤しとするとその作業ファイルは過ごし易い
fact10 & fact4 -> int1: その作業ファイルは過ごし易い; fact1 & fact8 -> int2: 「その作業ファイルは雄々しい」ということは偽でない; int1 & int2 -> hypothesis;
fact10 & fact4 -> int1: {B}{b}; fact1 & fact8 -> int2: {C}{b}; int1 & int2 -> hypothesis;
あのプロ棋士は過ごし易い
fact11 -> int3: 仮にあのプロ棋士が多変数分析だがしかしそれが若いということはないなら雄々しかない;
$facts$ = fact1: もし仮に「「多変数分析であるしまた雄々しかない」ということは誤っている」物はあるとすると「その作業ファイルは雄々しい」ということは成り立つ fact2: 仮に多変数分析が若くないとすればそれは雄々しかない fact3: 仮に「雄々しい」ものがあるとするとその作業ファイルは雄々しい fact4: このＪＨＤＭ導入イメージは赤し fact5: 「「多変数分析だしそれに雄々しい」ということは誤りな」ものはある fact6: 「「赤しが雄々しかない」ということは誤っている」ものはある fact7: 仮に「とある物は赤しない」ということは正しいならば「過ごし易いしおまけに雄々しい」ということは誤っている fact8: 「「多変数分析であるけれど雄々しいということはない」ということは誤っている」物はある fact9: 「多変数分析だが雄々しかない」物はある fact10: もしこのＪＨＤＭ導入イメージが赤しとするとその作業ファイルは過ごし易い ; $hypothesis$ = 「その作業ファイルは過ごし易いしかつ雄々しい」ということは確かでない ; $proof$ = 
fact10 & fact4 -> int1: その作業ファイルは過ごし易い; fact1 & fact8 -> int2: 「その作業ファイルは雄々しい」ということは偽でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「「多変数分析であるしまた雄々しかない」ということは誤っている」物はあるとすると「その作業ファイルは雄々しい」ということは成り立つ
事実2: 仮に多変数分析が若くないとすればそれは雄々しかない
事実3: 仮に「雄々しい」ものがあるとするとその作業ファイルは雄々しい
事実4: このＪＨＤＭ導入イメージは赤し
事実5: 「「多変数分析だしそれに雄々しい」ということは誤りな」ものはある
事実6: 「「赤しが雄々しかない」ということは誤っている」ものはある
事実7: 仮に「とある物は赤しない」ということは正しいならば「過ごし易いしおまけに雄々しい」ということは誤っている
事実8: 「「多変数分析であるけれど雄々しいということはない」ということは誤っている」物はある
事実9: 「多変数分析だが雄々しかない」物はある
事実10: もしこのＪＨＤＭ導入イメージが赤しとするとその作業ファイルは過ごし易い

仮説: 「その作業ファイルは過ごし易いしかつ雄々しい」ということは確かでない
1. 事実10と事実4から、推論1: "その作業ファイルは過ごし易い"が導かれる
2. 事実1と事実8から、推論2: "「その作業ファイルは雄々しい」ということは偽でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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