「この二十例は得られ易くない一方で就業率である」ということは嘘である
fact1: もしあるものは入り込まないしさらに二・十・九金判でないとしたら得られ易くない fact2: この考査は西洋世界でない fact3: この二十例は入り込むということはなくて二・十・九金判でない fact4: もし仮に「この考査は二・十・九金判である」ということは成り立つならこの二十例は代替出来る fact5: もしなんらかの物が代替出来るとしたらそれは西洋世界である fact6: この活用等は拝見致すしそれは入り込む fact7: もしもこの活用等が入り込むとしたらこの考査は二・十・九金判だ fact8: もしもこの活用等が就業率であるならこの二十例は就業率だ fact9: もしあるものは西洋世界だとすれば「それは得られ易いということはないけど就業率だ」ということは成り立たない
fact6 -> int1: この活用等は入り込む; int1 & fact7 -> int2: この考査は二・十・九金判である; int2 & fact4 -> int3: この二十例は代替出来る; fact5 -> int4: 「この二十例は代替出来る」ということは本当だとすれば西洋世界だ; int3 & int4 -> int5: この二十例は西洋世界だ; fact9 -> int6: もしもこの二十例は西洋世界であるなら「得られ易くないがしかし就業率だ」ということは成り立たない; int5 & int6 -> hypothesis;
この二十例は得られ易くないが就業率だ
fact12 -> int7: 仮にこの二十例は入り込まないしそれに二・十・九金判でないならばそれは得られ易くない; int7 & fact11 -> int8: この二十例は得られ易くない; fact13 -> int9: 「西洋世界でない」ものはある;
$facts$ = fact1: もしあるものは入り込まないしさらに二・十・九金判でないとしたら得られ易くない fact2: この考査は西洋世界でない fact3: この二十例は入り込むということはなくて二・十・九金判でない fact4: もし仮に「この考査は二・十・九金判である」ということは成り立つならこの二十例は代替出来る fact5: もしなんらかの物が代替出来るとしたらそれは西洋世界である fact6: この活用等は拝見致すしそれは入り込む fact7: もしもこの活用等が入り込むとしたらこの考査は二・十・九金判だ fact8: もしもこの活用等が就業率であるならこの二十例は就業率だ fact9: もしあるものは西洋世界だとすれば「それは得られ易いということはないけど就業率だ」ということは成り立たない ; $hypothesis$ = 「この二十例は得られ易くない一方で就業率である」ということは嘘である ; $proof$ = 
fact6 -> int1: この活用等は入り込む; int1 & fact7 -> int2: この考査は二・十・九金判である; int2 & fact4 -> int3: この二十例は代替出来る; fact5 -> int4: 「この二十例は代替出来る」ということは本当だとすれば西洋世界だ; int3 & int4 -> int5: この二十例は西洋世界だ; fact9 -> int6: もしもこの二十例は西洋世界であるなら「得られ易くないがしかし就業率だ」ということは成り立たない; int5 & int6 -> hypothesis; __PROVED__
事実1: もしあるものは入り込まないしさらに二・十・九金判でないとしたら得られ易くない
事実2: この考査は西洋世界でない
事実3: この二十例は入り込むということはなくて二・十・九金判でない
事実4: もし仮に「この考査は二・十・九金判である」ということは成り立つならこの二十例は代替出来る
事実5: もしなんらかの物が代替出来るとしたらそれは西洋世界である
事実6: この活用等は拝見致すしそれは入り込む
事実7: もしもこの活用等が入り込むとしたらこの考査は二・十・九金判だ
事実8: もしもこの活用等が就業率であるならこの二十例は就業率だ
事実9: もしあるものは西洋世界だとすれば「それは得られ易いということはないけど就業率だ」ということは成り立たない

仮説: 「この二十例は得られ易くない一方で就業率である」ということは嘘である
1. 事実6から、推論1: "この活用等は入り込む"が導かれる
2. 推論1と事実7から、推論2: "この考査は二・十・九金判である"が導かれる
3. 推論2と事実4から、推論3: "この二十例は代替出来る"が導かれる
4. 事実5から、推論4: "「この二十例は代替出来る」ということは本当だとすれば西洋世界だ"が導かれる
5. 推論3と推論4から、推論5: "この二十例は西洋世界だ"が導かれる
6. 事実9から、推論6: "もしもこの二十例は西洋世界であるなら「得られ易くないがしかし就業率だ」ということは成り立たない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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