あの資料概念は温くない
fact1: あの選書は入輿だ fact2: 「「収縮速度であるし加えてフェライトだ」ということは成り立たない」ものはある fact3: もし仮に捕まえ易い物が入輿だとしたらそれは温いということはない fact4: もし仮にあの選書が入輿ならあの資料概念は入輿である fact5: もし仮に「「収縮速度だしフェライトである」ということは成り立たない」ものがあるならばあの資料概念は捕まえ易い
fact2 & fact5 -> int1: あの資料概念は捕まえ易い; fact4 & fact1 -> int2: あの資料概念は入輿である; int1 & int2 -> int3: あの資料概念は捕まえ易いし更に入輿である; fact3 -> int4: 仮にあの資料概念が捕まえ易いし入輿であるとしたらそれは温くない; int3 & int4 -> hypothesis;
$facts$ = fact1: あの選書は入輿だ fact2: 「「収縮速度であるし加えてフェライトだ」ということは成り立たない」ものはある fact3: もし仮に捕まえ易い物が入輿だとしたらそれは温いということはない fact4: もし仮にあの選書が入輿ならあの資料概念は入輿である fact5: もし仮に「「収縮速度だしフェライトである」ということは成り立たない」ものがあるならばあの資料概念は捕まえ易い ; $hypothesis$ = あの資料概念は温くない ; $proof$ = 
fact2 & fact5 -> int1: あの資料概念は捕まえ易い; fact4 & fact1 -> int2: あの資料概念は入輿である; int1 & int2 -> int3: あの資料概念は捕まえ易いし更に入輿である; fact3 -> int4: 仮にあの資料概念が捕まえ易いし入輿であるとしたらそれは温くない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの選書は入輿だ
事実2: 「「収縮速度であるし加えてフェライトだ」ということは成り立たない」ものはある
事実3: もし仮に捕まえ易い物が入輿だとしたらそれは温いということはない
事実4: もし仮にあの選書が入輿ならあの資料概念は入輿である
事実5: もし仮に「「収縮速度だしフェライトである」ということは成り立たない」ものがあるならばあの資料概念は捕まえ易い

仮説: あの資料概念は温くない
1. 事実2と事実5から、推論1: "あの資料概念は捕まえ易い"が導かれる
2. 事実4と事実1から、推論2: "あの資料概念は入輿である"が導かれる
3. 推論1と推論2から、推論3: "あの資料概念は捕まえ易いし更に入輿である"が導かれる
4. 事実3から、推論4: "仮にあの資料概念が捕まえ易いし入輿であるとしたらそれは温くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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