あの鳩は豊臣家だということはない
fact1: もし仮に「この三十万人都市機能は断念しないがしかし豊臣家である」ということは成り立たないとすればあの鳩は豊臣家である fact2: 素人っぽくない物はシステムツールであるかもしくはむさくないかまたは両方ともである fact3: 「誘起しないけど断念する」物があるならばあの鳩は豊臣家でない fact4: もしもその約二万六千人は誘起するとしたら「この三十万人都市機能は断念しないがしかし豊臣家である」ということは嘘である fact5: この用地買収は誘起しない一方で断念する fact6: 仮にあの第二公費がむさくないとすればあの約二万六千人は誘起するしかつ嫉妬する
fact5 -> int1: 「誘起しなくてしかも断念する」物はある; int1 & fact3 -> hypothesis;
あの鳩は豊臣家だ
fact8 -> int2: 「あの国民一人一人は素人っぽくない」ということは確かであるとしたらそれはシステムツールであるかまたはむさくない;
$facts$ = fact1: もし仮に「この三十万人都市機能は断念しないがしかし豊臣家である」ということは成り立たないとすればあの鳩は豊臣家である fact2: 素人っぽくない物はシステムツールであるかもしくはむさくないかまたは両方ともである fact3: 「誘起しないけど断念する」物があるならばあの鳩は豊臣家でない fact4: もしもその約二万六千人は誘起するとしたら「この三十万人都市機能は断念しないがしかし豊臣家である」ということは嘘である fact5: この用地買収は誘起しない一方で断念する fact6: 仮にあの第二公費がむさくないとすればあの約二万六千人は誘起するしかつ嫉妬する ; $hypothesis$ = あの鳩は豊臣家だということはない ; $proof$ = 
fact5 -> int1: 「誘起しなくてしかも断念する」物はある; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「この三十万人都市機能は断念しないがしかし豊臣家である」ということは成り立たないとすればあの鳩は豊臣家である
事実2: 素人っぽくない物はシステムツールであるかもしくはむさくないかまたは両方ともである
事実3: 「誘起しないけど断念する」物があるならばあの鳩は豊臣家でない
事実4: もしもその約二万六千人は誘起するとしたら「この三十万人都市機能は断念しないがしかし豊臣家である」ということは嘘である
事実5: この用地買収は誘起しない一方で断念する
事実6: 仮にあの第二公費がむさくないとすればあの約二万六千人は誘起するしかつ嫉妬する

仮説: あの鳩は豊臣家だということはない
1. 事実5から、推論1: "「誘起しなくてしかも断念する」物はある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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