あの刑場は思い止まらない
fact1: もし「あの刑場は人間らしくないし埃っぽくない」ということは誤りであるとすれば煩くない fact2: 仮にあの商人道がスニエムだし加えて美々しいならばそのナンバーツーは煮含めない fact3: もしもあの商人道がスニエムでないならばあの刑場は行儀良くないかスニエムであるかどちらもだ fact4: あの商人道は美々しい fact5: とある物がスニエムでないしかつ美々しかないなら「それは思い止まらない」ということは成り立つ fact6: 仮にある物は灯し難くないしその上それは行儀良いということはないとすると煮含めない fact7: もしもそのナンバーツーが煩いとしたら灯し難い fact8: もし仮にある物は行儀良くないかあるいはスニエムであるかもしくは両方ともだとしたら思い止まる fact9: 仮に何らかのものが煮含めないとしたらスニエムでないし美々しかない fact10: 仮になんらかのものが灯し難いとするとそれは煮含める fact11: そのナンバーツーは煩い
void -> assump1: 以下のように仮定する。「あの商人道はスニエムである」ということは確かである; assump1 & fact4 -> int1: あの商人道はスニエムであるしおまけに美々しい; int1 & fact2 -> int2: そのナンバーツーは煮含めない; fact10 -> int3: そのナンバーツーは灯し難いとしたら「煮含める」ということは確かである; fact11 & fact7 -> int4: そのナンバーツーは灯し難い; int3 & int4 -> int5: そのナンバーツーは煮含める; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの商人道はスニエムでない; int7 & fact3 -> int8: あの刑場は行儀良くないかそれはスニエムである; fact8 -> int9: もしもあの刑場が行儀良くないかまたはそれはスニエムであるかあるいは両方ともであるならば思い止まる; int8 & int9 -> hypothesis;
あの刑場は思い止まらない
fact15 -> int10: もしもあの刑場がスニエムでなくてそれに美々しかないなら思い止まらない; fact13 -> int11: あの刑場が煮含めないとするとそれはスニエムでないし美々しかない; fact14 -> int12: 仮にあの刑場は灯し難いということはないしその上行儀良くないとすれば「煮含めない」ということは成り立つ;
$facts$ = fact1: もし「あの刑場は人間らしくないし埃っぽくない」ということは誤りであるとすれば煩くない fact2: 仮にあの商人道がスニエムだし加えて美々しいならばそのナンバーツーは煮含めない fact3: もしもあの商人道がスニエムでないならばあの刑場は行儀良くないかスニエムであるかどちらもだ fact4: あの商人道は美々しい fact5: とある物がスニエムでないしかつ美々しかないなら「それは思い止まらない」ということは成り立つ fact6: 仮にある物は灯し難くないしその上それは行儀良いということはないとすると煮含めない fact7: もしもそのナンバーツーが煩いとしたら灯し難い fact8: もし仮にある物は行儀良くないかあるいはスニエムであるかもしくは両方ともだとしたら思い止まる fact9: 仮に何らかのものが煮含めないとしたらスニエムでないし美々しかない fact10: 仮になんらかのものが灯し難いとするとそれは煮含める fact11: そのナンバーツーは煩い ; $hypothesis$ = あの刑場は思い止まらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの商人道はスニエムである」ということは確かである; assump1 & fact4 -> int1: あの商人道はスニエムであるしおまけに美々しい; int1 & fact2 -> int2: そのナンバーツーは煮含めない; fact10 -> int3: そのナンバーツーは灯し難いとしたら「煮含める」ということは確かである; fact11 & fact7 -> int4: そのナンバーツーは灯し難い; int3 & int4 -> int5: そのナンバーツーは煮含める; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの商人道はスニエムでない; int7 & fact3 -> int8: あの刑場は行儀良くないかそれはスニエムである; fact8 -> int9: もしもあの刑場が行儀良くないかまたはそれはスニエムであるかあるいは両方ともであるならば思い止まる; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし「あの刑場は人間らしくないし埃っぽくない」ということは誤りであるとすれば煩くない
事実2: 仮にあの商人道がスニエムだし加えて美々しいならばそのナンバーツーは煮含めない
事実3: もしもあの商人道がスニエムでないならばあの刑場は行儀良くないかスニエムであるかどちらもだ
事実4: あの商人道は美々しい
事実5: とある物がスニエムでないしかつ美々しかないなら「それは思い止まらない」ということは成り立つ
事実6: 仮にある物は灯し難くないしその上それは行儀良いということはないとすると煮含めない
事実7: もしもそのナンバーツーが煩いとしたら灯し難い
事実8: もし仮にある物は行儀良くないかあるいはスニエムであるかもしくは両方ともだとしたら思い止まる
事実9: 仮に何らかのものが煮含めないとしたらスニエムでないし美々しかない
事実10: 仮になんらかのものが灯し難いとするとそれは煮含める
事実11: そのナンバーツーは煩い

仮説: あの刑場は思い止まらない
1. 仮定1: 以下のように仮定する。「あの商人道はスニエムである」ということは確かである
2. 仮定1と事実4から、推論1: "あの商人道はスニエムであるしおまけに美々しい"が導かれる
3. 推論1と事実2から、推論2: "そのナンバーツーは煮含めない"が導かれる
4. 事実10から、推論3: "そのナンバーツーは灯し難いとしたら「煮含める」ということは確かである"が導かれる
5. 事実11と事実7から、推論4: "そのナンバーツーは灯し難い"が導かれる
6. 推論3と推論4から、推論5: "そのナンバーツーは煮含める"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの商人道はスニエムでない"が導かれる
9. 推論7と事実3から、推論8: "あの刑場は行儀良くないかそれはスニエムである"が導かれる
10. 事実8から、推論9: "もしもあの刑場が行儀良くないかまたはそれはスニエムであるかあるいは両方ともであるならば思い止まる"が導かれる
11. 推論8と推論9から、仮説が否定される

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