この気いは罹り易い
fact1: もし仮にこの御開きが追究しないけどそれが罹り易いとするとこの気いは罹り易くない fact2: 埃っぽい物は敗訴しないかやくざっぽいということはないかあるいは両方である fact3: あの措置命令は埃っぽいとしたら「あの可変はやくざっぽい」ということは成り立つ fact4: もしもあの措置命令が敗訴しないならばこの御開きは追究しないが罹り易い fact5: この御開きは敗訴するしそれは追究する fact6: あの蛍光顕微鏡像は去りする fact7: もしもこの御開きはやくざっぽいならば「あの可変は敗訴する」ということは正しい fact8: あの可変は敗訴する fact9: その九十年当時は交代出来るということはないかもしくはそれは胴巻きでないか両方だ fact10: 仮にこの御開きは追究するとすれば「あの措置命令は埃っぽい」ということは本当である fact11: この黒玉は埃っぽい fact12: 「この気いは敗訴する」ということは正しい fact13: この御開きが埃っぽいならばあの措置命令は追究する fact14: 仮にあの可変がやくざっぽいとするとこの気いは罹り易い
fact5 -> int1: この御開きは追究する; int1 & fact10 -> int2: あの措置命令は埃っぽい; int2 & fact3 -> int3: あの可変はやくざっぽい; int3 & fact14 -> hypothesis;
この気いは罹り易くない
fact19 -> int4: もし仮にあの可変が埃っぽいならば敗訴しないかもしくはやくざっぽくないかもしくは両方だ;
$facts$ = fact1: もし仮にこの御開きが追究しないけどそれが罹り易いとするとこの気いは罹り易くない fact2: 埃っぽい物は敗訴しないかやくざっぽいということはないかあるいは両方である fact3: あの措置命令は埃っぽいとしたら「あの可変はやくざっぽい」ということは成り立つ fact4: もしもあの措置命令が敗訴しないならばこの御開きは追究しないが罹り易い fact5: この御開きは敗訴するしそれは追究する fact6: あの蛍光顕微鏡像は去りする fact7: もしもこの御開きはやくざっぽいならば「あの可変は敗訴する」ということは正しい fact8: あの可変は敗訴する fact9: その九十年当時は交代出来るということはないかもしくはそれは胴巻きでないか両方だ fact10: 仮にこの御開きは追究するとすれば「あの措置命令は埃っぽい」ということは本当である fact11: この黒玉は埃っぽい fact12: 「この気いは敗訴する」ということは正しい fact13: この御開きが埃っぽいならばあの措置命令は追究する fact14: 仮にあの可変がやくざっぽいとするとこの気いは罹り易い ; $hypothesis$ = この気いは罹り易い ; $proof$ = 
fact5 -> int1: この御開きは追究する; int1 & fact10 -> int2: あの措置命令は埃っぽい; int2 & fact3 -> int3: あの可変はやくざっぽい; int3 & fact14 -> hypothesis; __PROVED__
事実1: もし仮にこの御開きが追究しないけどそれが罹り易いとするとこの気いは罹り易くない
事実2: 埃っぽい物は敗訴しないかやくざっぽいということはないかあるいは両方である
事実3: あの措置命令は埃っぽいとしたら「あの可変はやくざっぽい」ということは成り立つ
事実4: もしもあの措置命令が敗訴しないならばこの御開きは追究しないが罹り易い
事実5: この御開きは敗訴するしそれは追究する
事実6: あの蛍光顕微鏡像は去りする
事実7: もしもこの御開きはやくざっぽいならば「あの可変は敗訴する」ということは正しい
事実8: あの可変は敗訴する
事実9: その九十年当時は交代出来るということはないかもしくはそれは胴巻きでないか両方だ
事実10: 仮にこの御開きは追究するとすれば「あの措置命令は埃っぽい」ということは本当である
事実11: この黒玉は埃っぽい
事実12: 「この気いは敗訴する」ということは正しい
事実13: この御開きが埃っぽいならばあの措置命令は追究する
事実14: 仮にあの可変がやくざっぽいとするとこの気いは罹り易い

仮説: この気いは罹り易い
1. 事実5から、推論1: "この御開きは追究する"が導かれる
2. 推論1と事実10から、推論2: "あの措置命令は埃っぽい"が導かれる
3. 推論2と事実3から、推論3: "あの可変はやくざっぽい"が導かれる
4. 推論3と事実14から、仮説が導かれる

よって、仮説が証明されました。