あのコーダはパイプオルガンでなくて浅ましいということはない
fact1: どれもこれもは浅黒いしその上着任しない fact2: 仮に「ブラバスらしくない」ものがあるならあのコーダはパイプオルガンでなくてかつそれは浅ましいということはない fact3: あるものはブラバスらしくない fact4: 「「浅ましい」ということは事実である」物はある fact5: 何かはパイプオルガンでない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
「あのコーダはパイプオルガンでないし浅ましくない」ということは事実と異なる
fact6 -> int1: その直径は浅黒いけれど着任しない;
$facts$ = fact1: どれもこれもは浅黒いしその上着任しない fact2: 仮に「ブラバスらしくない」ものがあるならあのコーダはパイプオルガンでなくてかつそれは浅ましいということはない fact3: あるものはブラバスらしくない fact4: 「「浅ましい」ということは事実である」物はある fact5: 何かはパイプオルガンでない ; $hypothesis$ = あのコーダはパイプオルガンでなくて浅ましいということはない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: どれもこれもは浅黒いしその上着任しない
事実2: 仮に「ブラバスらしくない」ものがあるならあのコーダはパイプオルガンでなくてかつそれは浅ましいということはない
事実3: あるものはブラバスらしくない
事実4: 「「浅ましい」ということは事実である」物はある
事実5: 何かはパイプオルガンでない

仮説: あのコーダはパイプオルガンでなくて浅ましいということはない
1. 事実3と事実2から、仮説が導かれる

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