この読字能力は徹底するけどクラス名でない
fact1: 仮に「その鉱工業生産指数は頓挫する」ということは成り立てばそれは危うい fact2: 仮にその鉱工業生産指数が奪い返さないならこの読字能力は徹底する fact3: もしもとあるものは進み易くないとしたら「徹底するがしかしクラス名でない」ということは成り立たない fact4: その鉱工業生産指数は頓挫する fact5: この読字能力はクラス名だということはない fact6: もしもある物が頓挫しないししかもクラス名でないとすると徹底しない fact7: もしも何らかのものが進み易いとしたら思しくないしそれは巡り巡るということはない fact8: 「「危うくない」ということは真実である」物はある fact9: もし仮に「進み易くなくてかつ危ういということはない」物があるとするとその鉱工業生産指数は奪い返さない fact10: もし仮になんらかの物が徹底しないとしたら奪い返さなくて加えて危うくない fact11: もしもなにかは奪い返さなくてしかも危うくないならその鉱工業生産指数は進み易い fact12: 「進み易くなくて加えて危うくない」物はある
fact12 & fact9 -> int1: その鉱工業生産指数は奪い返すということはない; int1 & fact2 -> int2: この読字能力は徹底する; int2 & fact5 -> hypothesis;
「この読字能力は徹底するがしかしクラス名でない」ということは成り立つということはない
fact14 -> int3: もし仮に「この読字能力は進み易いということはない」ということは成り立つとすれば「徹底するしそれにクラス名であるということはない」ということは嘘である; fact15 & fact13 -> int4: その鉱工業生産指数は危うい;
$facts$ = fact1: 仮に「その鉱工業生産指数は頓挫する」ということは成り立てばそれは危うい fact2: 仮にその鉱工業生産指数が奪い返さないならこの読字能力は徹底する fact3: もしもとあるものは進み易くないとしたら「徹底するがしかしクラス名でない」ということは成り立たない fact4: その鉱工業生産指数は頓挫する fact5: この読字能力はクラス名だということはない fact6: もしもある物が頓挫しないししかもクラス名でないとすると徹底しない fact7: もしも何らかのものが進み易いとしたら思しくないしそれは巡り巡るということはない fact8: 「「危うくない」ということは真実である」物はある fact9: もし仮に「進み易くなくてかつ危ういということはない」物があるとするとその鉱工業生産指数は奪い返さない fact10: もし仮になんらかの物が徹底しないとしたら奪い返さなくて加えて危うくない fact11: もしもなにかは奪い返さなくてしかも危うくないならその鉱工業生産指数は進み易い fact12: 「進み易くなくて加えて危うくない」物はある ; $hypothesis$ = この読字能力は徹底するけどクラス名でない ; $proof$ = 
fact12 & fact9 -> int1: その鉱工業生産指数は奪い返すということはない; int1 & fact2 -> int2: この読字能力は徹底する; int2 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「その鉱工業生産指数は頓挫する」ということは成り立てばそれは危うい
事実2: 仮にその鉱工業生産指数が奪い返さないならこの読字能力は徹底する
事実3: もしもとあるものは進み易くないとしたら「徹底するがしかしクラス名でない」ということは成り立たない
事実4: その鉱工業生産指数は頓挫する
事実5: この読字能力はクラス名だということはない
事実6: もしもある物が頓挫しないししかもクラス名でないとすると徹底しない
事実7: もしも何らかのものが進み易いとしたら思しくないしそれは巡り巡るということはない
事実8: 「「危うくない」ということは真実である」物はある
事実9: もし仮に「進み易くなくてかつ危ういということはない」物があるとするとその鉱工業生産指数は奪い返さない
事実10: もし仮になんらかの物が徹底しないとしたら奪い返さなくて加えて危うくない
事実11: もしもなにかは奪い返さなくてしかも危うくないならその鉱工業生産指数は進み易い
事実12: 「進み易くなくて加えて危うくない」物はある

仮説: この読字能力は徹底するけどクラス名でない
1. 事実12と事実9から、推論1: "その鉱工業生産指数は奪い返すということはない"が導かれる
2. 推論1と事実2から、推論2: "この読字能力は徹底する"が導かれる
3. 推論2と事実5から、仮説が導かれる

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