その登山列車は投げ縄である
fact1: もし仮にこの主神が再嫁するし加えて名残惜しいならばあの登山列車は投げ縄だということはない fact2: もしもこの主神が名残惜しい一方でそれが再嫁しないとしたらその登山列車は待ち遠しくない fact3: この主神は感慨深い fact4: もし何らかの物が素人っぽいし待ち遠しいとすればあの主神は名残惜しい fact5: その中等科が送金しないとしたらこの主神は名残惜しいが再嫁しない fact6: 「素人っぽいししかも待ち遠しい」物はある fact7: その登山列車は周縁部だ fact8: この主神は各機能でない fact9: 仮に「「素人っぽい」ということは成り立つ」物はあるとしたら「この主神は待ち遠しいけれど投げ縄でない」ということは誤っている fact10: 名残惜しい物は待ち遠しい fact11: もしもこの主神が投げ縄で更にそれが名残惜しいとするとその登山列車は再嫁しない fact12: 何らかの物は再嫁するしかつ送金する fact13: 「待ち遠しい」ものはある fact14: その登山列車が送金するしそれにそれは再嫁するなら「この主神は投げ縄でない」ということは確かだ fact15: とある物は素人っぽい fact16: 仮にとあるものが素人っぽくないかあるいは投げ縄だとすれば投げ縄だ fact17: もしもこの主神が再嫁するし名残惜しいとしたらその登山列車は送金しない fact18: 待ち遠しいということはない物は投げ縄でその上素人っぽい fact19: この主神は送金する fact20: もしも名残惜しい物が再嫁するとするとこの主神は送金する fact21: もしもこの主神が送金するとすれば再嫁する fact22: 名残惜しい物は素人っぽい
fact6 & fact4 -> int1: この主神は名残惜しい; fact21 & fact19 -> int2: この主神は再嫁する; int1 & int2 -> int3: この主神は再嫁するしそれに名残惜しい; int3 & fact1 -> hypothesis;
その登山列車は投げ縄だ
fact24 -> int4: もしもその登山列車は素人っぽくないか投げ縄であるかもしくはどちらもであるならそれは投げ縄だ; fact23 -> int5: もし仮にその登山列車が名残惜しいとするとそれは待ち遠しい;
$facts$ = fact1: もし仮にこの主神が再嫁するし加えて名残惜しいならばあの登山列車は投げ縄だということはない fact2: もしもこの主神が名残惜しい一方でそれが再嫁しないとしたらその登山列車は待ち遠しくない fact3: この主神は感慨深い fact4: もし何らかの物が素人っぽいし待ち遠しいとすればあの主神は名残惜しい fact5: その中等科が送金しないとしたらこの主神は名残惜しいが再嫁しない fact6: 「素人っぽいししかも待ち遠しい」物はある fact7: その登山列車は周縁部だ fact8: この主神は各機能でない fact9: 仮に「「素人っぽい」ということは成り立つ」物はあるとしたら「この主神は待ち遠しいけれど投げ縄でない」ということは誤っている fact10: 名残惜しい物は待ち遠しい fact11: もしもこの主神が投げ縄で更にそれが名残惜しいとするとその登山列車は再嫁しない fact12: 何らかの物は再嫁するしかつ送金する fact13: 「待ち遠しい」ものはある fact14: その登山列車が送金するしそれにそれは再嫁するなら「この主神は投げ縄でない」ということは確かだ fact15: とある物は素人っぽい fact16: 仮にとあるものが素人っぽくないかあるいは投げ縄だとすれば投げ縄だ fact17: もしもこの主神が再嫁するし名残惜しいとしたらその登山列車は送金しない fact18: 待ち遠しいということはない物は投げ縄でその上素人っぽい fact19: この主神は送金する fact20: もしも名残惜しい物が再嫁するとするとこの主神は送金する fact21: もしもこの主神が送金するとすれば再嫁する fact22: 名残惜しい物は素人っぽい ; $hypothesis$ = その登山列車は投げ縄である ; $proof$ = 
fact6 & fact4 -> int1: この主神は名残惜しい; fact21 & fact19 -> int2: この主神は再嫁する; int1 & int2 -> int3: この主神は再嫁するしそれに名残惜しい; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの主神が再嫁するし加えて名残惜しいならばあの登山列車は投げ縄だということはない
事実2: もしもこの主神が名残惜しい一方でそれが再嫁しないとしたらその登山列車は待ち遠しくない
事実3: この主神は感慨深い
事実4: もし何らかの物が素人っぽいし待ち遠しいとすればあの主神は名残惜しい
事実5: その中等科が送金しないとしたらこの主神は名残惜しいが再嫁しない
事実6: 「素人っぽいししかも待ち遠しい」物はある
事実7: その登山列車は周縁部だ
事実8: この主神は各機能でない
事実9: 仮に「「素人っぽい」ということは成り立つ」物はあるとしたら「この主神は待ち遠しいけれど投げ縄でない」ということは誤っている
事実10: 名残惜しい物は待ち遠しい
事実11: もしもこの主神が投げ縄で更にそれが名残惜しいとするとその登山列車は再嫁しない
事実12: 何らかの物は再嫁するしかつ送金する
事実13: 「待ち遠しい」ものはある
事実14: その登山列車が送金するしそれにそれは再嫁するなら「この主神は投げ縄でない」ということは確かだ
事実15: とある物は素人っぽい
事実16: 仮にとあるものが素人っぽくないかあるいは投げ縄だとすれば投げ縄だ
事実17: もしもこの主神が再嫁するし名残惜しいとしたらその登山列車は送金しない
事実18: 待ち遠しいということはない物は投げ縄でその上素人っぽい
事実19: この主神は送金する
事実20: もしも名残惜しい物が再嫁するとするとこの主神は送金する
事実21: もしもこの主神が送金するとすれば再嫁する
事実22: 名残惜しい物は素人っぽい

仮説: その登山列車は投げ縄である
1. 事実6と事実4から、推論1: "この主神は名残惜しい"が導かれる
2. 事実21と事実19から、推論2: "この主神は再嫁する"が導かれる
3. 推論1と推論2から、推論3: "この主神は再嫁するしそれに名残惜しい"が導かれる
4. 推論3と事実1から、仮説が否定される

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