「このミキシング・グラスは南総里見八犬伝だ」ということは確かである
fact1: この概念パスは経営出来る fact2: この概念パスは南総里見八犬伝だ fact3: 円鏡は南総里見八犬伝だ fact4: この概念パスは頑張り抜かない fact5: このミキシング・グラスはワンカップだしさらに比較し難い fact6: 「この御業は歩き難い」ということは事実だ fact7: もしこの概念パスが奏功しないとするとこのミキシング・グラスは奏功する fact8: もし仮にこのミキシング・グラスが歩き難くないならばこの概念パスは歩き難い fact9: この海浜は頑張り抜く fact10: その州県は御注意下さる fact11: もしもとある物が頑張り抜くとすれば円鏡だ fact12: もし仮に「このミキシング・グラスは奏功する」ということは誤りでないならばそれは歩き難い fact13: その居久し根は歩き難い fact14: 仮にこの概念パスが歩き難いしおまけに渡河するならそれは奏功しない fact15: この概念パスは歩き難いし更にそれは渡河する fact16: もしもこのミキシング・グラスは歩き難いとしたら「それは奏功する」ということは成り立つ fact17: この概念パスが円鏡であるしおまけに奏功するとしたら頑張り抜かない fact18: この概念パスは継続しない fact19: この概念パスは円鏡だ fact20: この概念パスが奏功しないとしたらこのミキシング・グラスは頑張り抜くし奏功する fact21: このミキシング・グラスは歩き難い fact22: このミキシング・グラスは渡河しない
fact14 & fact15 -> int1: この概念パスは奏功するということはない; int1 & fact20 -> int2: このミキシング・グラスは頑張り抜くし加えて奏功する; int2 -> int3: このミキシング・グラスは頑張り抜く; fact11 -> int4: このミキシング・グラスが頑張り抜くとすればそれは円鏡である; int3 & int4 -> int5: このミキシング・グラスは円鏡だ; fact3 -> int6: もし仮にこのミキシング・グラスは円鏡だとすると「南総里見八犬伝である」ということは本当だ; int5 & int6 -> hypothesis;
このミキシング・グラスは南総里見八犬伝でない
fact23 -> int7: とある物は御注意下さる;
$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$ = 
fact14 & fact15 -> int1: この概念パスは奏功するということはない; int1 & fact20 -> int2: このミキシング・グラスは頑張り抜くし加えて奏功する; int2 -> int3: このミキシング・グラスは頑張り抜く; fact11 -> int4: このミキシング・グラスが頑張り抜くとすればそれは円鏡である; int3 & int4 -> int5: このミキシング・グラスは円鏡だ; fact3 -> int6: もし仮にこのミキシング・グラスは円鏡だとすると「南総里見八犬伝である」ということは本当だ; int5 & int6 -> 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. 事実14と事実15から、推論1: "この概念パスは奏功するということはない"が導かれる
2. 推論1と事実20から、推論2: "このミキシング・グラスは頑張り抜くし加えて奏功する"が導かれる
3. 推論2から、推論3: "このミキシング・グラスは頑張り抜く"が導かれる
4. 事実11から、推論4: "このミキシング・グラスが頑張り抜くとすればそれは円鏡である"が導かれる
5. 推論3と推論4から、推論5: "このミキシング・グラスは円鏡だ"が導かれる
6. 事実3から、推論6: "もし仮にこのミキシング・グラスは円鏡だとすると「南総里見八犬伝である」ということは本当だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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