もしあの仕事上がべた付き易いなら太り難い
fact1: 労働者人口は自然らしい fact2: もしあるものは懐かしならば「それは雑居ビルだ」ということは真実である fact3: べた付き易い物は太り難い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 労働者人口は自然らしい fact2: もしあるものは懐かしならば「それは雑居ビルだ」ということは真実である fact3: べた付き易い物は太り難い ; $hypothesis$ = もしあの仕事上がべた付き易いなら太り難い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 労働者人口は自然らしい
事実2: もしあるものは懐かしならば「それは雑居ビルだ」ということは真実である
事実3: べた付き易い物は太り難い

仮説: もしあの仕事上がべた付き易いなら太り難い
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。