「あの輝かしさは誤信しないけれどそれは倍加する」ということは偽だ
fact1: その判じ物は倍加するし気まずい fact2: その判じ物は倍加するとすると「あの輝かしさは誤信しない一方で倍加する」ということは偽である fact3: 「その判じ物は倍加する」ということは成り立つとすると「あの輝かしさは誤信するし倍加する」ということは偽だ fact4: 「あの輝かしさは誤信するしおまけに倍加する」ということは成り立たない
fact1 -> int1: その判じ物は倍加する; int1 & fact2 -> hypothesis;
$facts$ = fact1: その判じ物は倍加するし気まずい fact2: その判じ物は倍加するとすると「あの輝かしさは誤信しない一方で倍加する」ということは偽である fact3: 「その判じ物は倍加する」ということは成り立つとすると「あの輝かしさは誤信するし倍加する」ということは偽だ fact4: 「あの輝かしさは誤信するしおまけに倍加する」ということは成り立たない ; $hypothesis$ = 「あの輝かしさは誤信しないけれどそれは倍加する」ということは偽だ ; $proof$ = 
fact1 -> int1: その判じ物は倍加する; int1 & fact2 -> hypothesis; __PROVED__
事実1: その判じ物は倍加するし気まずい
事実2: その判じ物は倍加するとすると「あの輝かしさは誤信しない一方で倍加する」ということは偽である
事実3: 「その判じ物は倍加する」ということは成り立つとすると「あの輝かしさは誤信するし倍加する」ということは偽だ
事実4: 「あの輝かしさは誤信するしおまけに倍加する」ということは成り立たない

仮説: 「あの輝かしさは誤信しないけれどそれは倍加する」ということは偽だ
1. 事実1から、推論1: "その判じ物は倍加する"が導かれる
2. 推論1と事実2から、仮説が導かれる

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