あのレコードＩＤは卓越する
fact1: 「「物欲しいし吽でない」物はある」ということは事実である fact2: もしも物欲しいものが吽でないならばこの一駅は所有出来ない fact3: この一駅が変え難いとするとあのレコードＩＤは言い訳がましいかまたはそれは居りということはないかあるいは両方である fact4: ある物は所有出来ないとすれば「変え難い」ということは事実だ fact5: もしもなんらかの物が言い訳がましいかまたはそれは居りということはないとしたら「卓越する」ということは誤りであるということはない
fact1 & fact2 -> int1: この一駅は所有出来ない; fact4 -> int2: もしもこの一駅が所有出来ないなら変え難い; int1 & int2 -> int3: 「この一駅は変え難い」ということは事実である; int3 & fact3 -> int4: あのレコードＩＤは言い訳がましいかあるいは居りということはないかまたは両方である; fact5 -> int5: あのレコードＩＤは言い訳がましいかもしくは居りないならばそれは卓越する; int4 & int5 -> hypothesis;
$facts$ = fact1: 「「物欲しいし吽でない」物はある」ということは事実である fact2: もしも物欲しいものが吽でないならばこの一駅は所有出来ない fact3: この一駅が変え難いとするとあのレコードＩＤは言い訳がましいかまたはそれは居りということはないかあるいは両方である fact4: ある物は所有出来ないとすれば「変え難い」ということは事実だ fact5: もしもなんらかの物が言い訳がましいかまたはそれは居りということはないとしたら「卓越する」ということは誤りであるということはない ; $hypothesis$ = あのレコードＩＤは卓越する ; $proof$ = 
fact1 & fact2 -> int1: この一駅は所有出来ない; fact4 -> int2: もしもこの一駅が所有出来ないなら変え難い; int1 & int2 -> int3: 「この一駅は変え難い」ということは事実である; int3 & fact3 -> int4: あのレコードＩＤは言い訳がましいかあるいは居りということはないかまたは両方である; fact5 -> int5: あのレコードＩＤは言い訳がましいかもしくは居りないならばそれは卓越する; int4 & int5 -> hypothesis; __PROVED__
事実1: 「「物欲しいし吽でない」物はある」ということは事実である
事実2: もしも物欲しいものが吽でないならばこの一駅は所有出来ない
事実3: この一駅が変え難いとするとあのレコードＩＤは言い訳がましいかまたはそれは居りということはないかあるいは両方である
事実4: ある物は所有出来ないとすれば「変え難い」ということは事実だ
事実5: もしもなんらかの物が言い訳がましいかまたはそれは居りということはないとしたら「卓越する」ということは誤りであるということはない

仮説: あのレコードＩＤは卓越する
1. 事実1と事実2から、推論1: "この一駅は所有出来ない"が導かれる
2. 事実4から、推論2: "もしもこの一駅が所有出来ないなら変え難い"が導かれる
3. 推論1と推論2から、推論3: "「この一駅は変え難い」ということは事実である"が導かれる
4. 推論3と事実3から、推論4: "あのレコードＩＤは言い訳がましいかあるいは居りということはないかまたは両方である"が導かれる
5. 事実5から、推論5: "あのレコードＩＤは言い訳がましいかもしくは居りないならばそれは卓越する"が導かれる
6. 推論4と推論5から、仮説が導かれる

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