「あのトランスナショナルは真っ黒いけれど御爺ちゃんでない」ということは間違いだ
fact1: この地方自治体は禍々しい fact2: もし「この地方自治体は禍々しい」ということは成り立てば不動産特定共同事業法だ fact3: 仮にこの地方自治体は不動産特定共同事業法だとしたら「あのトランスナショナルは真っ黒いけれど御爺ちゃんであるということはない」ということは本当だ
fact2 & fact1 -> int1: 「この地方自治体は不動産特定共同事業法である」ということは成り立つ; int1 & fact3 -> hypothesis;
$facts$ = fact1: この地方自治体は禍々しい fact2: もし「この地方自治体は禍々しい」ということは成り立てば不動産特定共同事業法だ fact3: 仮にこの地方自治体は不動産特定共同事業法だとしたら「あのトランスナショナルは真っ黒いけれど御爺ちゃんであるということはない」ということは本当だ ; $hypothesis$ = 「あのトランスナショナルは真っ黒いけれど御爺ちゃんでない」ということは間違いだ ; $proof$ = 
fact2 & fact1 -> int1: 「この地方自治体は不動産特定共同事業法である」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この地方自治体は禍々しい
事実2: もし「この地方自治体は禍々しい」ということは成り立てば不動産特定共同事業法だ
事実3: 仮にこの地方自治体は不動産特定共同事業法だとしたら「あのトランスナショナルは真っ黒いけれど御爺ちゃんであるということはない」ということは本当だ

仮説: 「あのトランスナショナルは真っ黒いけれど御爺ちゃんでない」ということは間違いだ
1. 事実2と事実1から、推論1: "「この地方自治体は不動産特定共同事業法である」ということは成り立つ"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。