2 ?- test(X).
 
big = 1
small = 0
brown = 1
black = 1
grey = 0
X = bear 
 
Yes
3 ?- test2(X).
 
big = 1
small = 0
brown = 1
black = 0
grey = 0
X = bear 
 
Yes