そのスタンドプレーは納得し難い
fact1: もし攻撃し易い物が祝しないとすればそれはデリアでない fact2: 仮に何かはデリアであるなら「それは祝しなくて攻撃し易くない」ということは誤りだ fact3: 何らかのものはデリアであるとすると「それは祝するということはないけど攻撃し易い」ということは偽だ fact4: このサブマリーナは納得し難い fact5: もしも「何らかの物は納得し難いけれど鑑定しない」ということは誤りであるならばそれは納得し難くない fact6: この健康保険被保険者証は鑑定する fact7: 「あの来朝は鑑定する」ということは成り立つならこのサブマリーナはデリアだ fact8: もしも「このサブマリーナは祝するということはないしおまけに攻撃し易いということはない」ということは偽だとするとそのスタンドプレーは納得し難い fact9: あの来朝は鑑定する fact10: 猛々しい物は攻撃し易いけど祝しない
fact7 & fact9 -> int1: このサブマリーナはデリアである; fact2 -> int2: もしこのサブマリーナはデリアであるとすると「それは祝しなくておまけに攻撃し易くない」ということは本当であるということはない; int1 & int2 -> int3: 「このサブマリーナは祝しないしさらに攻撃し易くない」ということは成り立たない; int3 & fact8 -> hypothesis;
そのスタンドプレーは納得し難いということはない
fact11 -> int4: 仮に「そのスタンドプレーは納得し難いがしかし鑑定するということはない」ということは事実と異なるとしたら「納得し難くない」ということは事実である; fact12 -> int5: もし仮にあの来朝は攻撃し易いが祝しないとしたらそれはデリアでない; fact13 -> int6: もし仮にあの来朝が猛々しいならそれは攻撃し易いししかもそれは祝しない;
$facts$ = fact1: もし攻撃し易い物が祝しないとすればそれはデリアでない fact2: 仮に何かはデリアであるなら「それは祝しなくて攻撃し易くない」ということは誤りだ fact3: 何らかのものはデリアであるとすると「それは祝するということはないけど攻撃し易い」ということは偽だ fact4: このサブマリーナは納得し難い fact5: もしも「何らかの物は納得し難いけれど鑑定しない」ということは誤りであるならばそれは納得し難くない fact6: この健康保険被保険者証は鑑定する fact7: 「あの来朝は鑑定する」ということは成り立つならこのサブマリーナはデリアだ fact8: もしも「このサブマリーナは祝するということはないしおまけに攻撃し易いということはない」ということは偽だとするとそのスタンドプレーは納得し難い fact9: あの来朝は鑑定する fact10: 猛々しい物は攻撃し易いけど祝しない ; $hypothesis$ = そのスタンドプレーは納得し難い ; $proof$ = 
fact7 & fact9 -> int1: このサブマリーナはデリアである; fact2 -> int2: もしこのサブマリーナはデリアであるとすると「それは祝しなくておまけに攻撃し易くない」ということは本当であるということはない; int1 & int2 -> int3: 「このサブマリーナは祝しないしさらに攻撃し易くない」ということは成り立たない; int3 & fact8 -> hypothesis; __PROVED__
事実1: もし攻撃し易い物が祝しないとすればそれはデリアでない
事実2: 仮に何かはデリアであるなら「それは祝しなくて攻撃し易くない」ということは誤りだ
事実3: 何らかのものはデリアであるとすると「それは祝するということはないけど攻撃し易い」ということは偽だ
事実4: このサブマリーナは納得し難い
事実5: もしも「何らかの物は納得し難いけれど鑑定しない」ということは誤りであるならばそれは納得し難くない
事実6: この健康保険被保険者証は鑑定する
事実7: 「あの来朝は鑑定する」ということは成り立つならこのサブマリーナはデリアだ
事実8: もしも「このサブマリーナは祝するということはないしおまけに攻撃し易いということはない」ということは偽だとするとそのスタンドプレーは納得し難い
事実9: あの来朝は鑑定する
事実10: 猛々しい物は攻撃し易いけど祝しない

仮説: そのスタンドプレーは納得し難い
1. 事実7と事実9から、推論1: "このサブマリーナはデリアである"が導かれる
2. 事実2から、推論2: "もしこのサブマリーナはデリアであるとすると「それは祝しなくておまけに攻撃し易くない」ということは本当であるということはない"が導かれる
3. 推論1と推論2から、推論3: "「このサブマリーナは祝しないしさらに攻撃し易くない」ということは成り立たない"が導かれる
4. 推論3と事実8から、仮説が導かれる

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