あの電子数は連想し易い
fact1: もしもなんらかのものはＬ以上であるかコンセプト作りであるかもしくはどちらもであるならば連想し易くない fact2: あの電子数はＬ以上でおまけに認知心理学だ fact3: もし仮にそのレセプトは認知心理学であるとすると「それはＬ以上であるということはなくて連想し易くない」ということは間違っている
fact2 -> int1: あの電子数はＬ以上だ; int1 -> int2: あの電子数はＬ以上であるかあるいはコンセプト作りであるかもしくは両方だ; fact1 -> int3: もしあの電子数はＬ以上であるかコンセプト作りであるならば「連想し易くない」ということは確かだ; int2 & int3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); fact1 -> int3: ({A}{a} v {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
あの電子数は連想し易い
$facts$ = fact1: もしもなんらかのものはＬ以上であるかコンセプト作りであるかもしくはどちらもであるならば連想し易くない fact2: あの電子数はＬ以上でおまけに認知心理学だ fact3: もし仮にそのレセプトは認知心理学であるとすると「それはＬ以上であるということはなくて連想し易くない」ということは間違っている ; $hypothesis$ = あの電子数は連想し易い ; $proof$ = 
fact2 -> int1: あの電子数はＬ以上だ; int1 -> int2: あの電子数はＬ以上であるかあるいはコンセプト作りであるかもしくは両方だ; fact1 -> int3: もしあの電子数はＬ以上であるかコンセプト作りであるならば「連想し易くない」ということは確かだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものはＬ以上であるかコンセプト作りであるかもしくはどちらもであるならば連想し易くない
事実2: あの電子数はＬ以上でおまけに認知心理学だ
事実3: もし仮にそのレセプトは認知心理学であるとすると「それはＬ以上であるということはなくて連想し易くない」ということは間違っている

仮説: あの電子数は連想し易い
1. 事実2から、推論1: "あの電子数はＬ以上だ"が導かれる
2. 推論1から、推論2: "あの電子数はＬ以上であるかあるいはコンセプト作りであるかもしくは両方だ"が導かれる
3. 事実1から、推論3: "もしあの電子数はＬ以上であるかコンセプト作りであるならば「連想し易くない」ということは確かだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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