Bob is green. Bob is nice. Erin is nice. Erin is white. Fiona is rough. Fiona is round. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is white. Rough things are green. Cold things are round. All nice things are cold. If something is smart then it is rough. All white, green things are smart. Round, green things are white.
Erin is smart.