「この学習機能は生成し易いならば「そのペイオフは上昇し易い一方で知覚探索しない」ということは成り立たない」ということは成り立たない
fact1: もしもこの学習機能が生成し易いならそのペイオフは上昇し易いけど知覚探索しない fact2: もしこの学習機能は生成し易いとすると「このＲＸは敬遠するが上昇し易くない」ということは嘘だ fact3: このゴール前は上昇し易くない fact4: この学習機能が生成し易くてかつインスリンだとしたらこのＲＸは上昇し易くない fact5: 「この学習機能は敬遠する」ということは正しい fact6: 「この多細胞化は敬遠する」ということは正しい fact7: 恋愛力は更新データである fact8: もし仮にこの学習機能が敬遠するとしたらそれはインスリンだ fact9: このＲＸは上昇し易くないとしたら「そのペイオフは上昇し易いがしかし知覚探索するということはない」ということは間違いである fact10: あの重箱は上昇し易い fact11: このＲＸが上昇し易くないならそのペイオフは上昇し易いけれど知覚探索しない
fact8 & fact5 -> int1: この学習機能はインスリンだ; void -> assump1: 以下のように仮定する。この学習機能は生成し易い; int1 & assump1 -> int2: この学習機能は生成し易くてまたそれはインスリンである; int2 & fact4 -> int3: このＲＸは上昇し易くない; int3 & fact9 -> int4: 「そのペイオフは上昇し易いもので加えて知覚探索しない」ということは成り立たない; [assump1] & int4 -> hypothesis;
このＲＸが恋愛力だとしたら更新データである
fact12 -> hypothesis;
$facts$ = fact1: もしもこの学習機能が生成し易いならそのペイオフは上昇し易いけど知覚探索しない fact2: もしこの学習機能は生成し易いとすると「このＲＸは敬遠するが上昇し易くない」ということは嘘だ fact3: このゴール前は上昇し易くない fact4: この学習機能が生成し易くてかつインスリンだとしたらこのＲＸは上昇し易くない fact5: 「この学習機能は敬遠する」ということは正しい fact6: 「この多細胞化は敬遠する」ということは正しい fact7: 恋愛力は更新データである fact8: もし仮にこの学習機能が敬遠するとしたらそれはインスリンだ fact9: このＲＸは上昇し易くないとしたら「そのペイオフは上昇し易いがしかし知覚探索するということはない」ということは間違いである fact10: あの重箱は上昇し易い fact11: このＲＸが上昇し易くないならそのペイオフは上昇し易いけれど知覚探索しない ; $hypothesis$ = 「この学習機能は生成し易いならば「そのペイオフは上昇し易い一方で知覚探索しない」ということは成り立たない」ということは成り立たない ; $proof$ = 
fact8 & fact5 -> int1: この学習機能はインスリンだ; void -> assump1: 以下のように仮定する。この学習機能は生成し易い; int1 & assump1 -> int2: この学習機能は生成し易くてまたそれはインスリンである; int2 & fact4 -> int3: このＲＸは上昇し易くない; int3 & fact9 -> int4: 「そのペイオフは上昇し易いもので加えて知覚探索しない」ということは成り立たない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしもこの学習機能が生成し易いならそのペイオフは上昇し易いけど知覚探索しない
事実2: もしこの学習機能は生成し易いとすると「このＲＸは敬遠するが上昇し易くない」ということは嘘だ
事実3: このゴール前は上昇し易くない
事実4: この学習機能が生成し易くてかつインスリンだとしたらこのＲＸは上昇し易くない
事実5: 「この学習機能は敬遠する」ということは正しい
事実6: 「この多細胞化は敬遠する」ということは正しい
事実7: 恋愛力は更新データである
事実8: もし仮にこの学習機能が敬遠するとしたらそれはインスリンだ
事実9: このＲＸは上昇し易くないとしたら「そのペイオフは上昇し易いがしかし知覚探索するということはない」ということは間違いである
事実10: あの重箱は上昇し易い
事実11: このＲＸが上昇し易くないならそのペイオフは上昇し易いけれど知覚探索しない

仮説: 「この学習機能は生成し易いならば「そのペイオフは上昇し易い一方で知覚探索しない」ということは成り立たない」ということは成り立たない
1. 事実8と事実5から、推論1: "この学習機能はインスリンだ"が導かれる
2. 仮定1: 以下のように仮定する。この学習機能は生成し易い
3. 推論1と仮定1から、推論2: "この学習機能は生成し易くてまたそれはインスリンである"が導かれる
4. 推論2と事実4から、推論3: "このＲＸは上昇し易くない"が導かれる
5. 推論3と事実9から、推論4: "「そのペイオフは上昇し易いもので加えて知覚探索しない」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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