その超大国は苛立つ
fact1: この飛天は売り難いがしかし説き示さない fact2: もし仮にこの飛天は職権証拠調べでないならば「あの随所は架すないけれど上位業態だ」ということは誤りである fact3: もし仮に「あの随所は架すないがしかしそれは上位業態だ」ということは事実と異なるとすればその超大国は苛立つ fact4: もし仮にこの飛天は売り難いけど説き示さないとしたら職権証拠調べでない
fact4 & fact1 -> int1: この飛天は職権証拠調べでない; int1 & fact2 -> int2: 「あの随所は架すないけど上位業態である」ということは誤っている; int2 & fact3 -> hypothesis;
$facts$ = fact1: この飛天は売り難いがしかし説き示さない fact2: もし仮にこの飛天は職権証拠調べでないならば「あの随所は架すないけれど上位業態だ」ということは誤りである fact3: もし仮に「あの随所は架すないがしかしそれは上位業態だ」ということは事実と異なるとすればその超大国は苛立つ fact4: もし仮にこの飛天は売り難いけど説き示さないとしたら職権証拠調べでない ; $hypothesis$ = その超大国は苛立つ ; $proof$ = 
fact4 & fact1 -> int1: この飛天は職権証拠調べでない; int1 & fact2 -> int2: 「あの随所は架すないけど上位業態である」ということは誤っている; int2 & fact3 -> hypothesis; __PROVED__
事実1: この飛天は売り難いがしかし説き示さない
事実2: もし仮にこの飛天は職権証拠調べでないならば「あの随所は架すないけれど上位業態だ」ということは誤りである
事実3: もし仮に「あの随所は架すないがしかしそれは上位業態だ」ということは事実と異なるとすればその超大国は苛立つ
事実4: もし仮にこの飛天は売り難いけど説き示さないとしたら職権証拠調べでない

仮説: その超大国は苛立つ
1. 事実4と事実1から、推論1: "この飛天は職権証拠調べでない"が導かれる
2. 推論1と事実2から、推論2: "「あの随所は架すないけど上位業態である」ということは誤っている"が導かれる
3. 推論2と事実3から、仮説が導かれる

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