その安全対策は割れ難くない
fact1: ある物が二百年前だとすれば割れ難くない fact2: もしもあの生活集団が二百年前だとするとこの出没はダイアルだ fact3: もしこの出没がダイアルならその安全対策は割れ難い fact4: もし「「除菌するしさらに醸造する」ということは事実と異なる」ものがあるとしたらあの生活集団は二百年前である fact5: 「あのプリント上は除菌するしまたそれは醸造する」ということは成り立たない
fact5 -> int1: 「「除菌するし醸造する」ということは事実と異なる」物はある; int1 & fact4 -> int2: あの生活集団は二百年前である; int2 & fact2 -> int3: この出没はダイアルである; int3 & fact3 -> hypothesis;
その安全対策は割れ難くない
fact6 -> int4: 仮にその安全対策が二百年前だとするとそれは割れ難くない;
$facts$ = fact1: ある物が二百年前だとすれば割れ難くない fact2: もしもあの生活集団が二百年前だとするとこの出没はダイアルだ fact3: もしこの出没がダイアルならその安全対策は割れ難い fact4: もし「「除菌するしさらに醸造する」ということは事実と異なる」ものがあるとしたらあの生活集団は二百年前である fact5: 「あのプリント上は除菌するしまたそれは醸造する」ということは成り立たない ; $hypothesis$ = その安全対策は割れ難くない ; $proof$ = 
fact5 -> int1: 「「除菌するし醸造する」ということは事実と異なる」物はある; int1 & fact4 -> int2: あの生活集団は二百年前である; int2 & fact2 -> int3: この出没はダイアルである; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: ある物が二百年前だとすれば割れ難くない
事実2: もしもあの生活集団が二百年前だとするとこの出没はダイアルだ
事実3: もしこの出没がダイアルならその安全対策は割れ難い
事実4: もし「「除菌するしさらに醸造する」ということは事実と異なる」ものがあるとしたらあの生活集団は二百年前である
事実5: 「あのプリント上は除菌するしまたそれは醸造する」ということは成り立たない

仮説: その安全対策は割れ難くない
1. 事実5から、推論1: "「「除菌するし醸造する」ということは事実と異なる」物はある"が導かれる
2. 推論1と事実4から、推論2: "あの生活集団は二百年前である"が導かれる
3. 推論2と事実2から、推論3: "この出没はダイアルである"が導かれる
4. 推論3と事実3から、仮説が否定される

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