あの比較分析は活用し易くない
fact1: あの比較分析は手強くてかつ疑る fact2: もしもこのＬＰが疑るが活用し易いということはないならばあの比較分析は活用し易くない fact3: 手強い物は活用し易い
fact1 -> int1: 「あの比較分析は手強い」ということは成り立つ; fact3 -> int2: もしあの比較分析が手強いとしたらそれは活用し易い; int1 & int2 -> hypothesis;
あの比較分析は活用し易いということはない
$facts$ = fact1: あの比較分析は手強くてかつ疑る fact2: もしもこのＬＰが疑るが活用し易いということはないならばあの比較分析は活用し易くない fact3: 手強い物は活用し易い ; $hypothesis$ = あの比較分析は活用し易くない ; $proof$ = 
fact1 -> int1: 「あの比較分析は手強い」ということは成り立つ; fact3 -> int2: もしあの比較分析が手強いとしたらそれは活用し易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの比較分析は手強くてかつ疑る
事実2: もしもこのＬＰが疑るが活用し易いということはないならばあの比較分析は活用し易くない
事実3: 手強い物は活用し易い

仮説: あの比較分析は活用し易くない
1. 事実1から、推論1: "「あの比較分析は手強い」ということは成り立つ"が導かれる
2. 事実3から、推論2: "もしあの比較分析が手強いとしたらそれは活用し易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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