「あの彼女形は生殖医療でない」ということは偽でない
fact1: もしもその御悩みが馬鹿でかいならあの彼女形は生殖医療だ fact2: その御悩みは馬鹿でかい
$facts$ = fact1: もしもその御悩みが馬鹿でかいならあの彼女形は生殖医療だ fact2: その御悩みは馬鹿でかい ; $hypothesis$ = 「あの彼女形は生殖医療でない」ということは偽でない ; $proof$ = 
事実1: もしもその御悩みが馬鹿でかいならあの彼女形は生殖医療だ
事実2: その御悩みは馬鹿でかい

仮説: 「あの彼女形は生殖医療でない」ということは偽でない