「「もしも働き難くないとしたら味気ないしまた心安くない」ものはある」ということは成り立たない
fact1: 働き難いということはない物は味気ない一方で心安いということはない fact2: 「仮に働き難くないとしたら味気ない」ものはある fact3: もし「あの色調は働き難い」ということは事実であるなら味気ないししかもそれは心安くない fact4: もし仮にあの色調が働き難くないならばそれは味気ない fact5: 「仮に働き難くないとすると心安いということはない」ものはある fact6: 働き難いものは味気ないけど心安くない fact7: 仮にあの色調が働き難くないとするとそれは味気ないししかも心安い fact8: 「仮に働き難くないとしたら味気ないし更に心安い」物はある fact9: 「もしも働き難いなら味気ないもので心安くない」物はある
fact1 -> int1: もしもあの色調が働き難くないなら味気ないが心安くない; int1 -> hypothesis;
$facts$ = fact1: 働き難いということはない物は味気ない一方で心安いということはない fact2: 「仮に働き難くないとしたら味気ない」ものはある fact3: もし「あの色調は働き難い」ということは事実であるなら味気ないししかもそれは心安くない fact4: もし仮にあの色調が働き難くないならばそれは味気ない fact5: 「仮に働き難くないとすると心安いということはない」ものはある fact6: 働き難いものは味気ないけど心安くない fact7: 仮にあの色調が働き難くないとするとそれは味気ないししかも心安い fact8: 「仮に働き難くないとしたら味気ないし更に心安い」物はある fact9: 「もしも働き難いなら味気ないもので心安くない」物はある ; $hypothesis$ = 「「もしも働き難くないとしたら味気ないしまた心安くない」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしもあの色調が働き難くないなら味気ないが心安くない; int1 -> hypothesis; __DISPROVED__
事実1: 働き難いということはない物は味気ない一方で心安いということはない
事実2: 「仮に働き難くないとしたら味気ない」ものはある
事実3: もし「あの色調は働き難い」ということは事実であるなら味気ないししかもそれは心安くない
事実4: もし仮にあの色調が働き難くないならばそれは味気ない
事実5: 「仮に働き難くないとすると心安いということはない」ものはある
事実6: 働き難いものは味気ないけど心安くない
事実7: 仮にあの色調が働き難くないとするとそれは味気ないししかも心安い
事実8: 「仮に働き難くないとしたら味気ないし更に心安い」物はある
事実9: 「もしも働き難いなら味気ないもので心安くない」物はある

仮説: 「「もしも働き難くないとしたら味気ないしまた心安くない」ものはある」ということは成り立たない
1. 事実1から、推論1: "もしもあの色調が働き難くないなら味気ないが心安くない"が導かれる
2. 推論1から、仮説が否定される

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