その米粒大は除ける
fact1: もし仮にあの内壁が温いならばそれは蓄積され易い fact2: 「あの内壁は温くない」ということは間違いである fact3: 蓄積され易い物は先立つ fact4: もし仮に「あの内壁は先立つ」ということは事実ならその米粒大は除ける
fact1 & fact2 -> int1: あの内壁は蓄積され易い; fact3 -> int2: もしもあの内壁が蓄積され易いとすればそれは先立つ; int1 & int2 -> int3: あの内壁は先立つ; int3 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にあの内壁が温いならばそれは蓄積され易い fact2: 「あの内壁は温くない」ということは間違いである fact3: 蓄積され易い物は先立つ fact4: もし仮に「あの内壁は先立つ」ということは事実ならその米粒大は除ける ; $hypothesis$ = その米粒大は除ける ; $proof$ = 
fact1 & fact2 -> int1: あの内壁は蓄積され易い; fact3 -> int2: もしもあの内壁が蓄積され易いとすればそれは先立つ; int1 & int2 -> int3: あの内壁は先立つ; int3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にあの内壁が温いならばそれは蓄積され易い
事実2: 「あの内壁は温くない」ということは間違いである
事実3: 蓄積され易い物は先立つ
事実4: もし仮に「あの内壁は先立つ」ということは事実ならその米粒大は除ける

仮説: その米粒大は除ける
1. 事実1と事実2から、推論1: "あの内壁は蓄積され易い"が導かれる
2. 事実3から、推論2: "もしもあの内壁が蓄積され易いとすればそれは先立つ"が導かれる
3. 推論1と推論2から、推論3: "あの内壁は先立つ"が導かれる
4. 推論3と事実4から、仮説が導かれる

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