「ゴム底で十万人当たりである」物はある
fact1: もしもあのムルナウはべた付き易いとすれば「それは十万人当たりであるし加えて大腿骨だ」ということは嘘だ fact2: もしとある物はべた付き易いとしたら「十万人当たりでなくて大腿骨である」ということは事実と異なる fact3: 「「クラブ代表者でまたＴＪだ」ということは成り立たない」物はある fact4: 「この嗜好は担ぐがしかし軽食堂でない」ということは誤りである fact5: 仮に「「担ぐししかも軽食堂でない」ということは成り立たない」ものはあるとすれば「このトリニティ・カレッジは太り易い」ということは本当である fact6: もし仮にこのトリニティ・カレッジが太り易いならばあのムルナウはゴム底である fact7: もしも「なんらかの物は十万人当たりでないけど大腿骨である」ということは事実だということはないとするとそれは十万人当たりだ fact8: あのムルナウはべた付き易いししかもそれは新規公開株式等である
fact4 -> int1: 「「担ぐけれど軽食堂であるということはない」ということは偽である」ものはある; int1 & fact5 -> int2: 「このトリニティ・カレッジは太り易い」ということは真実だ; int2 & fact6 -> int3: あのムルナウはゴム底である; fact7 -> int4: もし「あのムルナウは十万人当たりでないけれど大腿骨である」ということは間違いだとしたら「十万人当たりだ」ということは事実だ; fact2 -> int5: もしもあのムルナウはべた付き易いとすれば「十万人当たりでないしおまけにそれは大腿骨である」ということは成り立たない; fact8 -> int6: あのムルナウはべた付き易い; int5 & int6 -> int7: 「あのムルナウは十万人当たりでないけれど大腿骨である」ということは間違いだ; int4 & int7 -> int8: あのムルナウは十万人当たりである; int3 & int8 -> int9: あのムルナウはゴム底でその上十万人当たりである; int9 -> hypothesis;
$facts$ = fact1: もしもあのムルナウはべた付き易いとすれば「それは十万人当たりであるし加えて大腿骨だ」ということは嘘だ fact2: もしとある物はべた付き易いとしたら「十万人当たりでなくて大腿骨である」ということは事実と異なる fact3: 「「クラブ代表者でまたＴＪだ」ということは成り立たない」物はある fact4: 「この嗜好は担ぐがしかし軽食堂でない」ということは誤りである fact5: 仮に「「担ぐししかも軽食堂でない」ということは成り立たない」ものはあるとすれば「このトリニティ・カレッジは太り易い」ということは本当である fact6: もし仮にこのトリニティ・カレッジが太り易いならばあのムルナウはゴム底である fact7: もしも「なんらかの物は十万人当たりでないけど大腿骨である」ということは事実だということはないとするとそれは十万人当たりだ fact8: あのムルナウはべた付き易いししかもそれは新規公開株式等である ; $hypothesis$ = 「ゴム底で十万人当たりである」物はある ; $proof$ = 
fact4 -> int1: 「「担ぐけれど軽食堂であるということはない」ということは偽である」ものはある; int1 & fact5 -> int2: 「このトリニティ・カレッジは太り易い」ということは真実だ; int2 & fact6 -> int3: あのムルナウはゴム底である; fact7 -> int4: もし「あのムルナウは十万人当たりでないけれど大腿骨である」ということは間違いだとしたら「十万人当たりだ」ということは事実だ; fact2 -> int5: もしもあのムルナウはべた付き易いとすれば「十万人当たりでないしおまけにそれは大腿骨である」ということは成り立たない; fact8 -> int6: あのムルナウはべた付き易い; int5 & int6 -> int7: 「あのムルナウは十万人当たりでないけれど大腿骨である」ということは間違いだ; int4 & int7 -> int8: あのムルナウは十万人当たりである; int3 & int8 -> int9: あのムルナウはゴム底でその上十万人当たりである; int9 -> hypothesis; __PROVED__
事実1: もしもあのムルナウはべた付き易いとすれば「それは十万人当たりであるし加えて大腿骨だ」ということは嘘だ
事実2: もしとある物はべた付き易いとしたら「十万人当たりでなくて大腿骨である」ということは事実と異なる
事実3: 「「クラブ代表者でまたＴＪだ」ということは成り立たない」物はある
事実4: 「この嗜好は担ぐがしかし軽食堂でない」ということは誤りである
事実5: 仮に「「担ぐししかも軽食堂でない」ということは成り立たない」ものはあるとすれば「このトリニティ・カレッジは太り易い」ということは本当である
事実6: もし仮にこのトリニティ・カレッジが太り易いならばあのムルナウはゴム底である
事実7: もしも「なんらかの物は十万人当たりでないけど大腿骨である」ということは事実だということはないとするとそれは十万人当たりだ
事実8: あのムルナウはべた付き易いししかもそれは新規公開株式等である

仮説: 「ゴム底で十万人当たりである」物はある
1. 事実4から、推論1: "「「担ぐけれど軽食堂であるということはない」ということは偽である」ものはある"が導かれる
2. 推論1と事実5から、推論2: "「このトリニティ・カレッジは太り易い」ということは真実だ"が導かれる
3. 推論2と事実6から、推論3: "あのムルナウはゴム底である"が導かれる
4. 事実7から、推論4: "もし「あのムルナウは十万人当たりでないけれど大腿骨である」ということは間違いだとしたら「十万人当たりだ」ということは事実だ"が導かれる
5. 事実2から、推論5: "もしもあのムルナウはべた付き易いとすれば「十万人当たりでないしおまけにそれは大腿骨である」ということは成り立たない"が導かれる
6. 事実8から、推論6: "あのムルナウはべた付き易い"が導かれる
7. 推論5と推論6から、推論7: "「あのムルナウは十万人当たりでないけれど大腿骨である」ということは間違いだ"が導かれる
8. 推論4と推論7から、推論8: "あのムルナウは十万人当たりである"が導かれる
9. 推論3と推論8から、推論9: "あのムルナウはゴム底でその上十万人当たりである"が導かれる
10. 推論9から、仮説が導かれる

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