その飢饉奴隷は刻む
fact1: もしも何らかの物は幼児だとすれば「それは初誕生儀礼であるかまたはオープンイベントプロシージャでない」ということは確かでない fact2: その突きはロック出来ない fact3: 「その飢饉奴隷は刻む」ということは成り立つとしたらそれはロック出来る fact4: その如才は刻む fact5: もしなにかはアルミであるとすればそれはロック出来る fact6: あの法定給付はロック出来ない fact7: もし「あの資金ニーズは初誕生儀礼であるかもしくはそれはオープンイベントプロシージャでないか両方だ」ということは間違いであるならばあの突きは履けない fact8: もしもなにがしかのものは履ければ「「アルミでなくてそれはロック出来る」ということは正しい」ということは嘘だ fact9: 「その突きは浅し」ということは確かだ fact10: もし仮にとあるものがアルミならそれは刻む fact11: もし仮にある物は履けないとすれば「それはアルミであるしまたそれはロック出来る」ということは成り立たない fact12: その飢饉奴隷はどうして行ける fact13: もし仮にある物が蓬髪だとすれば高速・軽量化する fact14: 仮にその突きがロック出来ないならその飢饉奴隷はアルミだ fact15: もし仮にその突きがアルミでないならその飢饉奴隷はロック出来る fact16: もしもその突きが刻まないとしたらその飢饉奴隷はアルミだ fact17: その突きはアルミでない
fact14 & fact2 -> int1: その飢饉奴隷はアルミである; fact10 -> int2: その飢饉奴隷がアルミだとしたらそれは刻む; int1 & int2 -> hypothesis;
fact14 & fact2 -> int1: {B}{b}; fact10 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
その飢饉奴隷は刻まない
fact18 -> int3: その突きは履けるとしたら「アルミでないがロック出来る」ということは成り立たない;
$facts$ = fact1: もしも何らかの物は幼児だとすれば「それは初誕生儀礼であるかまたはオープンイベントプロシージャでない」ということは確かでない fact2: その突きはロック出来ない fact3: 「その飢饉奴隷は刻む」ということは成り立つとしたらそれはロック出来る fact4: その如才は刻む fact5: もしなにかはアルミであるとすればそれはロック出来る fact6: あの法定給付はロック出来ない fact7: もし「あの資金ニーズは初誕生儀礼であるかもしくはそれはオープンイベントプロシージャでないか両方だ」ということは間違いであるならばあの突きは履けない fact8: もしもなにがしかのものは履ければ「「アルミでなくてそれはロック出来る」ということは正しい」ということは嘘だ fact9: 「その突きは浅し」ということは確かだ fact10: もし仮にとあるものがアルミならそれは刻む fact11: もし仮にある物は履けないとすれば「それはアルミであるしまたそれはロック出来る」ということは成り立たない fact12: その飢饉奴隷はどうして行ける fact13: もし仮にある物が蓬髪だとすれば高速・軽量化する fact14: 仮にその突きがロック出来ないならその飢饉奴隷はアルミだ fact15: もし仮にその突きがアルミでないならその飢饉奴隷はロック出来る fact16: もしもその突きが刻まないとしたらその飢饉奴隷はアルミだ fact17: その突きはアルミでない ; $hypothesis$ = その飢饉奴隷は刻む ; $proof$ = 
fact14 & fact2 -> int1: その飢饉奴隷はアルミである; fact10 -> int2: その飢饉奴隷がアルミだとしたらそれは刻む; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも何らかの物は幼児だとすれば「それは初誕生儀礼であるかまたはオープンイベントプロシージャでない」ということは確かでない
事実2: その突きはロック出来ない
事実3: 「その飢饉奴隷は刻む」ということは成り立つとしたらそれはロック出来る
事実4: その如才は刻む
事実5: もしなにかはアルミであるとすればそれはロック出来る
事実6: あの法定給付はロック出来ない
事実7: もし「あの資金ニーズは初誕生儀礼であるかもしくはそれはオープンイベントプロシージャでないか両方だ」ということは間違いであるならばあの突きは履けない
事実8: もしもなにがしかのものは履ければ「「アルミでなくてそれはロック出来る」ということは正しい」ということは嘘だ
事実9: 「その突きは浅し」ということは確かだ
事実10: もし仮にとあるものがアルミならそれは刻む
事実11: もし仮にある物は履けないとすれば「それはアルミであるしまたそれはロック出来る」ということは成り立たない
事実12: その飢饉奴隷はどうして行ける
事実13: もし仮にある物が蓬髪だとすれば高速・軽量化する
事実14: 仮にその突きがロック出来ないならその飢饉奴隷はアルミだ
事実15: もし仮にその突きがアルミでないならその飢饉奴隷はロック出来る
事実16: もしもその突きが刻まないとしたらその飢饉奴隷はアルミだ
事実17: その突きはアルミでない

仮説: その飢饉奴隷は刻む
1. 事実14と事実2から、推論1: "その飢饉奴隷はアルミである"が導かれる
2. 事実10から、推論2: "その飢饉奴隷がアルミだとしたらそれは刻む"が導かれる
3. 推論1と推論2から、仮説が導かれる

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