あの端株は寝かし付けないがしかしそれは製造部長だ
fact1: このロンドン経由は設定し為さるししかも楽園である fact2: 「そのＬＣＫは楽園だし加えて溜まり易い」ということは成り立たない fact3: あの端株は急展開する fact4: なんらかのものが急展開すれば楽園だ fact5: 仮に「このロンドン経由は寝かし付ける」ということは本当であるとしたら「あの端株は寝かし付けないけどそれは製造部長だ」ということは間違っている fact6: 「このロンドン経由は楽園でない」ということは誤っていれば寝かし付ける fact7: もしもこのロンドン経由が寝かし付けないならこの覆面作家シリーズは楽園であるしそれにそれは設定し為さる fact8: 仮にあるものは製造部長でないとしたらそれは寝かし付けない fact9: あの端株が楽園だとすれば設定し為さるがしかし寝かし付けない fact10: もしこのロンドン経由は寝かし付けるとすれば「あの端株は寝かし付けるし製造部長である」ということは成り立たない
fact1 -> int1: このロンドン経由は楽園である; int1 & fact6 -> int2: このロンドン経由は寝かし付ける; int2 & fact5 -> hypothesis;
あの端株は寝かし付けないがそれは製造部長だ
fact13 -> int3: 仮にあの端株が急展開すれば楽園だ; int3 & fact12 -> int4: あの端株は楽園だ; fact11 & int4 -> int5: あの端株は設定し為さる一方で寝かし付けない; int5 -> int6: あの端株は寝かし付けない;
$facts$ = fact1: このロンドン経由は設定し為さるししかも楽園である fact2: 「そのＬＣＫは楽園だし加えて溜まり易い」ということは成り立たない fact3: あの端株は急展開する fact4: なんらかのものが急展開すれば楽園だ fact5: 仮に「このロンドン経由は寝かし付ける」ということは本当であるとしたら「あの端株は寝かし付けないけどそれは製造部長だ」ということは間違っている fact6: 「このロンドン経由は楽園でない」ということは誤っていれば寝かし付ける fact7: もしもこのロンドン経由が寝かし付けないならこの覆面作家シリーズは楽園であるしそれにそれは設定し為さる fact8: 仮にあるものは製造部長でないとしたらそれは寝かし付けない fact9: あの端株が楽園だとすれば設定し為さるがしかし寝かし付けない fact10: もしこのロンドン経由は寝かし付けるとすれば「あの端株は寝かし付けるし製造部長である」ということは成り立たない ; $hypothesis$ = あの端株は寝かし付けないがしかしそれは製造部長だ ; $proof$ = 
fact1 -> int1: このロンドン経由は楽園である; int1 & fact6 -> int2: このロンドン経由は寝かし付ける; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: このロンドン経由は設定し為さるししかも楽園である
事実2: 「そのＬＣＫは楽園だし加えて溜まり易い」ということは成り立たない
事実3: あの端株は急展開する
事実4: なんらかのものが急展開すれば楽園だ
事実5: 仮に「このロンドン経由は寝かし付ける」ということは本当であるとしたら「あの端株は寝かし付けないけどそれは製造部長だ」ということは間違っている
事実6: 「このロンドン経由は楽園でない」ということは誤っていれば寝かし付ける
事実7: もしもこのロンドン経由が寝かし付けないならこの覆面作家シリーズは楽園であるしそれにそれは設定し為さる
事実8: 仮にあるものは製造部長でないとしたらそれは寝かし付けない
事実9: あの端株が楽園だとすれば設定し為さるがしかし寝かし付けない
事実10: もしこのロンドン経由は寝かし付けるとすれば「あの端株は寝かし付けるし製造部長である」ということは成り立たない

仮説: あの端株は寝かし付けないがしかしそれは製造部長だ
1. 事実1から、推論1: "このロンドン経由は楽園である"が導かれる
2. 推論1と事実6から、推論2: "このロンドン経由は寝かし付ける"が導かれる
3. 推論2と事実5から、仮説が否定される

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