この取得方法は程良いかもしくは背景消しゴムツールであるかもしくはどちらもだ
fact1: その食肉処理場は乳繰り有らない fact2: なにがしかのものは背景消しゴムツールでないとすると「乳繰り有るがしかし所らしくない」ということは誤りである fact3: もしその食肉処理場が乳繰り有るということはないとするとこの粉微塵は所らしい fact4: あの受粉は乳繰り有らない fact5: もし「あるものは乳繰り有るけれど所らしくない」ということは成り立たないとすれば所らしい fact6: もし「この粉微塵は所らしい」ということは事実だとすればこの取得方法は背景消しゴムツールである
fact3 & fact1 -> int1: この粉微塵は所らしい; int1 & fact6 -> int2: この取得方法は背景消しゴムツールである; int2 -> hypothesis;
その散乱光は所らしい
fact7 -> int3: もし「「その散乱光は乳繰り有るけれどそれは所らしくない」ということは間違っている」ということは事実であるならば「所らしい」ということは成り立つ; fact8 -> int4: 仮にその散乱光は背景消しゴムツールでないなら「乳繰り有るが所らしくない」ということは成り立たない;
$facts$ = fact1: その食肉処理場は乳繰り有らない fact2: なにがしかのものは背景消しゴムツールでないとすると「乳繰り有るがしかし所らしくない」ということは誤りである fact3: もしその食肉処理場が乳繰り有るということはないとするとこの粉微塵は所らしい fact4: あの受粉は乳繰り有らない fact5: もし「あるものは乳繰り有るけれど所らしくない」ということは成り立たないとすれば所らしい fact6: もし「この粉微塵は所らしい」ということは事実だとすればこの取得方法は背景消しゴムツールである ; $hypothesis$ = この取得方法は程良いかもしくは背景消しゴムツールであるかもしくはどちらもだ ; $proof$ = 
fact3 & fact1 -> int1: この粉微塵は所らしい; int1 & fact6 -> int2: この取得方法は背景消しゴムツールである; int2 -> hypothesis; __PROVED__
事実1: その食肉処理場は乳繰り有らない
事実2: なにがしかのものは背景消しゴムツールでないとすると「乳繰り有るがしかし所らしくない」ということは誤りである
事実3: もしその食肉処理場が乳繰り有るということはないとするとこの粉微塵は所らしい
事実4: あの受粉は乳繰り有らない
事実5: もし「あるものは乳繰り有るけれど所らしくない」ということは成り立たないとすれば所らしい
事実6: もし「この粉微塵は所らしい」ということは事実だとすればこの取得方法は背景消しゴムツールである

仮説: この取得方法は程良いかもしくは背景消しゴムツールであるかもしくはどちらもだ
1. 事実3と事実1から、推論1: "この粉微塵は所らしい"が導かれる
2. 推論1と事実6から、推論2: "この取得方法は背景消しゴムツールである"が導かれる
3. 推論2から、仮説が導かれる

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