「このベルヌ条約がごついということはないしその上極小化しない」ということは成り立たない
fact1: もしその内部的要因はごついとしたら「このベルヌ条約はごつかないしまた極小化しない」ということは誤りだ fact2: もしそのＣ上がフォトダイオードであるかあるいは分かり切らないかまたは両方ともならこのベルヌ条約は分かり切らない fact3: そのＣ上は取得し易いかあるいはショーウィンドウであるか両方ともである fact4: そのＣ上は取得し易いかあるいはそれはショーウィンドウでないかあるいは両方だ fact5: 「聞き取り難いものはフォトダイオードであるかまたは分かり切らない」ということは成り立つ fact6: もしもなにがしかのものが分かり切らないならごついということはなくて極小化しない fact7: もし仮にそのＣ上が取得し易いかショーウィンドウであるということはないかもしくはどちらもであるとするとその内部的要因はごつい
fact7 & fact4 -> int1: その内部的要因はごつい; int1 & fact1 -> hypothesis;
このベルヌ条約はごつかなくてかつそれは極小化しない
fact9 -> int2: もし仮に「このベルヌ条約は分かり切らない」ということは真実ならばごついということはなくておまけに極小化しない; fact8 -> int3: もし仮にそのＣ上が聞き取り難いならそれはフォトダイオードであるかあるいは分かり切らないかもしくは両方ともだ;
$facts$ = fact1: もしその内部的要因はごついとしたら「このベルヌ条約はごつかないしまた極小化しない」ということは誤りだ fact2: もしそのＣ上がフォトダイオードであるかあるいは分かり切らないかまたは両方ともならこのベルヌ条約は分かり切らない fact3: そのＣ上は取得し易いかあるいはショーウィンドウであるか両方ともである fact4: そのＣ上は取得し易いかあるいはそれはショーウィンドウでないかあるいは両方だ fact5: 「聞き取り難いものはフォトダイオードであるかまたは分かり切らない」ということは成り立つ fact6: もしもなにがしかのものが分かり切らないならごついということはなくて極小化しない fact7: もし仮にそのＣ上が取得し易いかショーウィンドウであるということはないかもしくはどちらもであるとするとその内部的要因はごつい ; $hypothesis$ = 「このベルヌ条約がごついということはないしその上極小化しない」ということは成り立たない ; $proof$ = 
fact7 & fact4 -> int1: その内部的要因はごつい; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしその内部的要因はごついとしたら「このベルヌ条約はごつかないしまた極小化しない」ということは誤りだ
事実2: もしそのＣ上がフォトダイオードであるかあるいは分かり切らないかまたは両方ともならこのベルヌ条約は分かり切らない
事実3: そのＣ上は取得し易いかあるいはショーウィンドウであるか両方ともである
事実4: そのＣ上は取得し易いかあるいはそれはショーウィンドウでないかあるいは両方だ
事実5: 「聞き取り難いものはフォトダイオードであるかまたは分かり切らない」ということは成り立つ
事実6: もしもなにがしかのものが分かり切らないならごついということはなくて極小化しない
事実7: もし仮にそのＣ上が取得し易いかショーウィンドウであるということはないかもしくはどちらもであるとするとその内部的要因はごつい

仮説: 「このベルヌ条約がごついということはないしその上極小化しない」ということは成り立たない
1. 事実7と事実4から、推論1: "その内部的要因はごつい"が導かれる
2. 推論1と事実1から、仮説が導かれる

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