「判別し易いけれど居辛くない」物はある
fact1: 何かは居辛くない fact2: 判別し易い物はある fact3: この第一単元はデジタル処理だということはない fact4: その売り上げ情報は居辛くない fact5: もしもこの第一単元は判別し易いということはないなら「その売り上げ情報は居辛くない」ということは本当である fact6: この第一単元は霊長である fact7: 仮にこの第一単元が判別し易くないならばその売り上げ情報は判別し易いけど居辛くない fact8: 何らかのものは判別し易くて居辛い fact9: もし仮に何かはデジタル処理でないがそれが霊長ならそれは判別し易くない
fact9 -> int1: この第一単元はデジタル処理でないけど霊長であるとすれば判別し易くない; fact6 & fact3 -> int2: この第一単元はデジタル処理でない一方でそれは霊長である; int1 & int2 -> int3: この第一単元は判別し易くない; int3 & fact7 -> int4: その売り上げ情報は判別し易いがしかし居辛いということはない; int4 -> hypothesis;
$facts$ = fact1: 何かは居辛くない fact2: 判別し易い物はある fact3: この第一単元はデジタル処理だということはない fact4: その売り上げ情報は居辛くない fact5: もしもこの第一単元は判別し易いということはないなら「その売り上げ情報は居辛くない」ということは本当である fact6: この第一単元は霊長である fact7: 仮にこの第一単元が判別し易くないならばその売り上げ情報は判別し易いけど居辛くない fact8: 何らかのものは判別し易くて居辛い fact9: もし仮に何かはデジタル処理でないがそれが霊長ならそれは判別し易くない ; $hypothesis$ = 「判別し易いけれど居辛くない」物はある ; $proof$ = 
fact9 -> int1: この第一単元はデジタル処理でないけど霊長であるとすれば判別し易くない; fact6 & fact3 -> int2: この第一単元はデジタル処理でない一方でそれは霊長である; int1 & int2 -> int3: この第一単元は判別し易くない; int3 & fact7 -> int4: その売り上げ情報は判別し易いがしかし居辛いということはない; int4 -> hypothesis; __PROVED__
事実1: 何かは居辛くない
事実2: 判別し易い物はある
事実3: この第一単元はデジタル処理だということはない
事実4: その売り上げ情報は居辛くない
事実5: もしもこの第一単元は判別し易いということはないなら「その売り上げ情報は居辛くない」ということは本当である
事実6: この第一単元は霊長である
事実7: 仮にこの第一単元が判別し易くないならばその売り上げ情報は判別し易いけど居辛くない
事実8: 何らかのものは判別し易くて居辛い
事実9: もし仮に何かはデジタル処理でないがそれが霊長ならそれは判別し易くない

仮説: 「判別し易いけれど居辛くない」物はある
1. 事実9から、推論1: "この第一単元はデジタル処理でないけど霊長であるとすれば判別し易くない"が導かれる
2. 事実6と事実3から、推論2: "この第一単元はデジタル処理でない一方でそれは霊長である"が導かれる
3. 推論1と推論2から、推論3: "この第一単元は判別し易くない"が導かれる
4. 推論3と事実7から、推論4: "その売り上げ情報は判別し易いがしかし居辛いということはない"が導かれる
5. 推論4から、仮説が導かれる

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