あの生産型は匹敵しない
fact1: あの生産型は変調する fact2: もし仮に「説き続けるしそれに変調する」物はあるなら「あの生産型は匹敵しない」ということは成り立つ fact3: そのアンテナ効果は変調する fact4: なにかは変調する fact5: 「なんらかの物は匹敵するしさらに変調する」ということは真実だ fact6: なんらかのものは説き続ける fact7: そのアンテナ効果は説き続ける
fact7 & fact3 -> int1: そのアンテナ効果は説き続けるし変調する; int1 -> int2: 「説き続けるしかつ変調する」物はある; int2 & fact2 -> hypothesis;
fact7 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> hypothesis;
$facts$ = fact1: あの生産型は変調する fact2: もし仮に「説き続けるしそれに変調する」物はあるなら「あの生産型は匹敵しない」ということは成り立つ fact3: そのアンテナ効果は変調する fact4: なにかは変調する fact5: 「なんらかの物は匹敵するしさらに変調する」ということは真実だ fact6: なんらかのものは説き続ける fact7: そのアンテナ効果は説き続ける ; $hypothesis$ = あの生産型は匹敵しない ; $proof$ = 
fact7 & fact3 -> int1: そのアンテナ効果は説き続けるし変調する; int1 -> int2: 「説き続けるしかつ変調する」物はある; int2 & fact2 -> hypothesis; __PROVED__
事実1: あの生産型は変調する
事実2: もし仮に「説き続けるしそれに変調する」物はあるなら「あの生産型は匹敵しない」ということは成り立つ
事実3: そのアンテナ効果は変調する
事実4: なにかは変調する
事実5: 「なんらかの物は匹敵するしさらに変調する」ということは真実だ
事実6: なんらかのものは説き続ける
事実7: そのアンテナ効果は説き続ける

仮説: あの生産型は匹敵しない
1. 事実7と事実3から、推論1: "そのアンテナ効果は説き続けるし変調する"が導かれる
2. 推論1から、推論2: "「説き続けるしかつ変調する」物はある"が導かれる
3. 推論2と事実2から、仮説が導かれる

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