そのＣＰＲは定数でない
fact1: 「あの取り引き行為は由々しかあるいは濃くない」ということは成り立たない fact2: 「あの取り引き行為は由々しない」ということは事実である fact3: 仮に「「由々しかあるいは濃くない」ということは嘘である」ものがあるとするとそのＣＰＲは定数であるということはない fact4: なんらかのものが苦心しないかもしくはそれは好ましいかもしくは両方だとしたら好ましい fact5: 「この終了ボタンは彼女自身であるかもしくはそれは青猫でないかどちらもだ」ということは誤りである fact6: 何かは由々しか濃くないかもしくは両方ともだ fact7: なんらかの物は濃い fact8: 「「茶色っぽくないかもしくは許し難い」ということは事実でない」ものはあるとすれば「その水銀量は好ましくない」ということは真実だ fact9: 「「由々しかもしくは濃いかあるいは両方ともである」ということは成り立たない」物はある fact10: 「その看護師自身は茶色っぽくないかあるいは許し難いかもしくはどちらもだ」ということは間違いである fact11: 由々しない物はある
fact1 -> int1: 「「由々しかまたは濃くないか両方である」ということは成り立たない」ものはある; int1 & fact3 -> hypothesis;
そのＣＰＲは定数だ
fact12 -> int2: その水銀量は苦心しないかもしくは好ましいかまたは両方だとすると「それは好ましい」ということは事実である;
$facts$ = fact1: 「あの取り引き行為は由々しかあるいは濃くない」ということは成り立たない fact2: 「あの取り引き行為は由々しない」ということは事実である fact3: 仮に「「由々しかあるいは濃くない」ということは嘘である」ものがあるとするとそのＣＰＲは定数であるということはない fact4: なんらかのものが苦心しないかもしくはそれは好ましいかもしくは両方だとしたら好ましい fact5: 「この終了ボタンは彼女自身であるかもしくはそれは青猫でないかどちらもだ」ということは誤りである fact6: 何かは由々しか濃くないかもしくは両方ともだ fact7: なんらかの物は濃い fact8: 「「茶色っぽくないかもしくは許し難い」ということは事実でない」ものはあるとすれば「その水銀量は好ましくない」ということは真実だ fact9: 「「由々しかもしくは濃いかあるいは両方ともである」ということは成り立たない」物はある fact10: 「その看護師自身は茶色っぽくないかあるいは許し難いかもしくはどちらもだ」ということは間違いである fact11: 由々しない物はある ; $hypothesis$ = そのＣＰＲは定数でない ; $proof$ = 
fact1 -> int1: 「「由々しかまたは濃くないか両方である」ということは成り立たない」ものはある; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「あの取り引き行為は由々しかあるいは濃くない」ということは成り立たない
事実2: 「あの取り引き行為は由々しない」ということは事実である
事実3: 仮に「「由々しかあるいは濃くない」ということは嘘である」ものがあるとするとそのＣＰＲは定数であるということはない
事実4: なんらかのものが苦心しないかもしくはそれは好ましいかもしくは両方だとしたら好ましい
事実5: 「この終了ボタンは彼女自身であるかもしくはそれは青猫でないかどちらもだ」ということは誤りである
事実6: 何かは由々しか濃くないかもしくは両方ともだ
事実7: なんらかの物は濃い
事実8: 「「茶色っぽくないかもしくは許し難い」ということは事実でない」ものはあるとすれば「その水銀量は好ましくない」ということは真実だ
事実9: 「「由々しかもしくは濃いかあるいは両方ともである」ということは成り立たない」物はある
事実10: 「その看護師自身は茶色っぽくないかあるいは許し難いかもしくはどちらもだ」ということは間違いである
事実11: 由々しない物はある

仮説: そのＣＰＲは定数でない
1. 事実1から、推論1: "「「由々しかまたは濃くないか両方である」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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