その押し切りは心許ない
fact1: もし仮になにがしかのものが削ぎ取るということはないとしたらその続日本記は憲法草案であるかもしくは構え易いかあるいは両方ともである fact2: もしあのアンデス世界が御問い合わせ下さらないならあの生き恥はドキソルビシンでおまけに心許ない fact3: 「もしあの生き恥がドキソルビシンで加えて心許ないとしたらその押し切りは心許なくない」ということは真実である fact4: もし仮にあの生き恥は御問い合わせ下さるとすれば「その押し切りは心許ない」ということは真実である fact5: しぶとくない物が徹しないなら削ぎ取らない fact6: 「その押し切りは御問い合わせ下さる」ということは成り立つ fact7: もしこのランサーは駝鳥であるとすれば「空想だ」ということは成り立つ fact8: あの生き恥はドキソルビシンだ fact9: その押し切りはドキソルビシンである fact10: もしなにがしかのものが雲隠れしないとするとしぶといということはないし徹しない fact11: 憲法草案は間違い無い fact12: もしある物が構え易いとすればそれは間違い無い fact13: 「ドキソルビシンが心許なくないとすればそれは御問い合わせ下さる」ということは嘘でない fact14: 仮に「あの生き恥はドキソルビシンだ」ということは本当であるならばそれは御問い合わせ下さる fact15: その天王寺屋会記は若者らしいが首肯しないとすると雲隠れしない fact16: その天王寺屋会記は若者らしいけれど首肯するということはない
fact14 & fact8 -> int1: あの生き恥は御問い合わせ下さる; int1 & fact4 -> hypothesis;
fact14 & fact8 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
その押し切りは心許ないということはない
fact22 -> int2: もし仮にその天王寺屋会記はしぶといということはないしかつ徹しないとしたら削ぎ取らない; fact20 -> int3: もしもその天王寺屋会記は雲隠れしないとすれば「しぶとくないしおまけに徹しない」ということは事実だ; fact24 & fact23 -> int4: その天王寺屋会記は雲隠れしない; int3 & int4 -> int5: その天王寺屋会記はしぶとくないし更に徹するということはない; int2 & int5 -> int6: その天王寺屋会記は削ぎ取らない; int6 -> int7: 「削ぎ取るということはない」ものはある; int7 & fact18 -> int8: その続日本記は憲法草案であるか構え易い; fact17 -> int9: もし仮にその続日本記は憲法草案であるとしたらそれは間違い無い; fact21 -> int10: もし仮に「その続日本記は構え易い」ということは成り立つとすると間違い無い; int8 & int9 & int10 -> int11: その続日本記は間違い無い; int11 -> int12: 「「間違い無い」ということは成り立つ」物はある;
$facts$ = fact1: もし仮になにがしかのものが削ぎ取るということはないとしたらその続日本記は憲法草案であるかもしくは構え易いかあるいは両方ともである fact2: もしあのアンデス世界が御問い合わせ下さらないならあの生き恥はドキソルビシンでおまけに心許ない fact3: 「もしあの生き恥がドキソルビシンで加えて心許ないとしたらその押し切りは心許なくない」ということは真実である fact4: もし仮にあの生き恥は御問い合わせ下さるとすれば「その押し切りは心許ない」ということは真実である fact5: しぶとくない物が徹しないなら削ぎ取らない fact6: 「その押し切りは御問い合わせ下さる」ということは成り立つ fact7: もしこのランサーは駝鳥であるとすれば「空想だ」ということは成り立つ fact8: あの生き恥はドキソルビシンだ fact9: その押し切りはドキソルビシンである fact10: もしなにがしかのものが雲隠れしないとするとしぶといということはないし徹しない fact11: 憲法草案は間違い無い fact12: もしある物が構え易いとすればそれは間違い無い fact13: 「ドキソルビシンが心許なくないとすればそれは御問い合わせ下さる」ということは嘘でない fact14: 仮に「あの生き恥はドキソルビシンだ」ということは本当であるならばそれは御問い合わせ下さる fact15: その天王寺屋会記は若者らしいが首肯しないとすると雲隠れしない fact16: その天王寺屋会記は若者らしいけれど首肯するということはない ; $hypothesis$ = その押し切りは心許ない ; $proof$ = 
fact14 & fact8 -> int1: あの生き恥は御問い合わせ下さる; int1 & fact4 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものが削ぎ取るということはないとしたらその続日本記は憲法草案であるかもしくは構え易いかあるいは両方ともである
事実2: もしあのアンデス世界が御問い合わせ下さらないならあの生き恥はドキソルビシンでおまけに心許ない
事実3: 「もしあの生き恥がドキソルビシンで加えて心許ないとしたらその押し切りは心許なくない」ということは真実である
事実4: もし仮にあの生き恥は御問い合わせ下さるとすれば「その押し切りは心許ない」ということは真実である
事実5: しぶとくない物が徹しないなら削ぎ取らない
事実6: 「その押し切りは御問い合わせ下さる」ということは成り立つ
事実7: もしこのランサーは駝鳥であるとすれば「空想だ」ということは成り立つ
事実8: あの生き恥はドキソルビシンだ
事実9: その押し切りはドキソルビシンである
事実10: もしなにがしかのものが雲隠れしないとするとしぶといということはないし徹しない
事実11: 憲法草案は間違い無い
事実12: もしある物が構え易いとすればそれは間違い無い
事実13: 「ドキソルビシンが心許なくないとすればそれは御問い合わせ下さる」ということは嘘でない
事実14: 仮に「あの生き恥はドキソルビシンだ」ということは本当であるならばそれは御問い合わせ下さる
事実15: その天王寺屋会記は若者らしいが首肯しないとすると雲隠れしない
事実16: その天王寺屋会記は若者らしいけれど首肯するということはない

仮説: その押し切りは心許ない
1. 事実14と事実8から、推論1: "あの生き恥は御問い合わせ下さる"が導かれる
2. 推論1と事実4から、仮説が導かれる

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