「「その補完関係は翻案しない一方でバイオアップデートだ」ということは嘘である」ということは成り立つ
fact1: 「なんらかの物は易しい」ということは成り立つ fact2: 仮に「易しい」ものがあればその補完関係は翻案するということはないけどバイオアップデートだ
$facts$ = fact1: 「なんらかの物は易しい」ということは成り立つ fact2: 仮に「易しい」ものがあればその補完関係は翻案するということはないけどバイオアップデートだ ; $hypothesis$ = 「「その補完関係は翻案しない一方でバイオアップデートだ」ということは嘘である」ということは成り立つ ; $proof$ = 
事実1: 「なんらかの物は易しい」ということは成り立つ
事実2: 仮に「易しい」ものがあればその補完関係は翻案するということはないけどバイオアップデートだ

仮説: 「「その補完関係は翻案しない一方でバイオアップデートだ」ということは嘘である」ということは成り立つ