あの電磁的措置は灰色っぽい
fact1: もし仮にあの竜騎士は透析前でないならばそれは高精度である fact2: 「臨川寺でないけれど摩滅する」物はある fact3: 仮にあるものが灰色っぽくないとすると発生し得るし更に高精度だ fact4: 仮に「あの電磁的措置は褒美でないしその上凝縮しない」ということは誤りであるとしたら褒美である fact5: もしこの文化層が透析前であるということはないとするとあの電磁的措置は抱き支えないけれど灰色っぽい fact6: もしもあの竜騎士が発生し得ないけれど高精度であるとするとあの電磁的措置は灰色っぽくない fact7: 仮にあの竜騎士が復旧しないならばそれは凝縮しなくておまけに発生し得ない fact8: もし仮にあの竜騎士が復旧するとするとその代替物は見下さない fact9: 仮にこの文化層は欲深いしかつ快いなら臨川寺であるということはない fact10: あの第一号法定受託事務は摩滅する fact11: もし仮に「その代替物は見下すということはない」ということは正しいならばそれは褒美でない fact12: この文化層は欲深くてさらに快い fact13: その代替物が摩滅すれば褒美だ fact14: あの竜騎士が抱き支えないなら高精度だ fact15: もしもあの電磁的措置は抱き支えないけど灰色っぽいとすれば「その代替物は灰色っぽいということはない」ということは本当である fact16: もしも何らかの物が見下すということはないとすれば凝縮するしまた復旧しない fact17: この文化層が臨川寺でないとすればあの竜騎士は抱き支えないかそれは透析前でないかまたは両方ともである fact18: その代替物は摩滅する fact19: 仮に「あの竜騎士は凝縮する」ということは事実であるならばその対症療法は凝縮する fact20: その中小は復旧しない fact21: もしもなんらかの物は灰色っぽいかもしくは見下さないかまたは両方であるとしたら「それは灰色っぽい」ということは正しい
void -> assump1: 以下のように仮定する。「あの竜騎士は復旧する」ということは成り立つ; fact8 & assump1 -> int1: その代替物は見下さない; int1 & fact11 -> int2: その代替物は褒美であるということはない; fact13 & fact18 -> int3: その代替物は褒美である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの竜騎士は復旧しない; int5 & fact7 -> int6: あの竜騎士が凝縮しないしさらにそれは発生し得ない; int6 -> int7: あの竜騎士は発生し得ない; fact9 & fact12 -> int8: 「この文化層は臨川寺でない」ということは本当だ; fact17 & int8 -> int9: あの竜騎士は抱き支えないかもしくはそれは透析前でない; int9 & fact1 & fact14 -> int10: あの竜騎士は高精度だ; int7 & int10 -> int11: あの竜騎士は発生し得ないけど高精度である; int11 & fact6 -> hypothesis;
その対症療法は凝縮する
fact26 -> int12: もしあの竜騎士が見下さないならそれは凝縮するし更にそれは復旧しない; fact25 -> int13: もしその代替物が灰色っぽいということはないとすればそれは発生し得るしそれに高精度だ;
$facts$ = fact1: もし仮にあの竜騎士は透析前でないならばそれは高精度である fact2: 「臨川寺でないけれど摩滅する」物はある fact3: 仮にあるものが灰色っぽくないとすると発生し得るし更に高精度だ fact4: 仮に「あの電磁的措置は褒美でないしその上凝縮しない」ということは誤りであるとしたら褒美である fact5: もしこの文化層が透析前であるということはないとするとあの電磁的措置は抱き支えないけれど灰色っぽい fact6: もしもあの竜騎士が発生し得ないけれど高精度であるとするとあの電磁的措置は灰色っぽくない fact7: 仮にあの竜騎士が復旧しないならばそれは凝縮しなくておまけに発生し得ない fact8: もし仮にあの竜騎士が復旧するとするとその代替物は見下さない fact9: 仮にこの文化層は欲深いしかつ快いなら臨川寺であるということはない fact10: あの第一号法定受託事務は摩滅する fact11: もし仮に「その代替物は見下すということはない」ということは正しいならばそれは褒美でない fact12: この文化層は欲深くてさらに快い fact13: その代替物が摩滅すれば褒美だ fact14: あの竜騎士が抱き支えないなら高精度だ fact15: もしもあの電磁的措置は抱き支えないけど灰色っぽいとすれば「その代替物は灰色っぽいということはない」ということは本当である fact16: もしも何らかの物が見下すということはないとすれば凝縮するしまた復旧しない fact17: この文化層が臨川寺でないとすればあの竜騎士は抱き支えないかそれは透析前でないかまたは両方ともである fact18: その代替物は摩滅する fact19: 仮に「あの竜騎士は凝縮する」ということは事実であるならばその対症療法は凝縮する fact20: その中小は復旧しない fact21: もしもなんらかの物は灰色っぽいかもしくは見下さないかまたは両方であるとしたら「それは灰色っぽい」ということは正しい ; $hypothesis$ = あの電磁的措置は灰色っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの竜騎士は復旧する」ということは成り立つ; fact8 & assump1 -> int1: その代替物は見下さない; int1 & fact11 -> int2: その代替物は褒美であるということはない; fact13 & fact18 -> int3: その代替物は褒美である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの竜騎士は復旧しない; int5 & fact7 -> int6: あの竜騎士が凝縮しないしさらにそれは発生し得ない; int6 -> int7: あの竜騎士は発生し得ない; fact9 & fact12 -> int8: 「この文化層は臨川寺でない」ということは本当だ; fact17 & int8 -> int9: あの竜騎士は抱き支えないかもしくはそれは透析前でない; int9 & fact1 & fact14 -> int10: あの竜騎士は高精度だ; int7 & int10 -> int11: あの竜騎士は発生し得ないけど高精度である; int11 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にあの竜騎士は透析前でないならばそれは高精度である
事実2: 「臨川寺でないけれど摩滅する」物はある
事実3: 仮にあるものが灰色っぽくないとすると発生し得るし更に高精度だ
事実4: 仮に「あの電磁的措置は褒美でないしその上凝縮しない」ということは誤りであるとしたら褒美である
事実5: もしこの文化層が透析前であるということはないとするとあの電磁的措置は抱き支えないけれど灰色っぽい
事実6: もしもあの竜騎士が発生し得ないけれど高精度であるとするとあの電磁的措置は灰色っぽくない
事実7: 仮にあの竜騎士が復旧しないならばそれは凝縮しなくておまけに発生し得ない
事実8: もし仮にあの竜騎士が復旧するとするとその代替物は見下さない
事実9: 仮にこの文化層は欲深いしかつ快いなら臨川寺であるということはない
事実10: あの第一号法定受託事務は摩滅する
事実11: もし仮に「その代替物は見下すということはない」ということは正しいならばそれは褒美でない
事実12: この文化層は欲深くてさらに快い
事実13: その代替物が摩滅すれば褒美だ
事実14: あの竜騎士が抱き支えないなら高精度だ
事実15: もしもあの電磁的措置は抱き支えないけど灰色っぽいとすれば「その代替物は灰色っぽいということはない」ということは本当である
事実16: もしも何らかの物が見下すということはないとすれば凝縮するしまた復旧しない
事実17: この文化層が臨川寺でないとすればあの竜騎士は抱き支えないかそれは透析前でないかまたは両方ともである
事実18: その代替物は摩滅する
事実19: 仮に「あの竜騎士は凝縮する」ということは事実であるならばその対症療法は凝縮する
事実20: その中小は復旧しない
事実21: もしもなんらかの物は灰色っぽいかもしくは見下さないかまたは両方であるとしたら「それは灰色っぽい」ということは正しい

仮説: あの電磁的措置は灰色っぽい
1. 仮定1: 以下のように仮定する。「あの竜騎士は復旧する」ということは成り立つ
2. 事実8と仮定1から、推論1: "その代替物は見下さない"が導かれる
3. 推論1と事実11から、推論2: "その代替物は褒美であるということはない"が導かれる
4. 事実13と事実18から、推論3: "その代替物は褒美である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの竜騎士は復旧しない"が導かれる
7. 推論5と事実7から、推論6: "あの竜騎士が凝縮しないしさらにそれは発生し得ない"が導かれる
8. 推論6から、推論7: "あの竜騎士は発生し得ない"が導かれる
9. 事実9と事実12から、推論8: "「この文化層は臨川寺でない」ということは本当だ"が導かれる
10. 事実17と推論8から、推論9: "あの竜騎士は抱き支えないかもしくはそれは透析前でない"が導かれる
11. 推論9と事実1と事実14から、推論10: "あの竜騎士は高精度だ"が導かれる
12. 推論7と推論10から、推論11: "あの竜騎士は発生し得ないけど高精度である"が導かれる
13. 推論11と事実6から、仮説が否定される

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