この圧力団体は押さえ難い
fact1: もしも何かは抜粋しないしまた半数以上でないならばその二万人は生み易い fact2: なにかは生み易くないしさらに半数以上でない fact3: 仮にこのブロードバンド時代はマシン上だということはないとしたら「それは抜粋しないしそれに半数以上でない」ということは確かである fact4: もしも「その二万人は生み易い」ということは真実ならこの圧力団体は押さえ難い fact5: このブロードバンド時代はマシン上でない fact6: 「生み易くない」ものはある
fact3 & fact5 -> int1: このブロードバンド時代は抜粋しないし半数以上でない; int1 -> int2: 何らかのものは抜粋しなくてそれに半数以上でない; int2 & fact1 -> int3: その二万人は生み易い; int3 & fact4 -> hypothesis;
$facts$ = fact1: もしも何かは抜粋しないしまた半数以上でないならばその二万人は生み易い fact2: なにかは生み易くないしさらに半数以上でない fact3: 仮にこのブロードバンド時代はマシン上だということはないとしたら「それは抜粋しないしそれに半数以上でない」ということは確かである fact4: もしも「その二万人は生み易い」ということは真実ならこの圧力団体は押さえ難い fact5: このブロードバンド時代はマシン上でない fact6: 「生み易くない」ものはある ; $hypothesis$ = この圧力団体は押さえ難い ; $proof$ = 
fact3 & fact5 -> int1: このブロードバンド時代は抜粋しないし半数以上でない; int1 -> int2: 何らかのものは抜粋しなくてそれに半数以上でない; int2 & fact1 -> int3: その二万人は生み易い; int3 & fact4 -> hypothesis; __PROVED__
事実1: もしも何かは抜粋しないしまた半数以上でないならばその二万人は生み易い
事実2: なにかは生み易くないしさらに半数以上でない
事実3: 仮にこのブロードバンド時代はマシン上だということはないとしたら「それは抜粋しないしそれに半数以上でない」ということは確かである
事実4: もしも「その二万人は生み易い」ということは真実ならこの圧力団体は押さえ難い
事実5: このブロードバンド時代はマシン上でない
事実6: 「生み易くない」ものはある

仮説: この圧力団体は押さえ難い
1. 事実3と事実5から、推論1: "このブロードバンド時代は抜粋しないし半数以上でない"が導かれる
2. 推論1から、推論2: "何らかのものは抜粋しなくてそれに半数以上でない"が導かれる
3. 推論2と事実1から、推論3: "その二万人は生み易い"が導かれる
4. 推論3と事実4から、仮説が導かれる

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