あの土侯国は押し易い
fact1: もし仮にある物がフェイドアウトするとすれば土下座する fact2: もし仮にあるものが押し易いとしたらそれはフェイドアウトする fact3: もし仮にあの土侯国が落ち難いとすると押し易い fact4: あの定義的属性は焼き難い fact5: もし仮に何かは焼き難いとするとそれはフェイドアウトする fact6: あの土侯国は御浚いする fact7: 押し易いものは焼き難い fact8: あの土侯国は不信である fact9: なんらかの物がフェイドアウトするとすると落ち難い fact10: あの性能面は焼き難い fact11: あの辛酉は達成すしその上焼き難い fact12: 「あの土侯国は土下座するし焼き難い」ということは真実である
fact12 -> int1: 「あの土侯国は焼き難い」ということは真実だ; fact5 -> int2: あの土侯国が焼き難いならそれはフェイドアウトする; int1 & int2 -> int3: 「あの土侯国はフェイドアウトする」ということは本当だ; fact9 -> int4: もしあの土侯国はフェイドアウトするとしたら「落ち難くない」ということは間違いだ; int3 & int4 -> int5: あの土侯国は落ち難い; int5 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にある物がフェイドアウトするとすれば土下座する fact2: もし仮にあるものが押し易いとしたらそれはフェイドアウトする fact3: もし仮にあの土侯国が落ち難いとすると押し易い fact4: あの定義的属性は焼き難い fact5: もし仮に何かは焼き難いとするとそれはフェイドアウトする fact6: あの土侯国は御浚いする fact7: 押し易いものは焼き難い fact8: あの土侯国は不信である fact9: なんらかの物がフェイドアウトするとすると落ち難い fact10: あの性能面は焼き難い fact11: あの辛酉は達成すしその上焼き難い fact12: 「あの土侯国は土下座するし焼き難い」ということは真実である ; $hypothesis$ = あの土侯国は押し易い ; $proof$ = 
fact12 -> int1: 「あの土侯国は焼き難い」ということは真実だ; fact5 -> int2: あの土侯国が焼き難いならそれはフェイドアウトする; int1 & int2 -> int3: 「あの土侯国はフェイドアウトする」ということは本当だ; fact9 -> int4: もしあの土侯国はフェイドアウトするとしたら「落ち難くない」ということは間違いだ; int3 & int4 -> int5: あの土侯国は落ち難い; int5 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にある物がフェイドアウトするとすれば土下座する
事実2: もし仮にあるものが押し易いとしたらそれはフェイドアウトする
事実3: もし仮にあの土侯国が落ち難いとすると押し易い
事実4: あの定義的属性は焼き難い
事実5: もし仮に何かは焼き難いとするとそれはフェイドアウトする
事実6: あの土侯国は御浚いする
事実7: 押し易いものは焼き難い
事実8: あの土侯国は不信である
事実9: なんらかの物がフェイドアウトするとすると落ち難い
事実10: あの性能面は焼き難い
事実11: あの辛酉は達成すしその上焼き難い
事実12: 「あの土侯国は土下座するし焼き難い」ということは真実である

仮説: あの土侯国は押し易い
1. 事実12から、推論1: "「あの土侯国は焼き難い」ということは真実だ"が導かれる
2. 事実5から、推論2: "あの土侯国が焼き難いならそれはフェイドアウトする"が導かれる
3. 推論1と推論2から、推論3: "「あの土侯国はフェイドアウトする」ということは本当だ"が導かれる
4. 事実9から、推論4: "もしあの土侯国はフェイドアウトするとしたら「落ち難くない」ということは間違いだ"が導かれる
5. 推論3と推論4から、推論5: "あの土侯国は落ち難い"が導かれる
6. 推論5と事実3から、仮説が導かれる

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