cnf(fond_bird_exists, hypothesis, ( response(a,b) = b )).