「「離れ過ぎなくてまた狙い打ちする」ということは誤っているとしたら追加報酬である」ものはある
fact1: もし「なんらかの物は狙い打ちしないがしかし潜舵だ」ということは誤っているとすればそれは観察し易い fact2: もし仮にあの学習行動が狙い打ちしないとすれば追加報酬だ fact3: 仮に「あの学習行動は離れ過ぎるしさらに狙い打ちする」ということは間違いだとすると追加報酬である fact4: もしも「あの学習行動は離れ過ぎるということはないけれど狙い打ちする」ということは成り立つということはないとしたら追加報酬である fact5: 「もしも離れ過ぎるとしたら追加報酬である」ものはある fact6: 仮にあの学習行動は離れ過ぎないがしかし狙い打ちするとすると追加報酬だ fact7: 「仮に「離れ過ぎるし更に狙い打ちする」ということは偽であるとしたら追加報酬である」ものはある fact8: 「もし仮に離れ過ぎなくてそれに狙い打ちするとすれば追加報酬である」物はある fact9: 「もし狙い打ちしないとしたら追加報酬な」物はある
fact4 -> hypothesis;
もし「「この遺産動機・貯蓄動機は狙い打ちしないけれどそれは潜舵だ」ということは成り立たない」ということは成り立つとするとそれは観察し易い
fact10 -> hypothesis;
$facts$ = fact1: もし「なんらかの物は狙い打ちしないがしかし潜舵だ」ということは誤っているとすればそれは観察し易い fact2: もし仮にあの学習行動が狙い打ちしないとすれば追加報酬だ fact3: 仮に「あの学習行動は離れ過ぎるしさらに狙い打ちする」ということは間違いだとすると追加報酬である fact4: もしも「あの学習行動は離れ過ぎるということはないけれど狙い打ちする」ということは成り立つということはないとしたら追加報酬である fact5: 「もしも離れ過ぎるとしたら追加報酬である」ものはある fact6: 仮にあの学習行動は離れ過ぎないがしかし狙い打ちするとすると追加報酬だ fact7: 「仮に「離れ過ぎるし更に狙い打ちする」ということは偽であるとしたら追加報酬である」ものはある fact8: 「もし仮に離れ過ぎなくてそれに狙い打ちするとすれば追加報酬である」物はある fact9: 「もし狙い打ちしないとしたら追加報酬な」物はある ; $hypothesis$ = 「「離れ過ぎなくてまた狙い打ちする」ということは誤っているとしたら追加報酬である」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし「なんらかの物は狙い打ちしないがしかし潜舵だ」ということは誤っているとすればそれは観察し易い
事実2: もし仮にあの学習行動が狙い打ちしないとすれば追加報酬だ
事実3: 仮に「あの学習行動は離れ過ぎるしさらに狙い打ちする」ということは間違いだとすると追加報酬である
事実4: もしも「あの学習行動は離れ過ぎるということはないけれど狙い打ちする」ということは成り立つということはないとしたら追加報酬である
事実5: 「もしも離れ過ぎるとしたら追加報酬である」ものはある
事実6: 仮にあの学習行動は離れ過ぎないがしかし狙い打ちするとすると追加報酬だ
事実7: 「仮に「離れ過ぎるし更に狙い打ちする」ということは偽であるとしたら追加報酬である」ものはある
事実8: 「もし仮に離れ過ぎなくてそれに狙い打ちするとすれば追加報酬である」物はある
事実9: 「もし狙い打ちしないとしたら追加報酬な」物はある

仮説: 「「離れ過ぎなくてまた狙い打ちする」ということは誤っているとしたら追加報酬である」ものはある
1. 事実4から、仮説が導かれる

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