Dave is quiet. Dave is rough. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. All kind things are red. All green things are red. Rough things are green. If something is quiet and smart then it is rough. If Dave is green then Dave is cold. All kind, rough things are cold.
Dave is not smart.