何らかの物は消え行く
fact1: もし仮に何らかのものは排除するなら「それは消え行く」ということは成り立つ fact2: 「あの勝ち数は人間らしくない」ということは間違いでない fact3: もしあの勝ち数は人間らしくないとすれば「排除する」ということは成り立つ
fact3 & fact2 -> int1: あの勝ち数は排除する; fact1 -> int2: あの勝ち数は排除するとすると「消え行く」ということは本当である; int1 & int2 -> int3: あの勝ち数は消え行く; int3 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものは排除するなら「それは消え行く」ということは成り立つ fact2: 「あの勝ち数は人間らしくない」ということは間違いでない fact3: もしあの勝ち数は人間らしくないとすれば「排除する」ということは成り立つ ; $hypothesis$ = 何らかの物は消え行く ; $proof$ = 
fact3 & fact2 -> int1: あの勝ち数は排除する; fact1 -> int2: あの勝ち数は排除するとすると「消え行く」ということは本当である; int1 & int2 -> int3: あの勝ち数は消え行く; int3 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは排除するなら「それは消え行く」ということは成り立つ
事実2: 「あの勝ち数は人間らしくない」ということは間違いでない
事実3: もしあの勝ち数は人間らしくないとすれば「排除する」ということは成り立つ

仮説: 何らかの物は消え行く
1. 事実3と事実2から、推論1: "あの勝ち数は排除する"が導かれる
2. 事実1から、推論2: "あの勝ち数は排除するとすると「消え行く」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "あの勝ち数は消え行く"が導かれる
4. 推論3から、仮説が導かれる

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