Bob is green. Bob is white. Dave is red. Dave is smart. Fiona is rough. Fiona is smart. Gary is smart. If something is rough then it is red. If something is red then it is smart. Young, green things are rough. If something is young then it is big. If something is green then it is big. Smart things are big.
Dave is white.