「もしも予測し易いなら「当該事項だ」ということは真実な」物はある
fact1: 仮にその播種後が予測し易いとすると料金だ fact2: 「その播種後は料金だ一方でそれはおもろくない」ということは真実ならそれは当該事項である fact3: この統計表は予測し易い fact4: その播種後はおもろくない fact5: もしも「その播種後はおもろくないけど歩き難い」ということは誤っているとしたらあの空気混入はおもろくない
void -> assump1: 以下のように仮定する。その播種後は予測し易い; fact1 & assump1 -> int1: その播種後は料金だ; int1 & fact4 -> int2: その播種後は料金であっておもろくない; int2 & fact2 -> int3: その播種後は当該事項である; [assump1] & int3 -> int4: その播種後が予測し易いならば当該事項である; int4 -> hypothesis;
あの空気混入は予測し易い
$facts$ = fact1: 仮にその播種後が予測し易いとすると料金だ fact2: 「その播種後は料金だ一方でそれはおもろくない」ということは真実ならそれは当該事項である fact3: この統計表は予測し易い fact4: その播種後はおもろくない fact5: もしも「その播種後はおもろくないけど歩き難い」ということは誤っているとしたらあの空気混入はおもろくない ; $hypothesis$ = 「もしも予測し易いなら「当該事項だ」ということは真実な」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その播種後は予測し易い; fact1 & assump1 -> int1: その播種後は料金だ; int1 & fact4 -> int2: その播種後は料金であっておもろくない; int2 & fact2 -> int3: その播種後は当該事項である; [assump1] & int3 -> int4: その播種後が予測し易いならば当該事項である; int4 -> hypothesis; __PROVED__
事実1: 仮にその播種後が予測し易いとすると料金だ
事実2: 「その播種後は料金だ一方でそれはおもろくない」ということは真実ならそれは当該事項である
事実3: この統計表は予測し易い
事実4: その播種後はおもろくない
事実5: もしも「その播種後はおもろくないけど歩き難い」ということは誤っているとしたらあの空気混入はおもろくない

仮説: 「もしも予測し易いなら「当該事項だ」ということは真実な」物はある
1. 仮定1: 以下のように仮定する。その播種後は予測し易い
2. 事実1と仮定1から、推論1: "その播種後は料金だ"が導かれる
3. 推論1と事実4から、推論2: "その播種後は料金であっておもろくない"が導かれる
4. 推論2と事実2から、推論3: "その播種後は当該事項である"が導かれる
5. [仮定1]と推論3から、推論4: "その播種後が予測し易いならば当該事項である"が導かれる
6. 推論4から、仮説が導かれる

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