「あの選択器・問い合わせ意味論は調べ易いがゴールディだということはない」ということは誤りだ
fact1: 「大人らしいものはあるとすると「あの選択器・問い合わせ意味論は調べ易いけどそれはゴールディでない」ということは間違っている」ということは正しい fact2: とあるものは大人らしい
$facts$ = fact1: 「大人らしいものはあるとすると「あの選択器・問い合わせ意味論は調べ易いけどそれはゴールディでない」ということは間違っている」ということは正しい fact2: とあるものは大人らしい ; $hypothesis$ = 「あの選択器・問い合わせ意味論は調べ易いがゴールディだということはない」ということは誤りだ ; $proof$ = 
事実1: 「大人らしいものはあるとすると「あの選択器・問い合わせ意味論は調べ易いけどそれはゴールディでない」ということは間違っている」ということは正しい
事実2: とあるものは大人らしい

仮説: 「あの選択器・問い合わせ意味論は調べ易いがゴールディだということはない」ということは誤りだ