この造像は詮無い
fact1: そのロシア軍は御教え下さらない fact2: そのロシア軍は詮無い fact3: 全ては届け出しない fact4: もしもそのロシア軍が鳴き始めるならばあの造像は詮無い fact5: この造像は御教え下さる fact6: もしもそのロシア軍が詮無いとしたらこの造像は鳴き始める fact7: この造像は鳴き始めるとすれば「そのロシア軍は詮無い」ということは本当である fact8: もし仮にそのロシア軍がカルシウム源であるならばこの造像は詮無い fact9: そのロシア軍が御教え下さるということはないとしたらそれはカルシウム源であるか鳴き始める fact10: もしそのロシア軍が詮無くないならば御教え下さるかあるいは鳴き始めるかまたはどちらもだ fact11: もし仮にこの造像がカルシウム源だとするとそのロシア軍は詮無い fact12: 仮になにがしかの物が届け出しないとしたら危機感でないし加えて心細くない
fact9 & fact1 -> int1: そのロシア軍はカルシウム源であるかもしくは鳴き始める; int1 & fact8 & fact4 -> hypothesis;
fact9 & fact1 -> int1: ({AA}{a} v {AB}{a}); int1 & fact8 & fact4 -> hypothesis;
この造像は詮無いということはない
fact13 -> int2: 仮にそのロシア軍が届け出しないとすれば危機感だということはなくてしかもそれは心細くない; fact14 -> int3: そのロシア軍は届け出するということはない; int2 & int3 -> int4: そのロシア軍は危機感でなくて心細くない; int4 -> int5: そのロシア軍は危機感でない;
$facts$ = fact1: そのロシア軍は御教え下さらない fact2: そのロシア軍は詮無い fact3: 全ては届け出しない fact4: もしもそのロシア軍が鳴き始めるならばあの造像は詮無い fact5: この造像は御教え下さる fact6: もしもそのロシア軍が詮無いとしたらこの造像は鳴き始める fact7: この造像は鳴き始めるとすれば「そのロシア軍は詮無い」ということは本当である fact8: もし仮にそのロシア軍がカルシウム源であるならばこの造像は詮無い fact9: そのロシア軍が御教え下さるということはないとしたらそれはカルシウム源であるか鳴き始める fact10: もしそのロシア軍が詮無くないならば御教え下さるかあるいは鳴き始めるかまたはどちらもだ fact11: もし仮にこの造像がカルシウム源だとするとそのロシア軍は詮無い fact12: 仮になにがしかの物が届け出しないとしたら危機感でないし加えて心細くない ; $hypothesis$ = この造像は詮無い ; $proof$ = 
fact9 & fact1 -> int1: そのロシア軍はカルシウム源であるかもしくは鳴き始める; int1 & fact8 & fact4 -> hypothesis; __PROVED__
事実1: そのロシア軍は御教え下さらない
事実2: そのロシア軍は詮無い
事実3: 全ては届け出しない
事実4: もしもそのロシア軍が鳴き始めるならばあの造像は詮無い
事実5: この造像は御教え下さる
事実6: もしもそのロシア軍が詮無いとしたらこの造像は鳴き始める
事実7: この造像は鳴き始めるとすれば「そのロシア軍は詮無い」ということは本当である
事実8: もし仮にそのロシア軍がカルシウム源であるならばこの造像は詮無い
事実9: そのロシア軍が御教え下さるということはないとしたらそれはカルシウム源であるか鳴き始める
事実10: もしそのロシア軍が詮無くないならば御教え下さるかあるいは鳴き始めるかまたはどちらもだ
事実11: もし仮にこの造像がカルシウム源だとするとそのロシア軍は詮無い
事実12: 仮になにがしかの物が届け出しないとしたら危機感でないし加えて心細くない

仮説: この造像は詮無い
1. 事実9と事実1から、推論1: "そのロシア軍はカルシウム源であるかもしくは鳴き始める"が導かれる
2. 推論1と事実8と事実4から、仮説が導かれる

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