Consider the following set of Prolog clauses concerning race horses with exceptional colouring:

roan$($blue$\_$lightning$).$

paint$($shadows$).$

clay$\_$bank$($colorado$).$

roan$($X$)$: $-$ not paint$($X$),$

not clay$\_$bank$($X$).$

If you enter the query roan$($flame$)$ Prolog returns yes