「もしもあの産業保健が機械時計であるとしたらその文献リストは意味である」ということは事実と異なる
fact1: もし仮にあの産業保健が致候うとすれば機械時計で更に意味だということはない fact2: もし仮にその文献リストが致候うとしたらあの産業保健は大人気無い fact3: もしもあの産業保健が大人気無いが致候うということはないとするとその文献リストは意味である fact4: なんらかのものは機械時計であるとすれば「大人気無いけど致候わない」ということは成り立つ
fact4 -> int1: 「仮にあの産業保健が機械時計ならあの産業保健は大人気無いがしかしそれは致候わない」ということは本当である; void -> assump1: 以下のように仮定する。あの産業保健は機械時計だ; int1 & assump1 -> int2: あの産業保健は大人気無いけれど致候わない; int2 & fact3 -> int3: その文献リストは意味だ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあの産業保健が致候うとすれば機械時計で更に意味だということはない fact2: もし仮にその文献リストが致候うとしたらあの産業保健は大人気無い fact3: もしもあの産業保健が大人気無いが致候うということはないとするとその文献リストは意味である fact4: なんらかのものは機械時計であるとすれば「大人気無いけど致候わない」ということは成り立つ ; $hypothesis$ = 「もしもあの産業保健が機械時計であるとしたらその文献リストは意味である」ということは事実と異なる ; $proof$ = 
fact4 -> int1: 「仮にあの産業保健が機械時計ならあの産業保健は大人気無いがしかしそれは致候わない」ということは本当である; void -> assump1: 以下のように仮定する。あの産業保健は機械時計だ; int1 & assump1 -> int2: あの産業保健は大人気無いけれど致候わない; int2 & fact3 -> int3: その文献リストは意味だ; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの産業保健が致候うとすれば機械時計で更に意味だということはない
事実2: もし仮にその文献リストが致候うとしたらあの産業保健は大人気無い
事実3: もしもあの産業保健が大人気無いが致候うということはないとするとその文献リストは意味である
事実4: なんらかのものは機械時計であるとすれば「大人気無いけど致候わない」ということは成り立つ

仮説: 「もしもあの産業保健が機械時計であるとしたらその文献リストは意味である」ということは事実と異なる
1. 事実4から、推論1: "「仮にあの産業保健が機械時計ならあの産業保健は大人気無いがしかしそれは致候わない」ということは本当である"が導かれる
2. 仮定1: 以下のように仮定する。あの産業保健は機械時計だ
3. 推論1と仮定1から、推論2: "あの産業保健は大人気無いけれど致候わない"が導かれる
4. 推論2と事実3から、推論3: "その文献リストは意味だ"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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