もしその残存耐用年数が古めかしいとするとその関白家は甘ったれる
fact1: その残存耐用年数は試合中である fact2: もしもその関白家が甘ったれないとするとそれは汚れ易いかもしくは断てない fact3: もし仮にその残存耐用年数が断てるとするとその細胞体積は断てる fact4: この胴元は古めかしいとすると「その関白家は断てないしその上焦れったくない」ということは間違っている fact5: もし回りくどい物が甘ったれるとしたらそれは古めかしくない fact6: その残存耐用年数は汚れ易いかまたは断てるかまたはどちらもである fact7: 仮になにがしかのものは焦点であるということはないとするとそれは悪いかもしくは烏・天狗であるかもしくはどちらもである fact8: もし仮にその残存耐用年数が断てるということはないとしたらその関白家は甘ったれる fact9: もし仮にその残存耐用年数が汚れ易いかまたは断てないかあるいは両方であるとすると「その関白家は甘ったれる」ということは本当である fact10: 仮に「その関白家は断てないし焦れったくない」ということは誤っているならばあの残存耐用年数は断てる fact11: あるものが甘ったれるししかも焦れったいとしたらそれは古めかしくない fact12: 回りくどいということはないものは汚れ易いかまたは断てないかもしくは両方ともだ fact13: なんらかの物は甘ったれるということはないし加えて艶っぽくないとするとそれは汚れ易くない fact14: もしその残存耐用年数が回りくどくないなら汚れ易いか断てる fact15: もし焦れったいものが古めかしいとすればそれは回りくどくない fact16: もしも何かはうら若しならばそれは甘ったれないしおまけに艶っぽくない fact17: その残存耐用年数は標準体温群でないとするとそれは古めかしいかあるいはに因って居る fact18: その残存耐用年数は焦れったい fact19: あのセーブルは羨ましいかまたは根負けするかあるいは両方ともだ
void -> assump1: 以下のように仮定する。その残存耐用年数は古めかしい; fact18 & assump1 -> int1: その残存耐用年数は焦れったくてかつ古めかしい; fact15 -> int2: 「「その残存耐用年数は焦れったくて更に古めかしい」ということは本当だとしたらその残存耐用年数は回りくどくない」ということは確かだ; int1 & int2 -> int3: その残存耐用年数は回りくどくない; fact12 -> int4: もし「その残存耐用年数は回りくどくない」ということは本当だとすればそれは汚れ易いかあるいは断てない; int3 & int4 -> int5: その残存耐用年数は汚れ易いかあるいは断てないかどちらもである; int5 & fact9 -> int6: その関白家は甘ったれる; [assump1] & int6 -> hypothesis;
その細胞体積は断てる
fact23 -> int7: この胴元が甘ったれないしさらにそれは艶っぽくないなら「汚れ易くない」ということは確かだ; fact22 -> int8: この胴元がうら若しならばそれは甘ったれないし更に艶っぽいということはない;
$facts$ = fact1: その残存耐用年数は試合中である fact2: もしもその関白家が甘ったれないとするとそれは汚れ易いかもしくは断てない fact3: もし仮にその残存耐用年数が断てるとするとその細胞体積は断てる fact4: この胴元は古めかしいとすると「その関白家は断てないしその上焦れったくない」ということは間違っている fact5: もし回りくどい物が甘ったれるとしたらそれは古めかしくない fact6: その残存耐用年数は汚れ易いかまたは断てるかまたはどちらもである fact7: 仮になにがしかのものは焦点であるということはないとするとそれは悪いかもしくは烏・天狗であるかもしくはどちらもである fact8: もし仮にその残存耐用年数が断てるということはないとしたらその関白家は甘ったれる fact9: もし仮にその残存耐用年数が汚れ易いかまたは断てないかあるいは両方であるとすると「その関白家は甘ったれる」ということは本当である fact10: 仮に「その関白家は断てないし焦れったくない」ということは誤っているならばあの残存耐用年数は断てる fact11: あるものが甘ったれるししかも焦れったいとしたらそれは古めかしくない fact12: 回りくどいということはないものは汚れ易いかまたは断てないかもしくは両方ともだ fact13: なんらかの物は甘ったれるということはないし加えて艶っぽくないとするとそれは汚れ易くない fact14: もしその残存耐用年数が回りくどくないなら汚れ易いか断てる fact15: もし焦れったいものが古めかしいとすればそれは回りくどくない fact16: もしも何かはうら若しならばそれは甘ったれないしおまけに艶っぽくない fact17: その残存耐用年数は標準体温群でないとするとそれは古めかしいかあるいはに因って居る fact18: その残存耐用年数は焦れったい fact19: あのセーブルは羨ましいかまたは根負けするかあるいは両方ともだ ; $hypothesis$ = もしその残存耐用年数が古めかしいとするとその関白家は甘ったれる ; $proof$ = 
void -> assump1: 以下のように仮定する。その残存耐用年数は古めかしい; fact18 & assump1 -> int1: その残存耐用年数は焦れったくてかつ古めかしい; fact15 -> int2: 「「その残存耐用年数は焦れったくて更に古めかしい」ということは本当だとしたらその残存耐用年数は回りくどくない」ということは確かだ; int1 & int2 -> int3: その残存耐用年数は回りくどくない; fact12 -> int4: もし「その残存耐用年数は回りくどくない」ということは本当だとすればそれは汚れ易いかあるいは断てない; int3 & int4 -> int5: その残存耐用年数は汚れ易いかあるいは断てないかどちらもである; int5 & fact9 -> int6: その関白家は甘ったれる; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その残存耐用年数は試合中である
事実2: もしもその関白家が甘ったれないとするとそれは汚れ易いかもしくは断てない
事実3: もし仮にその残存耐用年数が断てるとするとその細胞体積は断てる
事実4: この胴元は古めかしいとすると「その関白家は断てないしその上焦れったくない」ということは間違っている
事実5: もし回りくどい物が甘ったれるとしたらそれは古めかしくない
事実6: その残存耐用年数は汚れ易いかまたは断てるかまたはどちらもである
事実7: 仮になにがしかのものは焦点であるということはないとするとそれは悪いかもしくは烏・天狗であるかもしくはどちらもである
事実8: もし仮にその残存耐用年数が断てるということはないとしたらその関白家は甘ったれる
事実9: もし仮にその残存耐用年数が汚れ易いかまたは断てないかあるいは両方であるとすると「その関白家は甘ったれる」ということは本当である
事実10: 仮に「その関白家は断てないし焦れったくない」ということは誤っているならばあの残存耐用年数は断てる
事実11: あるものが甘ったれるししかも焦れったいとしたらそれは古めかしくない
事実12: 回りくどいということはないものは汚れ易いかまたは断てないかもしくは両方ともだ
事実13: なんらかの物は甘ったれるということはないし加えて艶っぽくないとするとそれは汚れ易くない
事実14: もしその残存耐用年数が回りくどくないなら汚れ易いか断てる
事実15: もし焦れったいものが古めかしいとすればそれは回りくどくない
事実16: もしも何かはうら若しならばそれは甘ったれないしおまけに艶っぽくない
事実17: その残存耐用年数は標準体温群でないとするとそれは古めかしいかあるいはに因って居る
事実18: その残存耐用年数は焦れったい
事実19: あのセーブルは羨ましいかまたは根負けするかあるいは両方ともだ

仮説: もしその残存耐用年数が古めかしいとするとその関白家は甘ったれる
1. 仮定1: 以下のように仮定する。その残存耐用年数は古めかしい
2. 事実18と仮定1から、推論1: "その残存耐用年数は焦れったくてかつ古めかしい"が導かれる
3. 事実15から、推論2: "「「その残存耐用年数は焦れったくて更に古めかしい」ということは本当だとしたらその残存耐用年数は回りくどくない」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "その残存耐用年数は回りくどくない"が導かれる
5. 事実12から、推論4: "もし「その残存耐用年数は回りくどくない」ということは本当だとすればそれは汚れ易いかあるいは断てない"が導かれる
6. 推論3と推論4から、推論5: "その残存耐用年数は汚れ易いかあるいは断てないかどちらもである"が導かれる
7. 推論5と事実9から、推論6: "その関白家は甘ったれる"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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