このテクノクラートは錦旗である
fact1: 「あの週刊ダイヤモンドは小高い」ということは本当だ fact2: あの週刊ダイヤモンドは錦旗である fact3: このテクノクラートはのめる fact4: その都市政策は錦旗である fact5: あの週刊ダイヤモンドが転回するとしたらこのテクノクラートは錦旗だ fact6: もしあの週刊ダイヤモンドが錦旗であるならばこのテクノクラートは転回する fact7: 仮に「このテクノクラートは転回する」ということは正しいなら「あの週刊ダイヤモンドは錦旗である」ということは本当である fact8: 仮になにがしかのものが有り難しないならば錦旗でなくてそれは転回する fact9: 「あの週刊ダイヤモンドは転回する」ということは成り立つ
fact5 & fact9 -> hypothesis;
fact5 & fact9 -> hypothesis;
このテクノクラートは錦旗だということはない
fact10 -> int1: もし仮にこのテクノクラートが有り難しないとすれば錦旗でないが転回する;
$facts$ = fact1: 「あの週刊ダイヤモンドは小高い」ということは本当だ fact2: あの週刊ダイヤモンドは錦旗である fact3: このテクノクラートはのめる fact4: その都市政策は錦旗である fact5: あの週刊ダイヤモンドが転回するとしたらこのテクノクラートは錦旗だ fact6: もしあの週刊ダイヤモンドが錦旗であるならばこのテクノクラートは転回する fact7: 仮に「このテクノクラートは転回する」ということは正しいなら「あの週刊ダイヤモンドは錦旗である」ということは本当である fact8: 仮になにがしかのものが有り難しないならば錦旗でなくてそれは転回する fact9: 「あの週刊ダイヤモンドは転回する」ということは成り立つ ; $hypothesis$ = このテクノクラートは錦旗である ; $proof$ = 
fact5 & fact9 -> hypothesis; __PROVED__
事実1: 「あの週刊ダイヤモンドは小高い」ということは本当だ
事実2: あの週刊ダイヤモンドは錦旗である
事実3: このテクノクラートはのめる
事実4: その都市政策は錦旗である
事実5: あの週刊ダイヤモンドが転回するとしたらこのテクノクラートは錦旗だ
事実6: もしあの週刊ダイヤモンドが錦旗であるならばこのテクノクラートは転回する
事実7: 仮に「このテクノクラートは転回する」ということは正しいなら「あの週刊ダイヤモンドは錦旗である」ということは本当である
事実8: 仮になにがしかのものが有り難しないならば錦旗でなくてそれは転回する
事実9: 「あの週刊ダイヤモンドは転回する」ということは成り立つ

仮説: このテクノクラートは錦旗である
1. 事実5と事実9から、仮説が導かれる

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