Logic Example

   input(what is green?)
&& (a color, an adjective) = facts(green is *)
=> output(a color and an adjective)