あの宿直はしょっぱくない
fact1: 仮にこの露天風呂付きが色っぽいなら四人以上でない fact2: あの宿直は申し開きだ fact3: 「あの宿直が厳めしいということはないしその上それは四人以上でない」ということは間違っている fact4: もし「ある物は厳めしくらないしそれに四人以上でない」ということは成り立たないならば「それはＭエイトでない」ということは嘘でない fact5: もし仮にこの抽出条件がしょっぱいとすればあの宿直はしょっぱい fact6: もし「あの宿直はＭエイトだということはない」ということは事実であるとしたらそれは政夫達である fact7: あの宿直はタイツだ fact8: あの江戸遠山氏略系図はプレゼント出来るし更に厳めしい fact9: もし仮にあの宿直は政夫達であるし更にしょっぱいならばそれは申し開きでない fact10: 仮にあの宿直が厳めしくらないとしたらそれは描出する
fact4 -> int1: 「あの宿直は厳めしくらないし四人以上でない」ということは偽であるとするとそれはＭエイトでない; int1 & fact3 -> int2: あの宿直はＭエイトだということはない; int2 & fact6 -> int3: あの宿直は政夫達である; void -> assump1: 以下のように仮定する。「あの宿直はしょっぱい」ということは確かだ; int3 & assump1 -> int4: あの宿直は政夫達だし更にしょっぱい; int4 & fact9 -> int5: あの宿直は申し開きだということはない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの宿直はしょっぱい
$facts$ = fact1: 仮にこの露天風呂付きが色っぽいなら四人以上でない fact2: あの宿直は申し開きだ fact3: 「あの宿直が厳めしいということはないしその上それは四人以上でない」ということは間違っている fact4: もし「ある物は厳めしくらないしそれに四人以上でない」ということは成り立たないならば「それはＭエイトでない」ということは嘘でない fact5: もし仮にこの抽出条件がしょっぱいとすればあの宿直はしょっぱい fact6: もし「あの宿直はＭエイトだということはない」ということは事実であるとしたらそれは政夫達である fact7: あの宿直はタイツだ fact8: あの江戸遠山氏略系図はプレゼント出来るし更に厳めしい fact9: もし仮にあの宿直は政夫達であるし更にしょっぱいならばそれは申し開きでない fact10: 仮にあの宿直が厳めしくらないとしたらそれは描出する ; $hypothesis$ = あの宿直はしょっぱくない ; $proof$ = 
fact4 -> int1: 「あの宿直は厳めしくらないし四人以上でない」ということは偽であるとするとそれはＭエイトでない; int1 & fact3 -> int2: あの宿直はＭエイトだということはない; int2 & fact6 -> int3: あの宿直は政夫達である; void -> assump1: 以下のように仮定する。「あの宿直はしょっぱい」ということは確かだ; int3 & assump1 -> int4: あの宿直は政夫達だし更にしょっぱい; int4 & fact9 -> int5: あの宿直は申し開きだということはない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮にこの露天風呂付きが色っぽいなら四人以上でない
事実2: あの宿直は申し開きだ
事実3: 「あの宿直が厳めしいということはないしその上それは四人以上でない」ということは間違っている
事実4: もし「ある物は厳めしくらないしそれに四人以上でない」ということは成り立たないならば「それはＭエイトでない」ということは嘘でない
事実5: もし仮にこの抽出条件がしょっぱいとすればあの宿直はしょっぱい
事実6: もし「あの宿直はＭエイトだということはない」ということは事実であるとしたらそれは政夫達である
事実7: あの宿直はタイツだ
事実8: あの江戸遠山氏略系図はプレゼント出来るし更に厳めしい
事実9: もし仮にあの宿直は政夫達であるし更にしょっぱいならばそれは申し開きでない
事実10: 仮にあの宿直が厳めしくらないとしたらそれは描出する

仮説: あの宿直はしょっぱくない
1. 事実4から、推論1: "「あの宿直は厳めしくらないし四人以上でない」ということは偽であるとするとそれはＭエイトでない"が導かれる
2. 推論1と事実3から、推論2: "あの宿直はＭエイトだということはない"が導かれる
3. 推論2と事実6から、推論3: "あの宿直は政夫達である"が導かれる
4. 仮定1: 以下のように仮定する。「あの宿直はしょっぱい」ということは確かだ
5. 推論3と仮定1から、推論4: "あの宿直は政夫達だし更にしょっぱい"が導かれる
6. 推論4と事実9から、推論5: "あの宿直は申し開きだということはない"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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