あのキリスト教的価値観は召し捕らえらなくてその上それは素早くない
fact1: 仮に「この射幸心は寝ぬが犯し難くない」ということは成り立たないならば「あのキリスト教的価値観は寝ぬということはない」ということは確かだ fact2: 「もしあのキリスト教的価値観は初々しいしベルムナント伯だとすれば「あのキリスト教的価値観は特例法上である」ということは確かだ」ということは成り立つ fact3: もし仮になにがしかのものは特例法上でないなら「それは召し捕らえらないし素早いということはない」ということは確かでない fact4: あのキリスト教的価値観はベルムナント伯でない fact5: 仮にあの諸芸が意地悪くないとするとそれは粘っこくない fact6: もしなにがしかのものは特例法上でなくて加えて召し捕らえらないとすれば素早い fact7: 仮に「あの諸芸は指遣いでないしさらにノンフィクションでない」ということは偽であるとすればあのハウスマン‐犀ダック・テストは指遣いでない fact8: もし仮に何らかのものは指遣いでないとすると「寝ぬしかつそれは犯し難い」ということは真実だ fact9: もし仮にあのキリスト教的価値観が特例法上ならばそれは召し捕らえらないししかも素早くない fact10: 素早い物は対局する一方でベルムナント伯でない fact11: もしそのハウスマン‐犀ダック・テストは寝ぬならば「この射幸心は特例法上であるかもしくはそれは著述でないか両方だ」ということは成り立たない fact12: あのキリスト教的価値観が寝ぬないならあの採用後は特例法上でないし加えてそれは召し捕らえらない fact13: 仮にあのキリスト教的価値観が初々しいがしかしそれはベルムナント伯であるということはないなら特例法上だ fact14: 仮にあのキリスト教的価値観が召し捕らえるとしたら千九百年頃でない fact15: もしも「そのハウスマン‐犀ダック・テストは変われるし更に著述だ」ということは確かでないとしたら「この射幸心は著述でない」ということは本当である fact16: もしもなにがしかのものは粘っこいということはないとすれば「それは指遣いでないしその上ノンフィクションでない」ということは成り立たない fact17: もしもあのキリスト教的価値観は特例法上であるなら素早くない fact18: その開局はドケルバン病であるが甘ーくない fact19: もしもなにがしかの物は指遣いでないならば「それは変われるししかも著述だ」ということは成り立たない fact20: もし仮になんらかのものは著述でないとすると「寝ぬししかも犯し難くない」ということは間違いである fact21: あのキリスト教的価値観は初々しい一方でベルムナント伯でない fact22: もし「この射幸心は特例法上であるかまたは著述でない」ということは誤りならあのキリスト教的価値観は特例法上でない
fact13 & fact21 -> int1: あのキリスト教的価値観は特例法上だ; int1 & fact9 -> hypothesis;
あの採用後は対局するけどベルムナント伯でない
fact27 -> int2: あの採用後が素早いとするとそれは対局するがベルムナント伯でない; fact28 -> int3: あの採用後は特例法上でなくてまた召し捕らえらないとすると素早い; fact26 -> int4: 仮にこの射幸心は著述でないなら「寝ぬけれど犯し難くない」ということは真実でない; fact32 -> int5: そのハウスマン‐犀ダック・テストは指遣いでないとすると「変われるしそれは著述だ」ということは間違いだ; fact23 -> int6: もしあの諸芸は粘っこくないなら「それは指遣いでなくて更にノンフィクションだということはない」ということは成り立たない;
$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$ = 
fact13 & fact21 -> int1: あのキリスト教的価値観は特例法上だ; int1 & fact9 -> 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. 事実13と事実21から、推論1: "あのキリスト教的価値観は特例法上だ"が導かれる
2. 推論1と事実9から、仮説が導かれる

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