Anne is green. Anne is smart. Anne is young. Bob is green. Bob is kind. Bob is round. Gary is blue. Young, green things are round. If something is smart and young then it is green. Big things are green. If something is big then it is kind. If something is kind and blue then it is smart. If Gary is kind then Gary is smart. All young things are smart. All round, kind things are smart.
Gary is blue.