この埋蔵金は勝ち誇らないし加えて出社しない
fact1: この埋蔵金は分類出来るとすれば「それは勝ち誇るがしかし出社しない」ということは嘘である fact2: この埋蔵金が晴々しかないけれどそれが慣用色名だとするとそれは分類出来る fact3: 仮にある物は分類出来るとしたら「勝ち誇らないし出社しない」ということは成り立つということはない fact4: 「もし仮にこの埋蔵金が晴々しいしそれに慣用色名であるとすればこの埋蔵金は分類出来る」ということは成り立つ fact5: 「「この埋蔵金は勝ち誇らないけどそれは出社する」ということは確かだ」ということは間違っている fact6: もしもこの埋蔵金は分類出来るとしたら「勝ち誇らないけれど出社する」ということは成り立たない fact7: 何らかの物は分類出来るとすると「勝ち誇らないし更にそれは出社する」ということは成り立たない fact8: この埋蔵金は晴々しかないがしかし慣用色名だ fact9: この埋蔵金は晴々しかない
fact2 & fact8 -> int1: この埋蔵金は分類出来る; fact3 -> int2: もし仮にこの埋蔵金は分類出来るとすると「それは勝ち誇らないし加えて出社しない」ということは偽だ; int1 & int2 -> hypothesis;
fact2 & fact8 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> ¬(¬{A}{a} & ¬{C}{a}); int1 & int2 -> hypothesis;
$facts$ = fact1: この埋蔵金は分類出来るとすれば「それは勝ち誇るがしかし出社しない」ということは嘘である fact2: この埋蔵金が晴々しかないけれどそれが慣用色名だとするとそれは分類出来る fact3: 仮にある物は分類出来るとしたら「勝ち誇らないし出社しない」ということは成り立つということはない fact4: 「もし仮にこの埋蔵金が晴々しいしそれに慣用色名であるとすればこの埋蔵金は分類出来る」ということは成り立つ fact5: 「「この埋蔵金は勝ち誇らないけどそれは出社する」ということは確かだ」ということは間違っている fact6: もしもこの埋蔵金は分類出来るとしたら「勝ち誇らないけれど出社する」ということは成り立たない fact7: 何らかの物は分類出来るとすると「勝ち誇らないし更にそれは出社する」ということは成り立たない fact8: この埋蔵金は晴々しかないがしかし慣用色名だ fact9: この埋蔵金は晴々しかない ; $hypothesis$ = この埋蔵金は勝ち誇らないし加えて出社しない ; $proof$ = 
fact2 & fact8 -> int1: この埋蔵金は分類出来る; fact3 -> int2: もし仮にこの埋蔵金は分類出来るとすると「それは勝ち誇らないし加えて出社しない」ということは偽だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この埋蔵金は分類出来るとすれば「それは勝ち誇るがしかし出社しない」ということは嘘である
事実2: この埋蔵金が晴々しかないけれどそれが慣用色名だとするとそれは分類出来る
事実3: 仮にある物は分類出来るとしたら「勝ち誇らないし出社しない」ということは成り立つということはない
事実4: 「もし仮にこの埋蔵金が晴々しいしそれに慣用色名であるとすればこの埋蔵金は分類出来る」ということは成り立つ
事実5: 「「この埋蔵金は勝ち誇らないけどそれは出社する」ということは確かだ」ということは間違っている
事実6: もしもこの埋蔵金は分類出来るとしたら「勝ち誇らないけれど出社する」ということは成り立たない
事実7: 何らかの物は分類出来るとすると「勝ち誇らないし更にそれは出社する」ということは成り立たない
事実8: この埋蔵金は晴々しかないがしかし慣用色名だ
事実9: この埋蔵金は晴々しかない

仮説: この埋蔵金は勝ち誇らないし加えて出社しない
1. 事実2と事実8から、推論1: "この埋蔵金は分類出来る"が導かれる
2. 事実3から、推論2: "もし仮にこの埋蔵金は分類出来るとすると「それは勝ち誇らないし加えて出社しない」ということは偽だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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