この短腕は掛け難くない
fact1: この無尽蔵は空前でなくて加えて結果しない fact2: あの一日券が近付き易くて更に早しとしたらこの短腕は掛け難くない fact3: あの一日券は早しし加えて金槌である fact4: 「「早しないけど空前である」ということは本当な」物はある fact5: 仮に何らかのものが砕け易いとするとそれは近付き易い fact6: とあるものが空前でないしおまけに結果しないとしたらあの一日券は砕け易い
fact1 -> int1: とある物は空前でなくてしかもそれは結果しない; int1 & fact6 -> int2: あの一日券は砕け易い; fact5 -> int3: もしもあの一日券が砕け易いならそれは近付き易い; int2 & int3 -> int4: あの一日券は近付き易い; fact3 -> int5: あの一日券は早し; int4 & int5 -> int6: あの一日券は近付き易くてそれは早し; int6 & fact2 -> hypothesis;
$facts$ = fact1: この無尽蔵は空前でなくて加えて結果しない fact2: あの一日券が近付き易くて更に早しとしたらこの短腕は掛け難くない fact3: あの一日券は早しし加えて金槌である fact4: 「「早しないけど空前である」ということは本当な」物はある fact5: 仮に何らかのものが砕け易いとするとそれは近付き易い fact6: とあるものが空前でないしおまけに結果しないとしたらあの一日券は砕け易い ; $hypothesis$ = この短腕は掛け難くない ; $proof$ = 
fact1 -> int1: とある物は空前でなくてしかもそれは結果しない; int1 & fact6 -> int2: あの一日券は砕け易い; fact5 -> int3: もしもあの一日券が砕け易いならそれは近付き易い; int2 & int3 -> int4: あの一日券は近付き易い; fact3 -> int5: あの一日券は早し; int4 & int5 -> int6: あの一日券は近付き易くてそれは早し; int6 & fact2 -> hypothesis; __PROVED__
事実1: この無尽蔵は空前でなくて加えて結果しない
事実2: あの一日券が近付き易くて更に早しとしたらこの短腕は掛け難くない
事実3: あの一日券は早しし加えて金槌である
事実4: 「「早しないけど空前である」ということは本当な」物はある
事実5: 仮に何らかのものが砕け易いとするとそれは近付き易い
事実6: とあるものが空前でないしおまけに結果しないとしたらあの一日券は砕け易い

仮説: この短腕は掛け難くない
1. 事実1から、推論1: "とある物は空前でなくてしかもそれは結果しない"が導かれる
2. 推論1と事実6から、推論2: "あの一日券は砕け易い"が導かれる
3. 事実5から、推論3: "もしもあの一日券が砕け易いならそれは近付き易い"が導かれる
4. 推論2と推論3から、推論4: "あの一日券は近付き易い"が導かれる
5. 事実3から、推論5: "あの一日券は早し"が導かれる
6. 推論4と推論5から、推論6: "あの一日券は近付き易くてそれは早し"が導かれる
7. 推論6と事実2から、仮説が導かれる

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