この還帰は癒えない
fact1: 「あの金融機関は使用済みであるがしかしそれは癒えるということはない」ということは成り立たない fact2: もしあの金融機関は癒えないとすれば「短いが使用済みでない」ということは間違っている fact3: 仮にあの金融機関は短いとしたら「この還帰は癒える」ということは成り立つ fact4: あの金融機関はけたたましいということはないとしたら「それは成人するし使用済みである」ということは成り立たない fact5: この還帰はフォービートでない fact6: もしあの金融機関は癒えないならば「短いししかもそれは名匠でない」ということは誤りだ fact7: この旧巣は使用済みでない fact8: 「あの金融機関は使用済みであるけれど短くない」ということは成り立たないならこの還帰は癒える fact9: もし仮に「この還帰は使用済みでない」ということは真実だとしたら「それは名匠であるしおまけに癒える」ということは間違いだ fact10: 「あの金融機関は名匠でない」ということは成り立つなら「癒えるけれど使用済みでない」ということは嘘だ fact11: この還帰は危ない fact12: もしもあの金融機関は名匠だということはないとしたら「それは使用済みだけど短くない」ということは成り立たない fact13: もしあの金融機関が癒えるならばあの還帰は名匠である fact14: あの金融機関は名匠だということはない
fact12 & fact14 -> int1: 「あの金融機関は使用済みだ一方で短くない」ということは偽だ; int1 & fact8 -> hypothesis;
fact12 & fact14 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact8 -> hypothesis;
$facts$ = fact1: 「あの金融機関は使用済みであるがしかしそれは癒えるということはない」ということは成り立たない fact2: もしあの金融機関は癒えないとすれば「短いが使用済みでない」ということは間違っている fact3: 仮にあの金融機関は短いとしたら「この還帰は癒える」ということは成り立つ fact4: あの金融機関はけたたましいということはないとしたら「それは成人するし使用済みである」ということは成り立たない fact5: この還帰はフォービートでない fact6: もしあの金融機関は癒えないならば「短いししかもそれは名匠でない」ということは誤りだ fact7: この旧巣は使用済みでない fact8: 「あの金融機関は使用済みであるけれど短くない」ということは成り立たないならこの還帰は癒える fact9: もし仮に「この還帰は使用済みでない」ということは真実だとしたら「それは名匠であるしおまけに癒える」ということは間違いだ fact10: 「あの金融機関は名匠でない」ということは成り立つなら「癒えるけれど使用済みでない」ということは嘘だ fact11: この還帰は危ない fact12: もしもあの金融機関は名匠だということはないとしたら「それは使用済みだけど短くない」ということは成り立たない fact13: もしあの金融機関が癒えるならばあの還帰は名匠である fact14: あの金融機関は名匠だということはない ; $hypothesis$ = この還帰は癒えない ; $proof$ = 
fact12 & fact14 -> int1: 「あの金融機関は使用済みだ一方で短くない」ということは偽だ; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 「あの金融機関は使用済みであるがしかしそれは癒えるということはない」ということは成り立たない
事実2: もしあの金融機関は癒えないとすれば「短いが使用済みでない」ということは間違っている
事実3: 仮にあの金融機関は短いとしたら「この還帰は癒える」ということは成り立つ
事実4: あの金融機関はけたたましいということはないとしたら「それは成人するし使用済みである」ということは成り立たない
事実5: この還帰はフォービートでない
事実6: もしあの金融機関は癒えないならば「短いししかもそれは名匠でない」ということは誤りだ
事実7: この旧巣は使用済みでない
事実8: 「あの金融機関は使用済みであるけれど短くない」ということは成り立たないならこの還帰は癒える
事実9: もし仮に「この還帰は使用済みでない」ということは真実だとしたら「それは名匠であるしおまけに癒える」ということは間違いだ
事実10: 「あの金融機関は名匠でない」ということは成り立つなら「癒えるけれど使用済みでない」ということは嘘だ
事実11: この還帰は危ない
事実12: もしもあの金融機関は名匠だということはないとしたら「それは使用済みだけど短くない」ということは成り立たない
事実13: もしあの金融機関が癒えるならばあの還帰は名匠である
事実14: あの金融機関は名匠だということはない

仮説: この還帰は癒えない
1. 事実12と事実14から、推論1: "「あの金融機関は使用済みだ一方で短くない」ということは偽だ"が導かれる
2. 推論1と事実8から、仮説が否定される

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