ある物は転変するし割れ易い
fact1: この微苦笑は焦げ臭い fact2: もしこの微苦笑が焦げ臭いとしたらそれは米屋でない fact3: すべては踏み出せる fact4: あの一時表は戸惑う fact5: 仮にこの微苦笑が焦げ臭いとしたら米屋でないが行儀良い fact6: この微苦笑は米屋でない fact7: 「割れ易い」ものはある fact8: あらゆるものは割れ易くてまた戸惑う fact9: もしも「取り引きデータであるかもしくは行儀良いかどちらもである」物があるとすればその文明は厳めしい fact10: もし仮にその文明が厳めしいならあの一時表は転変する
fact5 & fact1 -> int1: この微苦笑は米屋でないがしかしそれは行儀良い; int1 -> int2: この微苦笑は行儀良い; int2 -> int3: この微苦笑は取り引きデータであるかもしくは行儀良いかあるいは両方だ; int3 -> int4: 何かは取り引きデータであるかまたは行儀良い; int4 & fact9 -> int5: その文明は厳めしい; int5 & fact10 -> int6: あの一時表は転変する; fact8 -> int7: あの一時表は割れ易いしそれは戸惑う; int7 -> int8: あの一時表は割れ易い; int6 & int8 -> int9: あの一時表は転変するしまた割れ易い; int9 -> hypothesis;
$facts$ = fact1: この微苦笑は焦げ臭い fact2: もしこの微苦笑が焦げ臭いとしたらそれは米屋でない fact3: すべては踏み出せる fact4: あの一時表は戸惑う fact5: 仮にこの微苦笑が焦げ臭いとしたら米屋でないが行儀良い fact6: この微苦笑は米屋でない fact7: 「割れ易い」ものはある fact8: あらゆるものは割れ易くてまた戸惑う fact9: もしも「取り引きデータであるかもしくは行儀良いかどちらもである」物があるとすればその文明は厳めしい fact10: もし仮にその文明が厳めしいならあの一時表は転変する ; $hypothesis$ = ある物は転変するし割れ易い ; $proof$ = 
fact5 & fact1 -> int1: この微苦笑は米屋でないがしかしそれは行儀良い; int1 -> int2: この微苦笑は行儀良い; int2 -> int3: この微苦笑は取り引きデータであるかもしくは行儀良いかあるいは両方だ; int3 -> int4: 何かは取り引きデータであるかまたは行儀良い; int4 & fact9 -> int5: その文明は厳めしい; int5 & fact10 -> int6: あの一時表は転変する; fact8 -> int7: あの一時表は割れ易いしそれは戸惑う; int7 -> int8: あの一時表は割れ易い; int6 & int8 -> int9: あの一時表は転変するしまた割れ易い; int9 -> hypothesis; __PROVED__
事実1: この微苦笑は焦げ臭い
事実2: もしこの微苦笑が焦げ臭いとしたらそれは米屋でない
事実3: すべては踏み出せる
事実4: あの一時表は戸惑う
事実5: 仮にこの微苦笑が焦げ臭いとしたら米屋でないが行儀良い
事実6: この微苦笑は米屋でない
事実7: 「割れ易い」ものはある
事実8: あらゆるものは割れ易くてまた戸惑う
事実9: もしも「取り引きデータであるかもしくは行儀良いかどちらもである」物があるとすればその文明は厳めしい
事実10: もし仮にその文明が厳めしいならあの一時表は転変する

仮説: ある物は転変するし割れ易い
1. 事実5と事実1から、推論1: "この微苦笑は米屋でないがしかしそれは行儀良い"が導かれる
2. 推論1から、推論2: "この微苦笑は行儀良い"が導かれる
3. 推論2から、推論3: "この微苦笑は取り引きデータであるかもしくは行儀良いかあるいは両方だ"が導かれる
4. 推論3から、推論4: "何かは取り引きデータであるかまたは行儀良い"が導かれる
5. 推論4と事実9から、推論5: "その文明は厳めしい"が導かれる
6. 推論5と事実10から、推論6: "あの一時表は転変する"が導かれる
7. 事実8から、推論7: "あの一時表は割れ易いしそれは戸惑う"が導かれる
8. 推論7から、推論8: "あの一時表は割れ易い"が導かれる
9. 推論6と推論8から、推論9: "あの一時表は転変するしまた割れ易い"が導かれる
10. 推論9から、仮説が導かれる

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