「その金銅は過ぎ行かない」ということは事実である
fact1: あの詳説は格好悪い fact2: 「もしとあるものは小分けであるということはないとすれば「擽ったいということはないかそれは遺言でないかあるいはどちらもだ」ということは成り立たない」ということは確かである fact3: なにがしかのものは消化し難くないなら「格好悪くなくてその上それは心弱くない」ということは誤りである fact4: あの詳説は考え易くて格好悪い fact5: その金銅は販売価格でない fact6: その金銅は格好悪い fact7: 「その金銅は上昇志向である」ということは確かである fact8: もしその金銅は上昇志向であるならそれは小分けでない fact9: あの詳説は過ぎ行くし加えて格好悪い fact10: あの詳説は溜め込み易くない fact11: あの詳説は長細いしさらに心弱い fact12: あの詳説は心弱い fact13: もし何かはしぶといかまたは消化し難くないかあるいは両方なら消化し難くない fact14: なにかは長細いならば過ぎ行く fact15: この開会は慈愛深いしその上心弱い fact16: もしもあの詳説が長細いししかも考え易いならばその金銅は過ぎ行かない fact17: 考え易くないしかつ心弱いということはないものは長細くない fact18: もしも「あるものは擽ったくないかあるいは遺言でないかあるいは両方である」ということは間違いだとするとそれは考え易くない
fact11 -> int1: あの詳説は長細い; fact4 -> int2: あの詳説は考え易い; int1 & int2 -> int3: あの詳説は長細くてそれは考え易い; int3 & fact16 -> hypothesis;
その金銅は過ぎ行く
fact21 -> int4: もしもその金銅が長細いとしたら過ぎ行く; fact19 -> int5: その金銅が考え易くないしさらに心弱くないなら長細い; fact20 -> int6: もし仮に「「その金銅は擽ったくないかまたはそれは遺言でないかもしくはどちらもである」ということは正しい」ということは真実でないとすると考え易くない; fact25 -> int7: もしその金銅は小分けでないならば「擽ったくないかもしくはそれは遺言だということはないかあるいはどちらもだ」ということは成り立たない; fact22 & fact24 -> int8: 「その金銅は小分けだということはない」ということは成り立つ; int7 & int8 -> int9: 「その金銅は擽ったいということはないか遺言でないかまたは両方ともだ」ということは間違いだ; int6 & int9 -> int10: その金銅は考え易くない; fact26 -> int11: もしもあの詳説は消化し難くないならば「それは格好悪くなくて心弱くない」ということは偽である; fact23 -> int12: もしあの詳説がしぶといかまたはそれは消化し難いということはないかあるいはどちらもだとすると消化し難くない;
$facts$ = fact1: あの詳説は格好悪い fact2: 「もしとあるものは小分けであるということはないとすれば「擽ったいということはないかそれは遺言でないかあるいはどちらもだ」ということは成り立たない」ということは確かである fact3: なにがしかのものは消化し難くないなら「格好悪くなくてその上それは心弱くない」ということは誤りである fact4: あの詳説は考え易くて格好悪い fact5: その金銅は販売価格でない fact6: その金銅は格好悪い fact7: 「その金銅は上昇志向である」ということは確かである fact8: もしその金銅は上昇志向であるならそれは小分けでない fact9: あの詳説は過ぎ行くし加えて格好悪い fact10: あの詳説は溜め込み易くない fact11: あの詳説は長細いしさらに心弱い fact12: あの詳説は心弱い fact13: もし何かはしぶといかまたは消化し難くないかあるいは両方なら消化し難くない fact14: なにかは長細いならば過ぎ行く fact15: この開会は慈愛深いしその上心弱い fact16: もしもあの詳説が長細いししかも考え易いならばその金銅は過ぎ行かない fact17: 考え易くないしかつ心弱いということはないものは長細くない fact18: もしも「あるものは擽ったくないかあるいは遺言でないかあるいは両方である」ということは間違いだとするとそれは考え易くない ; $hypothesis$ = 「その金銅は過ぎ行かない」ということは事実である ; $proof$ = 
fact11 -> int1: あの詳説は長細い; fact4 -> int2: あの詳説は考え易い; int1 & int2 -> int3: あの詳説は長細くてそれは考え易い; int3 & fact16 -> hypothesis; __PROVED__
事実1: あの詳説は格好悪い
事実2: 「もしとあるものは小分けであるということはないとすれば「擽ったいということはないかそれは遺言でないかあるいはどちらもだ」ということは成り立たない」ということは確かである
事実3: なにがしかのものは消化し難くないなら「格好悪くなくてその上それは心弱くない」ということは誤りである
事実4: あの詳説は考え易くて格好悪い
事実5: その金銅は販売価格でない
事実6: その金銅は格好悪い
事実7: 「その金銅は上昇志向である」ということは確かである
事実8: もしその金銅は上昇志向であるならそれは小分けでない
事実9: あの詳説は過ぎ行くし加えて格好悪い
事実10: あの詳説は溜め込み易くない
事実11: あの詳説は長細いしさらに心弱い
事実12: あの詳説は心弱い
事実13: もし何かはしぶといかまたは消化し難くないかあるいは両方なら消化し難くない
事実14: なにかは長細いならば過ぎ行く
事実15: この開会は慈愛深いしその上心弱い
事実16: もしもあの詳説が長細いししかも考え易いならばその金銅は過ぎ行かない
事実17: 考え易くないしかつ心弱いということはないものは長細くない
事実18: もしも「あるものは擽ったくないかあるいは遺言でないかあるいは両方である」ということは間違いだとするとそれは考え易くない

仮説: 「その金銅は過ぎ行かない」ということは事実である
1. 事実11から、推論1: "あの詳説は長細い"が導かれる
2. 事実4から、推論2: "あの詳説は考え易い"が導かれる
3. 推論1と推論2から、推論3: "あの詳説は長細くてそれは考え易い"が導かれる
4. 推論3と事実16から、仮説が導かれる

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