この革マルは激しい
fact1: もしあのシェイプが激しいならそれは偉い fact2: この革マルは偉い fact3: その急行列車は偉い fact4: その缶は御祈り致す fact5: この革マルは惜しみ無いか激しい fact6: 激しいものは偉い fact7: 仮に「あのシェイプは偉い」ということは事実ならば激しい fact8: 仮になんらかのものが御祈り致すとすればそれは激しい fact9: この革マルが御祈り致すということはないなら惜しみ無いかあるいは偉いかもしくは両方ともである fact10: この革マルはアドレスする fact11: あのシェイプは野宿する fact12: この透かし彫りは惜しみ無い fact13: もしもあのシェイプが偉いならばこの革マルは惜しみ無い fact14: この革マルは激しいかまたは惜しみ無い fact15: もし仮にあのシェイプが惜しみ無いとするとこの革マルは御祈り致す fact16: もし仮に「何らかのものは香るがそれは主張出来ない」ということは本当ならそれはブランドらしくない fact17: あのシェイプは偉いかもしくは惜しみ無いか両方ともである fact18: もしもあのシェイプが偉いとするとこの革マルは御祈り致す fact19: もし仮にあのシェイプが御祈り致せばこの革マルは偉い fact20: そのノルマン人が惜しみ無いとしたら落ち難い fact21: あのシェイプが駄賃だとすればそれは惜しみ無い fact22: もしあのシェイプがブランドらしくないとすればあの革マルは御祈り致さないけど麗し
fact17 & fact18 & fact15 -> int1: この革マルは御祈り致す; fact8 -> int2: 「この革マルは御祈り致す」ということは成り立つとすれば激しい; int1 & int2 -> hypothesis;
この革マルは激しくない
fact25 -> int3: もしあのシェイプが香るがしかし主張出来ないとするとブランドらしくない;
$facts$ = fact1: もしあのシェイプが激しいならそれは偉い fact2: この革マルは偉い fact3: その急行列車は偉い fact4: その缶は御祈り致す fact5: この革マルは惜しみ無いか激しい fact6: 激しいものは偉い fact7: 仮に「あのシェイプは偉い」ということは事実ならば激しい fact8: 仮になんらかのものが御祈り致すとすればそれは激しい fact9: この革マルが御祈り致すということはないなら惜しみ無いかあるいは偉いかもしくは両方ともである fact10: この革マルはアドレスする fact11: あのシェイプは野宿する fact12: この透かし彫りは惜しみ無い fact13: もしもあのシェイプが偉いならばこの革マルは惜しみ無い fact14: この革マルは激しいかまたは惜しみ無い fact15: もし仮にあのシェイプが惜しみ無いとするとこの革マルは御祈り致す fact16: もし仮に「何らかのものは香るがそれは主張出来ない」ということは本当ならそれはブランドらしくない fact17: あのシェイプは偉いかもしくは惜しみ無いか両方ともである fact18: もしもあのシェイプが偉いとするとこの革マルは御祈り致す fact19: もし仮にあのシェイプが御祈り致せばこの革マルは偉い fact20: そのノルマン人が惜しみ無いとしたら落ち難い fact21: あのシェイプが駄賃だとすればそれは惜しみ無い fact22: もしあのシェイプがブランドらしくないとすればあの革マルは御祈り致さないけど麗し ; $hypothesis$ = この革マルは激しい ; $proof$ = 
fact17 & fact18 & fact15 -> int1: この革マルは御祈り致す; fact8 -> int2: 「この革マルは御祈り致す」ということは成り立つとすれば激しい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあのシェイプが激しいならそれは偉い
事実2: この革マルは偉い
事実3: その急行列車は偉い
事実4: その缶は御祈り致す
事実5: この革マルは惜しみ無いか激しい
事実6: 激しいものは偉い
事実7: 仮に「あのシェイプは偉い」ということは事実ならば激しい
事実8: 仮になんらかのものが御祈り致すとすればそれは激しい
事実9: この革マルが御祈り致すということはないなら惜しみ無いかあるいは偉いかもしくは両方ともである
事実10: この革マルはアドレスする
事実11: あのシェイプは野宿する
事実12: この透かし彫りは惜しみ無い
事実13: もしもあのシェイプが偉いならばこの革マルは惜しみ無い
事実14: この革マルは激しいかまたは惜しみ無い
事実15: もし仮にあのシェイプが惜しみ無いとするとこの革マルは御祈り致す
事実16: もし仮に「何らかのものは香るがそれは主張出来ない」ということは本当ならそれはブランドらしくない
事実17: あのシェイプは偉いかもしくは惜しみ無いか両方ともである
事実18: もしもあのシェイプが偉いとするとこの革マルは御祈り致す
事実19: もし仮にあのシェイプが御祈り致せばこの革マルは偉い
事実20: そのノルマン人が惜しみ無いとしたら落ち難い
事実21: あのシェイプが駄賃だとすればそれは惜しみ無い
事実22: もしあのシェイプがブランドらしくないとすればあの革マルは御祈り致さないけど麗し

仮説: この革マルは激しい
1. 事実17と事実18と事実15から、推論1: "この革マルは御祈り致す"が導かれる
2. 事実8から、推論2: "「この革マルは御祈り致す」ということは成り立つとすれば激しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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