「「もし仮に冷え易くないとしたら「就業人口でなくてまた解剖図譜でない」ということは成り立たない」ものはある」ということは成り立たない
fact1: 「仮に程無いならば「咽ばないし日本らしくない」ということは確かでない」物はある fact2: もし何らかのものは冷え易いならば「就業人口でないし解剖図譜でない」ということは誤っている fact3: 「もし仮に冷え易いとしたら「就業人口でないしその上解剖図譜でない」ということは本当だということはない」物はある fact4: もしとある物は冷え易いということはないならば「就業人口でないし解剖図譜でない」ということは間違いだ fact5: 「冷え易くないものは就業人口でなくてその上解剖図譜だということはない」ということは真実である
fact4 -> int1: もしもその営業店は冷え易くないとすれば「就業人口でなくて解剖図譜でない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「仮に程無いならば「咽ばないし日本らしくない」ということは確かでない」物はある fact2: もし何らかのものは冷え易いならば「就業人口でないし解剖図譜でない」ということは誤っている fact3: 「もし仮に冷え易いとしたら「就業人口でないしその上解剖図譜でない」ということは本当だということはない」物はある fact4: もしとある物は冷え易いということはないならば「就業人口でないし解剖図譜でない」ということは間違いだ fact5: 「冷え易くないものは就業人口でなくてその上解剖図譜だということはない」ということは真実である ; $hypothesis$ = 「「もし仮に冷え易くないとしたら「就業人口でなくてまた解剖図譜でない」ということは成り立たない」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: もしもその営業店は冷え易くないとすれば「就業人口でなくて解剖図譜でない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に程無いならば「咽ばないし日本らしくない」ということは確かでない」物はある
事実2: もし何らかのものは冷え易いならば「就業人口でないし解剖図譜でない」ということは誤っている
事実3: 「もし仮に冷え易いとしたら「就業人口でないしその上解剖図譜でない」ということは本当だということはない」物はある
事実4: もしとある物は冷え易いということはないならば「就業人口でないし解剖図譜でない」ということは間違いだ
事実5: 「冷え易くないものは就業人口でなくてその上解剖図譜だということはない」ということは真実である

仮説: 「「もし仮に冷え易くないとしたら「就業人口でなくてまた解剖図譜でない」ということは成り立たない」ものはある」ということは成り立たない
1. 事実4から、推論1: "もしもその営業店は冷え易くないとすれば「就業人口でなくて解剖図譜でない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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