「「成り出さない」物はある」ということは間違いである
fact1: とあるものはトラップドアだ fact2: その各資産は納得行く fact3: その十三軒は納得行く fact4: 「その各資産はトラップドアだ」ということは本当である fact5: その各資産は到達前でない fact6: もしこの地方史誌類が成り出すししかもトラップドアであるとすればあの各資産は納得行かない fact7: 「その各資産は成り出す」ということは真実だ fact8: 「成り出す」ものはある fact9: 「この地方史誌類はトラップドアである」ということは誤りでない
void -> assump1: 以下のように仮定する。この地方史誌類は成り出す; assump1 & fact9 -> int1: この地方史誌類は成り出すしトラップドアだ; int1 & fact6 -> int2: その各資産は納得行かない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この地方史誌類は成り出さない」ということは成り立つ; int4 -> hypothesis;
$facts$ = fact1: とあるものはトラップドアだ fact2: その各資産は納得行く fact3: その十三軒は納得行く fact4: 「その各資産はトラップドアだ」ということは本当である fact5: その各資産は到達前でない fact6: もしこの地方史誌類が成り出すししかもトラップドアであるとすればあの各資産は納得行かない fact7: 「その各資産は成り出す」ということは真実だ fact8: 「成り出す」ものはある fact9: 「この地方史誌類はトラップドアである」ということは誤りでない ; $hypothesis$ = 「「成り出さない」物はある」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この地方史誌類は成り出す; assump1 & fact9 -> int1: この地方史誌類は成り出すしトラップドアだ; int1 & fact6 -> int2: その各資産は納得行かない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この地方史誌類は成り出さない」ということは成り立つ; int4 -> hypothesis; __DISPROVED__
事実1: とあるものはトラップドアだ
事実2: その各資産は納得行く
事実3: その十三軒は納得行く
事実4: 「その各資産はトラップドアだ」ということは本当である
事実5: その各資産は到達前でない
事実6: もしこの地方史誌類が成り出すししかもトラップドアであるとすればあの各資産は納得行かない
事実7: 「その各資産は成り出す」ということは真実だ
事実8: 「成り出す」ものはある
事実9: 「この地方史誌類はトラップドアである」ということは誤りでない

仮説: 「「成り出さない」物はある」ということは間違いである
1. 仮定1: 以下のように仮定する。この地方史誌類は成り出す
2. 仮定1と事実9から、推論1: "この地方史誌類は成り出すしトラップドアだ"が導かれる
3. 推論1と事実6から、推論2: "その各資産は納得行かない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この地方史誌類は成り出さない」ということは成り立つ"が導かれる
6. 推論4から、仮説が否定される

よって、仮説が否定されました。