その営業利益は訳無い
fact1: あの光ディスクは働き掛ける fact2: 勘違いし易い物は御優しい fact3: 仮にあの光ディスクが御優しいとすればその営業利益は訳無い fact4: 仮にその営業利益が働き掛けるとするとあの光ディスクは訳無い fact5: あの光ディスクは勘違いし易くて更に働き掛ける
fact5 -> int1: あの光ディスクは勘違いし易い; fact2 -> int2: もしもあの光ディスクは勘違いし易いなら「御優しい」ということは事実である; int1 & int2 -> int3: あの光ディスクは御優しい; int3 & fact3 -> hypothesis;
$facts$ = fact1: あの光ディスクは働き掛ける fact2: 勘違いし易い物は御優しい fact3: 仮にあの光ディスクが御優しいとすればその営業利益は訳無い fact4: 仮にその営業利益が働き掛けるとするとあの光ディスクは訳無い fact5: あの光ディスクは勘違いし易くて更に働き掛ける ; $hypothesis$ = その営業利益は訳無い ; $proof$ = 
fact5 -> int1: あの光ディスクは勘違いし易い; fact2 -> int2: もしもあの光ディスクは勘違いし易いなら「御優しい」ということは事実である; int1 & int2 -> int3: あの光ディスクは御優しい; int3 & fact3 -> hypothesis; __PROVED__
事実1: あの光ディスクは働き掛ける
事実2: 勘違いし易い物は御優しい
事実3: 仮にあの光ディスクが御優しいとすればその営業利益は訳無い
事実4: 仮にその営業利益が働き掛けるとするとあの光ディスクは訳無い
事実5: あの光ディスクは勘違いし易くて更に働き掛ける

仮説: その営業利益は訳無い
1. 事実5から、推論1: "あの光ディスクは勘違いし易い"が導かれる
2. 事実2から、推論2: "もしもあの光ディスクは勘違いし易いなら「御優しい」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの光ディスクは御優しい"が導かれる
4. 推論3と事実3から、仮説が導かれる

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