そのプロ雀士は慕わしくない理論的基礎だ
fact1: あのコルクボードは会計年度であるし更にそれは芳しい fact2: もし仮にあのコルクボードは会計年度であるなら「あの天吏は慈愛深い」ということは真実だ fact3: 仮になんらかのものは慈愛深いなら「腐り易い」ということは成り立つ fact4: もしも何らかのものは会計年度でないとすれば「それは慕わしくないしその上それは理論的基礎だ」ということは成り立つということはない fact5: 「なにがしかのものは会計年度でないけどそれは慈愛深い」ということは誤りであるとしたら芳しい fact6: もし「「腐り易い」ということは成り立つ」物があるとするとそのプロ雀士は慕わしいということはないが理論的基礎である fact7: もし仮にある物は腐り易いとすると「会計年度でないしかつそれは慈愛深い」ということは偽だ fact8: そのプロ雀士は慕わしくない fact9: あの天吏は目覚ましくない fact10: もしも「「目覚ましくない」ということは正しい」物があればあのコルクボードは理論的基礎でない
fact1 -> int1: あのコルクボードは会計年度だ; int1 & fact2 -> int2: あの天吏は慈愛深い; fact3 -> int3: あの天吏が慈愛深いとすると腐り易い; int2 & int3 -> int4: あの天吏は腐り易い; int4 -> int5: 「腐り易い」物はある; int5 & fact6 -> hypothesis;
「そのプロ雀士は慕わしくないがそれは理論的基礎だ」ということは偽である
fact11 -> int6: もし仮にそのプロ雀士は会計年度でないとすると「慕わしいということはないけど理論的基礎である」ということは成り立たない;
$facts$ = fact1: あのコルクボードは会計年度であるし更にそれは芳しい fact2: もし仮にあのコルクボードは会計年度であるなら「あの天吏は慈愛深い」ということは真実だ fact3: 仮になんらかのものは慈愛深いなら「腐り易い」ということは成り立つ fact4: もしも何らかのものは会計年度でないとすれば「それは慕わしくないしその上それは理論的基礎だ」ということは成り立つということはない fact5: 「なにがしかのものは会計年度でないけどそれは慈愛深い」ということは誤りであるとしたら芳しい fact6: もし「「腐り易い」ということは成り立つ」物があるとするとそのプロ雀士は慕わしいということはないが理論的基礎である fact7: もし仮にある物は腐り易いとすると「会計年度でないしかつそれは慈愛深い」ということは偽だ fact8: そのプロ雀士は慕わしくない fact9: あの天吏は目覚ましくない fact10: もしも「「目覚ましくない」ということは正しい」物があればあのコルクボードは理論的基礎でない ; $hypothesis$ = そのプロ雀士は慕わしくない理論的基礎だ ; $proof$ = 
fact1 -> int1: あのコルクボードは会計年度だ; int1 & fact2 -> int2: あの天吏は慈愛深い; fact3 -> int3: あの天吏が慈愛深いとすると腐り易い; int2 & int3 -> int4: あの天吏は腐り易い; int4 -> int5: 「腐り易い」物はある; int5 & fact6 -> hypothesis; __PROVED__
事実1: あのコルクボードは会計年度であるし更にそれは芳しい
事実2: もし仮にあのコルクボードは会計年度であるなら「あの天吏は慈愛深い」ということは真実だ
事実3: 仮になんらかのものは慈愛深いなら「腐り易い」ということは成り立つ
事実4: もしも何らかのものは会計年度でないとすれば「それは慕わしくないしその上それは理論的基礎だ」ということは成り立つということはない
事実5: 「なにがしかのものは会計年度でないけどそれは慈愛深い」ということは誤りであるとしたら芳しい
事実6: もし「「腐り易い」ということは成り立つ」物があるとするとそのプロ雀士は慕わしいということはないが理論的基礎である
事実7: もし仮にある物は腐り易いとすると「会計年度でないしかつそれは慈愛深い」ということは偽だ
事実8: そのプロ雀士は慕わしくない
事実9: あの天吏は目覚ましくない
事実10: もしも「「目覚ましくない」ということは正しい」物があればあのコルクボードは理論的基礎でない

仮説: そのプロ雀士は慕わしくない理論的基礎だ
1. 事実1から、推論1: "あのコルクボードは会計年度だ"が導かれる
2. 推論1と事実2から、推論2: "あの天吏は慈愛深い"が導かれる
3. 事実3から、推論3: "あの天吏が慈愛深いとすると腐り易い"が導かれる
4. 推論2と推論3から、推論4: "あの天吏は腐り易い"が導かれる
5. 推論4から、推論5: "「腐り易い」物はある"が導かれる
6. 推論5と事実6から、仮説が導かれる

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