このリエゾン・プログラムは蛋白質だということはない
fact1: もしもその依頼返却が第二次埋葬だとしたらこのリエゾン・プログラムは蛋白質である fact2: その依頼返却は第二次埋葬である
$facts$ = fact1: もしもその依頼返却が第二次埋葬だとしたらこのリエゾン・プログラムは蛋白質である fact2: その依頼返却は第二次埋葬である ; $hypothesis$ = このリエゾン・プログラムは蛋白質だということはない ; $proof$ = 
事実1: もしもその依頼返却が第二次埋葬だとしたらこのリエゾン・プログラムは蛋白質である
事実2: その依頼返却は第二次埋葬である

仮説: このリエゾン・プログラムは蛋白質だということはない