「あの固有関数は入手し易いがやっかまない」ということは嘘だ
fact1: 何かはコピーしない fact2: もし「コピーするということはない」物はあるなら「「あの固有関数は入手し易い一方でやっかまない」ということは本当でない」ということは成り立つ
$facts$ = fact1: 何かはコピーしない fact2: もし「コピーするということはない」物はあるなら「「あの固有関数は入手し易い一方でやっかまない」ということは本当でない」ということは成り立つ ; $hypothesis$ = 「あの固有関数は入手し易いがやっかまない」ということは嘘だ ; $proof$ = 
事実1: 何かはコピーしない
事実2: もし「コピーするということはない」物はあるなら「「あの固有関数は入手し易い一方でやっかまない」ということは本当でない」ということは成り立つ

仮説: 「あの固有関数は入手し易いがやっかまない」ということは嘘だ