あの認識作用は作り直すがしかしそれは野生しない
fact1: 木らしい物は作り直すけれど野生するということはない fact2: あの認識作用は取得・登録する fact3: その縮減は取得・登録する fact4: もし仮になにがしかの物が作り直さないとすると木らしいしまた取得・登録する fact5: 大差無いということはない物は取得・登録するということはないけど木らしい fact6: 「もしもあの認識作用が取得・登録するとしたらあの認識作用は木らしい」ということは成り立つ fact7: 仮にある物は取得・登録しないなら「それは作り直すしおまけにそれは野生しない」ということは真実だということはない
fact6 & fact2 -> int1: あの認識作用は木らしい; fact1 -> int2: もしもあの認識作用が木らしいとすればそれは作り直すがしかし野生しない; int1 & int2 -> hypothesis;
fact6 & fact2 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> ({C}{a} & ¬{D}{a}); int1 & int2 -> hypothesis;
「「あの認識作用は作り直すがしかし野生しない」ということは嘘である」ということは誤りでない
fact9 -> int3: 仮にあの認識作用は取得・登録しないとすれば「それは作り直す一方で野生するということはない」ということは誤っている; fact8 -> int4: もしもあの認識作用が大差無いということはないとしたら取得・登録しなくてそれにそれは木らしい;
$facts$ = fact1: 木らしい物は作り直すけれど野生するということはない fact2: あの認識作用は取得・登録する fact3: その縮減は取得・登録する fact4: もし仮になにがしかの物が作り直さないとすると木らしいしまた取得・登録する fact5: 大差無いということはない物は取得・登録するということはないけど木らしい fact6: 「もしもあの認識作用が取得・登録するとしたらあの認識作用は木らしい」ということは成り立つ fact7: 仮にある物は取得・登録しないなら「それは作り直すしおまけにそれは野生しない」ということは真実だということはない ; $hypothesis$ = あの認識作用は作り直すがしかしそれは野生しない ; $proof$ = 
fact6 & fact2 -> int1: あの認識作用は木らしい; fact1 -> int2: もしもあの認識作用が木らしいとすればそれは作り直すがしかし野生しない; int1 & int2 -> hypothesis; __PROVED__
事実1: 木らしい物は作り直すけれど野生するということはない
事実2: あの認識作用は取得・登録する
事実3: その縮減は取得・登録する
事実4: もし仮になにがしかの物が作り直さないとすると木らしいしまた取得・登録する
事実5: 大差無いということはない物は取得・登録するということはないけど木らしい
事実6: 「もしもあの認識作用が取得・登録するとしたらあの認識作用は木らしい」ということは成り立つ
事実7: 仮にある物は取得・登録しないなら「それは作り直すしおまけにそれは野生しない」ということは真実だということはない

仮説: あの認識作用は作り直すがしかしそれは野生しない
1. 事実6と事実2から、推論1: "あの認識作用は木らしい"が導かれる
2. 事実1から、推論2: "もしもあの認識作用が木らしいとすればそれは作り直すがしかし野生しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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