もしもあの宗像等が典座であるならばその三十余人は原産地証明書だ
fact1: もしもこの隠し事は想起出来るとすれば「文庫本である」ということは成り立つ fact2: 「この隠し事は間違い易くないがしかしそれはＨ鋼である」ということは成り立たないならばＨ鋼でない fact3: もし仮にその三十余人が大破するとすれば原産地証明書である fact4: 「この隠し事は間違い易くない一方でＨ鋼である」ということは誤りだ fact5: あの宗像等が忝いとしたらあの国語学者は原産地証明書である fact6: この隠し事は対談するしおまけに想起出来る fact7: もし仮になにかは原産地証明書であるならばそれは大破するし加えて典座でない fact8: もしもその三十余人が典座だとすればあの宗像等は大破する fact9: 仮にその三十余人が手配しないとするとあの宗像等は世界人類であるし忝い fact10: もし仮にあの宗像等が典座であるとするとその三十余人は大破する
void -> assump1: 以下のように仮定する。「あの宗像等は典座だ」ということは成り立つ; fact10 & assump1 -> int1: 「その三十余人は大破する」ということは成り立つ; int1 & fact3 -> int2: その三十余人は原産地証明書だ; [assump1] & int2 -> hypothesis;
あの国語学者は大破する
fact12 -> int3: 仮にあの国語学者が原産地証明書であるとすればそれは大破するしまたそれは典座でない; fact16 -> int4: この隠し事は想起出来る; fact13 & int4 -> int5: この隠し事は文庫本だ; fact15 & fact14 -> int6: この隠し事はＨ鋼であるということはない; int5 & int6 -> int7: この隠し事は文庫本であるがそれはＨ鋼でない; int7 -> int8: なにかは文庫本であるがしかしＨ鋼でない;
$facts$ = fact1: もしもこの隠し事は想起出来るとすれば「文庫本である」ということは成り立つ fact2: 「この隠し事は間違い易くないがしかしそれはＨ鋼である」ということは成り立たないならばＨ鋼でない fact3: もし仮にその三十余人が大破するとすれば原産地証明書である fact4: 「この隠し事は間違い易くない一方でＨ鋼である」ということは誤りだ fact5: あの宗像等が忝いとしたらあの国語学者は原産地証明書である fact6: この隠し事は対談するしおまけに想起出来る fact7: もし仮になにかは原産地証明書であるならばそれは大破するし加えて典座でない fact8: もしもその三十余人が典座だとすればあの宗像等は大破する fact9: 仮にその三十余人が手配しないとするとあの宗像等は世界人類であるし忝い fact10: もし仮にあの宗像等が典座であるとするとその三十余人は大破する ; $hypothesis$ = もしもあの宗像等が典座であるならばその三十余人は原産地証明書だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの宗像等は典座だ」ということは成り立つ; fact10 & assump1 -> int1: 「その三十余人は大破する」ということは成り立つ; int1 & fact3 -> int2: その三十余人は原産地証明書だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもこの隠し事は想起出来るとすれば「文庫本である」ということは成り立つ
事実2: 「この隠し事は間違い易くないがしかしそれはＨ鋼である」ということは成り立たないならばＨ鋼でない
事実3: もし仮にその三十余人が大破するとすれば原産地証明書である
事実4: 「この隠し事は間違い易くない一方でＨ鋼である」ということは誤りだ
事実5: あの宗像等が忝いとしたらあの国語学者は原産地証明書である
事実6: この隠し事は対談するしおまけに想起出来る
事実7: もし仮になにかは原産地証明書であるならばそれは大破するし加えて典座でない
事実8: もしもその三十余人が典座だとすればあの宗像等は大破する
事実9: 仮にその三十余人が手配しないとするとあの宗像等は世界人類であるし忝い
事実10: もし仮にあの宗像等が典座であるとするとその三十余人は大破する

仮説: もしもあの宗像等が典座であるならばその三十余人は原産地証明書だ
1. 仮定1: 以下のように仮定する。「あの宗像等は典座だ」ということは成り立つ
2. 事実10と仮定1から、推論1: "「その三十余人は大破する」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "その三十余人は原産地証明書だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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