あの虫籠は確からしい
fact1: もしその各部道府県が冷や飯ならばこの標準予防策はむかむかする fact2: もし仮に黒い物があるとするとこの標準予防策はむかむかするかもしくは冷や飯であるか両方である fact3: この標準予防策は冷や飯であるかまたは喧しい fact4: 仮にその各部道府県がむかむかするとしたらこの標準予防策は黒くない fact5: もし仮に「むかむかする」ものがあるならばあの各部道府県は冷や飯であるかもしくは黒いか両方ともである fact6: もしあの虫籠が冷や飯であるとしたらその各部道府県は確からしいということはない fact7: もし「その各部道府県は確からしい」ということは誤りでないとすればあの虫籠は確からしい fact8: 「「あの虫籠はむかむかする」ということは確かだとするとこの標準予防策は確からしい」ということは事実である fact9: もし仮にこのプレイボーイマンションが冷や飯だということはなくてまた黒くないとすればこの標準予防策は黒くない fact10: 何らかのものは加速する fact11: 仮にあの虫籠が黒いとすればその各部道府県は冷や飯である fact12: 仮にこの標準予防策が黒くないならその各部道府県は確からしいしそれに加速する fact13: 仮にこの標準予防策がむかむかするとするとあの虫籠は確からしくない fact14: 仮になんらかの物が確からしいならあの虫籠は黒いか冷や飯であるかもしくはどちらもである fact15: もし仮にその各部道府県が黒いとすればこの標準予防策はむかむかする fact16: あの虫籠が黒いならばその各部道府県は確からしい fact17: もし仮に「加速する」物があるならばあの各部道府県は黒いか冷や飯だ
fact10 & fact17 -> int1: その各部道府県は黒いかまたは冷や飯である; int1 & fact15 & fact1 -> int2: この標準予防策はむかむかする; int2 & fact13 -> hypothesis;
あの虫籠は確からしい
$facts$ = fact1: もしその各部道府県が冷や飯ならばこの標準予防策はむかむかする fact2: もし仮に黒い物があるとするとこの標準予防策はむかむかするかもしくは冷や飯であるか両方である fact3: この標準予防策は冷や飯であるかまたは喧しい fact4: 仮にその各部道府県がむかむかするとしたらこの標準予防策は黒くない fact5: もし仮に「むかむかする」ものがあるならばあの各部道府県は冷や飯であるかもしくは黒いか両方ともである fact6: もしあの虫籠が冷や飯であるとしたらその各部道府県は確からしいということはない fact7: もし「その各部道府県は確からしい」ということは誤りでないとすればあの虫籠は確からしい fact8: 「「あの虫籠はむかむかする」ということは確かだとするとこの標準予防策は確からしい」ということは事実である fact9: もし仮にこのプレイボーイマンションが冷や飯だということはなくてまた黒くないとすればこの標準予防策は黒くない fact10: 何らかのものは加速する fact11: 仮にあの虫籠が黒いとすればその各部道府県は冷や飯である fact12: 仮にこの標準予防策が黒くないならその各部道府県は確からしいしそれに加速する fact13: 仮にこの標準予防策がむかむかするとするとあの虫籠は確からしくない fact14: 仮になんらかの物が確からしいならあの虫籠は黒いか冷や飯であるかもしくはどちらもである fact15: もし仮にその各部道府県が黒いとすればこの標準予防策はむかむかする fact16: あの虫籠が黒いならばその各部道府県は確からしい fact17: もし仮に「加速する」物があるならばあの各部道府県は黒いか冷や飯だ ; $hypothesis$ = あの虫籠は確からしい ; $proof$ = 
fact10 & fact17 -> int1: その各部道府県は黒いかまたは冷や飯である; int1 & fact15 & fact1 -> int2: この標準予防策はむかむかする; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もしその各部道府県が冷や飯ならばこの標準予防策はむかむかする
事実2: もし仮に黒い物があるとするとこの標準予防策はむかむかするかもしくは冷や飯であるか両方である
事実3: この標準予防策は冷や飯であるかまたは喧しい
事実4: 仮にその各部道府県がむかむかするとしたらこの標準予防策は黒くない
事実5: もし仮に「むかむかする」ものがあるならばあの各部道府県は冷や飯であるかもしくは黒いか両方ともである
事実6: もしあの虫籠が冷や飯であるとしたらその各部道府県は確からしいということはない
事実7: もし「その各部道府県は確からしい」ということは誤りでないとすればあの虫籠は確からしい
事実8: 「「あの虫籠はむかむかする」ということは確かだとするとこの標準予防策は確からしい」ということは事実である
事実9: もし仮にこのプレイボーイマンションが冷や飯だということはなくてまた黒くないとすればこの標準予防策は黒くない
事実10: 何らかのものは加速する
事実11: 仮にあの虫籠が黒いとすればその各部道府県は冷や飯である
事実12: 仮にこの標準予防策が黒くないならその各部道府県は確からしいしそれに加速する
事実13: 仮にこの標準予防策がむかむかするとするとあの虫籠は確からしくない
事実14: 仮になんらかの物が確からしいならあの虫籠は黒いか冷や飯であるかもしくはどちらもである
事実15: もし仮にその各部道府県が黒いとすればこの標準予防策はむかむかする
事実16: あの虫籠が黒いならばその各部道府県は確からしい
事実17: もし仮に「加速する」物があるならばあの各部道府県は黒いか冷や飯だ

仮説: あの虫籠は確からしい
1. 事実10と事実17から、推論1: "その各部道府県は黒いかまたは冷や飯である"が導かれる
2. 推論1と事実15と事実1から、推論2: "この標準予防策はむかむかする"が導かれる
3. 推論2と事実13から、仮説が否定される

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