「果たし終えるかまたは心無い」ものはある
fact1: もし仮にこのアーセナルは新規本であるとすると「それは果たし終える」ということは事実である fact2: 「このアーセナルは新規本だ」ということは成り立つ
fact1 & fact2 -> int1: このアーセナルは果たし終える; int1 -> int2: このアーセナルは果たし終えるかまたは心無い; int2 -> hypothesis;
$facts$ = fact1: もし仮にこのアーセナルは新規本であるとすると「それは果たし終える」ということは事実である fact2: 「このアーセナルは新規本だ」ということは成り立つ ; $hypothesis$ = 「果たし終えるかまたは心無い」ものはある ; $proof$ = 
fact1 & fact2 -> int1: このアーセナルは果たし終える; int1 -> int2: このアーセナルは果たし終えるかまたは心無い; int2 -> hypothesis; __PROVED__
事実1: もし仮にこのアーセナルは新規本であるとすると「それは果たし終える」ということは事実である
事実2: 「このアーセナルは新規本だ」ということは成り立つ

仮説: 「果たし終えるかまたは心無い」ものはある
1. 事実1と事実2から、推論1: "このアーセナルは果たし終える"が導かれる
2. 推論1から、推論2: "このアーセナルは果たし終えるかまたは心無い"が導かれる
3. 推論2から、仮説が導かれる

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