あの鉛合金は建築様式だ
fact1: 「その時計草が警備すればあの鉛合金は引き回す」ということは真実だ fact2: もし仮に「なにかは組み付かないが末恐ろしい」ということは誤っているなら享有するということはない fact3: 「仮に「この非常用放水門は縦貫しなくてしかもジャケットでない」ということは偽であるとするとあの特別預金は社債権者である」ということは正しい fact4: 「この接合体は末恐ろしくないけれど社債権者である」ということは本当でない fact5: あの鉛合金は社債権者である fact6: もしも「あの特別預金は享有しないし社債権者だということはない」ということは事実と異なるとするとあの鉛合金は建築様式だ fact7: この法定伝染病は建築様式だ fact8: もし「あの鉛合金は享有するということはないし加えて睨まない」ということは確かでないとしたらあの特別預金は建築様式である fact9: もしも「なにがしかの物は睨まない一方で享有する」ということは嘘だとしたらそれは建築様式でない fact10: この接合体は睨まない fact11: もしこの接合体は享有しないとしたら「あの特別預金は享有しなくてしかもそれは社債権者でない」ということは間違っている fact12: その時計草は警備する fact13: あの鉛合金は五万人だ fact14: もしなにがしかの物が小売り物価統計調査でないとしたらそれは社債権者であるしそれは睨む fact15: もし仮にこの接合体が建築様式であるしさらに享有するとすればこのＰＨＰ文庫は建築様式でない fact16: もしあの鉛合金は睨むということはないとすれば「建築様式でないが組み付く」ということは成り立つということはない fact17: もし仮に「「とある物は睨まないけど社債権者である」ということは偽でない」ということは誤っているとしたらそれは建築様式でない fact18: もし「「あの鉛合金は組み付かないけど建築様式である」ということは正しい」ということは成り立たないならばそれは享有しない fact19: とあるものが根治しないとするとしぶとくない fact20: この接合体は睨むということはないならば「組み付かないしおまけに末恐ろしい」ということは成り立たない
fact20 & fact10 -> int1: 「この接合体は組み付かないが末恐ろしい」ということは偽である; fact2 -> int2: もしも「この接合体は組み付かないけど末恐ろしい」ということは正しくないとすれば享有しない; int1 & int2 -> int3: この接合体は享有しない; int3 & fact11 -> int4: 「あの特別預金は享有しなくて社債権者でない」ということは誤りだ; int4 & fact6 -> hypothesis;
このＰＨＰ文庫は建築様式でない
fact22 -> int5: 「あの特別預金は小売り物価統計調査でない」ということは正しいとするとそれは社債権者でその上睨む; fact23 & fact24 -> int6: 「あの鉛合金は引き回す」ということは事実である; int6 -> int7: 「「引き回す」ということは本当である」ものはある;
$facts$ = fact1: 「その時計草が警備すればあの鉛合金は引き回す」ということは真実だ fact2: もし仮に「なにかは組み付かないが末恐ろしい」ということは誤っているなら享有するということはない fact3: 「仮に「この非常用放水門は縦貫しなくてしかもジャケットでない」ということは偽であるとするとあの特別預金は社債権者である」ということは正しい fact4: 「この接合体は末恐ろしくないけれど社債権者である」ということは本当でない fact5: あの鉛合金は社債権者である fact6: もしも「あの特別預金は享有しないし社債権者だということはない」ということは事実と異なるとするとあの鉛合金は建築様式だ fact7: この法定伝染病は建築様式だ fact8: もし「あの鉛合金は享有するということはないし加えて睨まない」ということは確かでないとしたらあの特別預金は建築様式である fact9: もしも「なにがしかの物は睨まない一方で享有する」ということは嘘だとしたらそれは建築様式でない fact10: この接合体は睨まない fact11: もしこの接合体は享有しないとしたら「あの特別預金は享有しなくてしかもそれは社債権者でない」ということは間違っている fact12: その時計草は警備する fact13: あの鉛合金は五万人だ fact14: もしなにがしかの物が小売り物価統計調査でないとしたらそれは社債権者であるしそれは睨む fact15: もし仮にこの接合体が建築様式であるしさらに享有するとすればこのＰＨＰ文庫は建築様式でない fact16: もしあの鉛合金は睨むということはないとすれば「建築様式でないが組み付く」ということは成り立つということはない fact17: もし仮に「「とある物は睨まないけど社債権者である」ということは偽でない」ということは誤っているとしたらそれは建築様式でない fact18: もし「「あの鉛合金は組み付かないけど建築様式である」ということは正しい」ということは成り立たないならばそれは享有しない fact19: とあるものが根治しないとするとしぶとくない fact20: この接合体は睨むということはないならば「組み付かないしおまけに末恐ろしい」ということは成り立たない ; $hypothesis$ = あの鉛合金は建築様式だ ; $proof$ = 
fact20 & fact10 -> int1: 「この接合体は組み付かないが末恐ろしい」ということは偽である; fact2 -> int2: もしも「この接合体は組み付かないけど末恐ろしい」ということは正しくないとすれば享有しない; int1 & int2 -> int3: この接合体は享有しない; int3 & fact11 -> int4: 「あの特別預金は享有しなくて社債権者でない」ということは誤りだ; int4 & fact6 -> hypothesis; __PROVED__
事実1: 「その時計草が警備すればあの鉛合金は引き回す」ということは真実だ
事実2: もし仮に「なにかは組み付かないが末恐ろしい」ということは誤っているなら享有するということはない
事実3: 「仮に「この非常用放水門は縦貫しなくてしかもジャケットでない」ということは偽であるとするとあの特別預金は社債権者である」ということは正しい
事実4: 「この接合体は末恐ろしくないけれど社債権者である」ということは本当でない
事実5: あの鉛合金は社債権者である
事実6: もしも「あの特別預金は享有しないし社債権者だということはない」ということは事実と異なるとするとあの鉛合金は建築様式だ
事実7: この法定伝染病は建築様式だ
事実8: もし「あの鉛合金は享有するということはないし加えて睨まない」ということは確かでないとしたらあの特別預金は建築様式である
事実9: もしも「なにがしかの物は睨まない一方で享有する」ということは嘘だとしたらそれは建築様式でない
事実10: この接合体は睨まない
事実11: もしこの接合体は享有しないとしたら「あの特別預金は享有しなくてしかもそれは社債権者でない」ということは間違っている
事実12: その時計草は警備する
事実13: あの鉛合金は五万人だ
事実14: もしなにがしかの物が小売り物価統計調査でないとしたらそれは社債権者であるしそれは睨む
事実15: もし仮にこの接合体が建築様式であるしさらに享有するとすればこのＰＨＰ文庫は建築様式でない
事実16: もしあの鉛合金は睨むということはないとすれば「建築様式でないが組み付く」ということは成り立つということはない
事実17: もし仮に「「とある物は睨まないけど社債権者である」ということは偽でない」ということは誤っているとしたらそれは建築様式でない
事実18: もし「「あの鉛合金は組み付かないけど建築様式である」ということは正しい」ということは成り立たないならばそれは享有しない
事実19: とあるものが根治しないとするとしぶとくない
事実20: この接合体は睨むということはないならば「組み付かないしおまけに末恐ろしい」ということは成り立たない

仮説: あの鉛合金は建築様式だ
1. 事実20と事実10から、推論1: "「この接合体は組み付かないが末恐ろしい」ということは偽である"が導かれる
2. 事実2から、推論2: "もしも「この接合体は組み付かないけど末恐ろしい」ということは正しくないとすれば享有しない"が導かれる
3. 推論1と推論2から、推論3: "この接合体は享有しない"が導かれる
4. 推論3と事実11から、推論4: "「あの特別預金は享有しなくて社債権者でない」ということは誤りだ"が導かれる
5. 推論4と事実6から、仮説が導かれる

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